t2^2-t1^2=b^2-a^2+c(a-b)
=(b-a)(b+a)-c(b-a)
=(b-a)(b+a-c)
b>a,b-a>0,b+a>c.b+a-c>0
t2^2-t1^2>0 t2^2>t1^2
t1>0,t2>0,故t2>t1
t3^2-t2^2=c^2-b^2+a(b-c)
=(c-b)(b+c-a)
同理可證t3>t2
故t1