Ta có:
` a^3 + b^3 + 3ab(a + b) = (a + b)^3 `
` => (a + b)^3 - 3(a + b) - 1 = 0 ` `(1)`
Lại có:
` a^2+b^2=a^4+b^4 `
`=>a^2+b^2=(a^2+b^2)^2-2a^2b^2`
`=> a^2+b^2=(a^2+b^2)^2-2`
`=> a^2+b^2=1`
`=> (a+b)^2=3`
` => a+b = ± \sqrt{3} ` `(2)`
Từ `(1)` và `(2)` suy ra:
Không thể chứng minh ` a^2 + b^2 = a^4 + b^4 ` theo đề bài !