Квадрат суммы двух величин равен квадрату первой плюс удвоенное произведение первой на вторую плюс квадрат второй. (a+b)2=a2+2ab+b2 Квадрат разности двух величин равен квадрату первой минус удвоенное произведение первой на вторую плюс квадрат второй. (a-b)2=a2-2ab+b2 Произведение суммы двух величин на их разность равно разности их квадратов. (a+b)(a-b)=a2-b2 Куб суммы двух величин равен кубу первой плюс утроенное произведение квадрата первой на вторую плюс утроенное произведение первой на квадрат второй плюс куб второй. (a+b)3=a3+3a2b+3ab2+b3 Куб разности двух величин равен кубу первой минус утроенное произведение квадрата первой на вторую плюс утроенное произведение первой на квадрат второй минус куб второй. (a-b)3=a3-3a2b+3ab2-b3 Произведение суммы двух величин на неполный квадрат разности равно сумме их кубов. ( a+b)(a2-ab+b2)=a3+b3 Произведение разности двух величин на неполный квадрат суммы равно разности их кубов. (a-b)(a2+ab+b2)=a3- b3
Заметим , что когда a=b , получаем что 0=0 , то есть условие выполнено. И в этом случае уравнение имеет бесконечно много решений.
Теперь, поскольку мы разобрали этот случай и (a-b)^2>=0 , то для случая a≠b , можно поделить обе части неравентсва на (a-b)^2 не меняя знак неравенства :
(a^2+ab+b^2)^2>=(a+b)^2*(a^2+b^2)
( a^2+ab+b^2)^2 >= (a^2+2ab+b^2)*(a^2+b^2)
Теперь сделаем слудующий прием , поскольку (a^2+b^2)^2>0 при a≠b≠0
То можно поделить на это выражение обе части неравенства не меняя его знак :
( 1+ ab/(a^2+b^2) )^2>= 1+ 2ab/(a^2+b^2)
Тогда можно сделать замену:
ab/(a^2+b^2)=t
(1+t)^2>=1+2t
t^2+2t+1>=1+2t
t^2>=0 (верно)
Таким образом :
(a^3-b^3)^2>=(a^2-b^2)*(a^4-b^4) , то есть D>=0.
Вывод : уравнение имеет действительное решение при любых действительных а и b.
Квадрат суммы двух величин равен квадрату первой плюс удвоенное произведение первой на вторую плюс квадрат второй. (a+b)2=a2+2ab+b2
Квадрат разности двух величин равен квадрату первой минус удвоенное произведение первой на вторую плюс квадрат второй. (a-b)2=a2-2ab+b2
Произведение суммы двух величин на их разность равно разности их квадратов. (a+b)(a-b)=a2-b2
Куб суммы двух величин равен кубу первой плюс утроенное произведение квадрата первой на вторую плюс утроенное произведение первой на квадрат второй плюс куб второй. (a+b)3=a3+3a2b+3ab2+b3
Куб разности двух величин равен кубу первой минус утроенное произведение квадрата первой на вторую плюс утроенное произведение первой на квадрат второй минус куб второй. (a-b)3=a3-3a2b+3ab2-b3
Произведение суммы двух величин на неполный квадрат разности равно сумме их кубов. ( a+b)(a2-ab+b2)=a3+b3
Произведение разности двух величин на неполный квадрат суммы равно разности их кубов. (a-b)(a2+ab+b2)=a3- b3
Чтобы уравнение имело действительное решение , достаточно чтобы дискриминант был неотрицательным.
D/4 = (a^3-b^3)^2 -(a^2-b^2)*(a^4-b^4)>=0
То есть , необходимо доказать , что при любых a и b справедливо строгое неравенство :
(a^3-b^3)^2>=(a^2-b^2)*(a^4-b^4)
(a-b)^2*(a^2+ab+b^2)^2>=(a-b)^2* (a+b)^2 * (a^2+b^2)
Заметим , что когда a=b , получаем что 0=0 , то есть условие выполнено. И в этом случае уравнение имеет бесконечно много решений.
Теперь, поскольку мы разобрали этот случай и (a-b)^2>=0 , то для случая a≠b , можно поделить обе части неравентсва на (a-b)^2 не меняя знак неравенства :
(a^2+ab+b^2)^2>=(a+b)^2*(a^2+b^2)
( a^2+ab+b^2)^2 >= (a^2+2ab+b^2)*(a^2+b^2)
Теперь сделаем слудующий прием , поскольку (a^2+b^2)^2>0 при a≠b≠0
То можно поделить на это выражение обе части неравенства не меняя его знак :
( 1+ ab/(a^2+b^2) )^2>= 1+ 2ab/(a^2+b^2)
Тогда можно сделать замену:
ab/(a^2+b^2)=t
(1+t)^2>=1+2t
t^2+2t+1>=1+2t
t^2>=0 (верно)
Таким образом :
(a^3-b^3)^2>=(a^2-b^2)*(a^4-b^4) , то есть D>=0.
Вывод : уравнение имеет действительное решение при любых действительных а и b.
Что и требовалось доказать.