À mình nhầm, mình làm lại nhé :
Ta chia 2 trường hợp :
* a, b = 0 :
=> |ab| = |a| . |b| = 0
* a, b khác 0 :
Nếu a, b khác 0 thì |a|, |b| luôn lớn hơn 0
Ta lại có |ab| luôn lớn hơn 0
Mà a . b = ab
=> |a| . |b| = |ab|
Ta chia thành 2 trường hợp :
* a = 0 hoặc b = 0 :
=> |ab| = |a| . |b| = 0
* a, b khác 0 :
Nếu a, b khác 0 thì |a|, |b| luốn lớn hơn 0
=> |a| . |b| = ab
Ta cũng có |ab| luôn lớn hơn 0
=> |ab| = ab
=> |a| . |b| = |ab| (đpcm)