xét a =m2 ,b=n2 ƯCLN(m ,n)=1 (vì ƯCLN(a ,b)=1) (1)
thay vào bt trên ta có
m2+n2=c2
=(m.n)2=c2
=>m.n=c
vì c thuộc N (gt) nên (n.m) cũng thuộc N
mà ƯCLN(m ,n)=1 (cmt) nên m và n thuộc N (cái này hơi khó giải thích nhưng theo mình thì khái niệm ƯCLN,BCNN chỉ áp dụng trong tập hợp N) (2)
từ (1 ) và (2) ta có a và b là bình phương đúng của một số tự nhiên hay a và b là 2 số chính phương