证明：
（1）∵a|bc ∴不妨设 bc=ka,k∈Z
又设 b的质因子分解为
b=p1^x1 × p2^x2 × …… × pr^xr
(这里的1,2,……,r 都是下标,^x1代表x1次方,且p1、p2等都是质数 ,下同)
a=q1^y1 × q2^y2 × …… × qs^ys
因为（a,b）=1,所以
{p1,p2,p3,……,pr}∩{q1,q2,q3,……,qs} = 空集
由质因子分解唯一定理知,既然a的质因子都不在b中,则必定全在c中,故此有
a | c ,证毕.
（2）∵a,b都是正数且a>b
∴ |a| > |b|
∴ |a|×|a| > |a|×|b| > |b|×|b|,即
|a|² > |b|² ,证毕.