Assume on the contrary that there exist three numbers among t1,t2,…,tn that do not form the sides of a triangle. Without loss of generality, we may assume that these three numbers are t1,t2,t3, and t1+t2≤t3. One has
(t1+⋯+tn)(t11+⋯+tn1)=1≤i<j≤n∑[tjti+titj]+n=t3t1+t1t3+t3t2+t2t3+1≤i<j≤n(i,j)∈/{(1,3),(2,3)}∑[tjti+titj]+n≥t3t1+t2+t3(t11+t21)+1≤i<j≤n(i,j)∈/{(1,3),(2,3)}∑2+n≥t3t1+t2+t1+t24t3+2(Cn2−2)+n=4t1+t2t3+t3t1+t2+n2−4.(1)
If x=t1+t2t3, then x≥1, and 4x+x1−5=x(x−1)(4x−1)≥0.
Together with (1), we obtain that
(t1+⋯+tn)(t11+⋯+tn1)≥5+n2−4=n2+1,
a contradiction. This completes the proof.