b>
(-a) : (-b)
=> a : b
=> (-a) chia hết cho (-b) (đpcm)
a: b het = c / a > b > c
a> a:(-b) [ a : ( -b) = -c ] => a > -c
b> (-a) : b ( -a : b = -c )=> b > -c
b> ( -a ) : ( -b ) = c
c > |a| : |b| ( a : b = c ) c = c ( vo li
a: b het = c / a > b > c
a> a:(-b) [ a : ( -b) = -c ] => a > -c
b> (-a) : b ( -a : b = -c )=> b > -c
b> ( -a ) : ( -b ) = c
c > |a| : |b| ( a : b = c ) c = c