Ta có: \(ab=c\left(a-b\right)\)
<=> \(c^2=ac-bc-ab+c^2\)
<=> \(c^2=a\left(c-b\right)+c\left(c-b\right)\)
<=> \(c^2=\left(c-b\right)\left(a+c\right)\)
Đặt: ( c - b ; a + c ) = d
=> \(c^2⋮d^2\)=> \(c⋮d\)(1)
và \(\hept{\begin{cases}c-b⋮d\\a+c⋮d\end{cases}}\)(2)
Từ (1); (2) => \(b;a⋮d\)(3)
Từ (1); (3) và (a; b ; c ) =1
=> d = 1 hay c - b; a + c nguyên tố cùng nhau
Mà \(\left(c-b\right)\left(a+c\right)=c^2\)là số chính phương
=> c - b ; a + c là 2 số chính phương
Khi đó tồn tại số nguyên dương u, v sao cho: \(c-b=u^2;a+c=v^2\)khi đó: \(c^2=u^2.v^2\)<=> c = uv ( vì c, u,, v nguyên dương )
Ta có: \(a-b=\left(a+c\right)+\left(c-b\right)-2c\)
\(=u^2+v^2-2uv=\left(u-v\right)^2\) là số chính phương.
