4. Given that a,b,c are the roots of the equation x3+(ab+bc+ca)x−abc=0.
Let Tn=an+bn+cn(n=0,1,2,⋯), then Ta=−(ab+bc+ca)Ta−2+abcTa−3(n⩾3).
Also, T0=3,T1=0, so T3=−(ab+bc+ca)T1+bacT0=3abc.
And T2=a2+b2+c2=(a+b+c)2−2(ab+bc+ca)=−2(ab+bc+ca), thus
Tn=21T2Tn−2+31T3Tn−3(n⩾3), so T4=21T22,T5=21T2T3+31T3T2=65T2T3,T7=21T2T5+31T3T4=127T22T3,
Thus T2T3T4T5=125T24T32,T72=14449T24T32.
Therefore, T2T3T4T5T72=14449⋅T24T32⋅5T24T3212=6049, which proves the required equation.