(9x⁶ - 4x³) - (x³ - 9) - (8x⁶ - 5x³) = x⁶ + 9
9x⁶ - 4x³ - x³ + 9 - 8x⁶ + 5x³ = x⁶ + 9
9x⁶ - 8x⁶ - 5x³ + 5x³ + 9 = x⁶ + 9
x⁶ + 9 = x⁶ + 9
Тождество доказано
4с(с-2)-(с-4)^2=4c^2-8c-(c^2-8c+16)=4c^2-8c-c^2+8c-16=3c^2-16.