Gọi (a,b)=d
=>[tex]a=d.a_1
Và b=d.b_1 và (a_1,b_1)=1[/tex]
Mà có a^2 +b^2 chia hết cho ab
=> a^2 chia hết cho b
Và b^2 chia hết cho a
[tex] => d.a_1^2 chia hết cho d.b_1
Và d.b_1^2 chia hết cho d.a_1
<=> a_1 chia hết cho b_1
b_1 chia hết cho a_1 Mà (a_1,b_1)=1[/tex]
=> a1=b1 <=> a=b
=>A=1