First, we will show that a, b, c are pairwise coprime. Denote d=gcd(b,c) and suppose that d>1. Take p as a prime divisor of d. We have
{p∣bp∣c⇒{p∣(c−a)2p∣(a−b)2⇒p∣c−ap∣a−b⇒p∣a.
This implies that p∣gcd(a,b,c), a contradiction. So gcd(b,c)=1. Similar with gcd(c,a), gcd(a,b).
Suppose that a, b, c are side-lengths of some triangle then
b+c>a,c+a>b,a+b>c.
So by putting x=(a+b−c)(b+c−a)(c+a−b)>0, we can see that x>0.
We have a∣(b−c)2−a2=(b−c−a)(b−c+a), thus a∣x. Similarly, we have b∣x, c∣x and since gcd(a,b)=gcd(b,c)=gcd(c,a)=1 so abc∣x. Hence,
abc≤(a+b−c)(b+c−a)(c+a−b).
From AM-GM, we have (a+b−c)(b+c−a)≤(2a+b−c+b+c−a)2=b2 and similar inequalities as (b+c−a)(c+a−b)≤c2, (c+a−b)(a+b−c)≤a2 then
(a+b−c)(b+c−a)(c+a−b)≤abc.
These imply the equality must be hold, so a=b=c, contradiction since a, b, c pairwise distinct. □