A + b = c + d a^3 + b^3 = c^3 + d^3 Разложим сумму кубов слева и справа (a + b)(a^2 - ab + b^2) = (c + d)(c^2 - cd + d^2) Известно, что a + b = c + d, разделим на них a^2 - ab + b^2 = c^2 - cd + d^2 Выделим полные квадраты a^2 + 2ab + b^2 - 3ab = c^2 + 2cd + d^2 - 3cd (a + b)^2 - 3ab = (c + d)^2 - 3cd Опять-таки, a + b = c + d, значит, (a + b)^2 = (c + d)^2, вычтем их -3ab = -3cd ab = cd Вернемся к равенству: a^2 - ab + b^2 = c^2 - cd + d^2 Если ab = cd, то прибавим их a^2 + b^2 = c^2 + d^2 Что и требовалось доказать
положительный в обоих случаях