AA'=x, A'B=Lx, BB'=x, B'C=mx, CC'=nx. A'B'=B'C'=C'A'=m. CosA=(n^2+1)x^2--m^2)/2nx^2=((L+1)^2*x^2+(n+1)^2*X^2--(m+1)^2*x^2)/2(n+1)(L+1)x^2. CosB,CosC 可得另两可轮换等式.解得L=m=n.得证.