Không thể có \(\left|c\right|>1\) vì c có ít nhất một ước nguyên tố \(p\ge2\)
Do đó p phải là ước của a hoặc b. Vô lý vì (a;c) = ( b;c) = 1; từ đó suy ra \(c\in\left\{-1;1\right\}\)
*TH1 : \(c=-1\)
\(\Rightarrow-\left(a+b\right)=ab\)
\(\Rightarrow ab-\left[-\left(a+b\right)\right]=0\)
\(\Rightarrow ab+a+b+1=0+1\)
\(\Rightarrow\left(ab+a\right)+\left(b+1\right)=1\)
\(\Rightarrow a\left(b+1\right)+\left(b+1\right)=1\)
\(\Rightarrow\left(a+1\right)\left(b+1\right)=1\)
Do đó suy ra \(a+1=b+1=-1\) ( Chúng không thể bằng 1 vì nếu như vậy a=b=0 )
\(\Rightarrow a=b=-2\)
Do đó (a;b) = 2 \(\ne\)1 ( trái với giả thiết )
*TH2 : \(c=1\)
\(\Rightarrow a+b=ab\)
\(\Rightarrow ab-\left(a+b\right)+1=0+1=1\)
\(\Rightarrow ab-a-b+1=1\)
\(\Rightarrow\left(ab-a\right)-\left(b-1\right)=1\)
\(\Rightarrow a\left(b-1\right)-\left(b-1\right)=1\)
\(\Rightarrow\left(a-1\right)\left(b-1\right)=1\)
\(\Rightarrow a-1=b-1=1\) ( chúng không thể bằng -1 vì như vậy thì a = b = 0 )
\(\Rightarrow a=b=2\)
\(\Rightarrow\left(a;b\right)=2\ne1\) (trái với giả thiết )
Do đó không tồn tại a, b, c thỏa mãn đề bài.