Từ x+y=1 suy ra x2+y2+2xy=1 do đó x2+y2=1−2xy. Từ đó có:
ab(x2+y2)+xy(a2+b2)=abab(1−2xy)+xy(a2+b2)=ab;ab(1−2xy)+xy(a2+b2)−ab=0;ab−2abxy+xy(a2+b2)−ab=0;−2abxy+xy(a2+b2)=0;xy(a2+b2−2ab)=0;
xy(a−b)2=0. Do x=0; y=0 nên a−b=0 hay a=b. Đó là điều phải chứng minh.