(a+b)^3=(c+d)^3展开,根据a∧3+b∧3=c∧3+d∧3约去后得
ab（a+b）=cd（c+d）,若a+b=c+d=0,则b=-a,d=-c,
a∧2009+b∧2009=c∧2009+d∧2009.=0
若a+b ≠0约去得ab=cd,
（a+b）^2=(c+d)^2得a^2+b^2=c^2+d^2
假设a^k+b^k=c^k+d^k成立k=1,2,3时以征得成立,
则（a^k+b^k）*（a+b）=（c^k+d^k）*（c+d）
即a^(k+1)+ab*b^(k-1)+b^(k+1)=c^(k+1)+cd*c^(k-1)+d^(k+1)
即a^(k+1)+b^(k+1)=c^(k+1)+d^(k+1)；
所以对一切正整数k都有a^k+b^k=c^k+d^k
k=2009时,a∧2009+b∧2009=c∧2009+d∧2009.