Giả sử a khác b
- Nếu a < b
thì từ ab=bc=ca => b > c ; c < a ; a > b (mẫu thuẫn với a < b)
- Nếu a > b
thì từ ab=bc=ca => b < c ; c > a ; a < b (mẫu thuẫn với a > b)
Vậy a = b = c
*Xét a>b>c=>ab>bb>bc
=>ab>bc(trái giả thiết loại)
*Xét a>c>b=>ca>ba>bc
=>ca>bc(trái giả thiết loại)
Tương tự với b>c>a,b>a>c và c>a>b,c>b>a đều trái giả thiết loại.
*Xét a=b>c=>ab=bb>bc
=>ab>bc(trái giả thết loại)
*Xét a=c>b=>ca=aa>ab
=>ca>ab(trái giả thiết loại)
Tương tự với b=a>c,b=c>a và c=a>b,c=b>a đều trái giả thiết loại.
=>Với các giá trị của a,b,c khi lớn hơn hoặc vừa lớ hơn vừa bằng nhau đều trái giả thiết.
=>a=b=c
Vậy a=b=c.