Define una función $$f(a,b)=a^2+2ab+b^2$$
y trata de encontrar sus puntos extremos:
$$\begin{cases} f'_a=0\\ f'_b=0 \end{cases}$$
$$\begin{cases} 2a+2b=0\\ 2b+2a=0 \end{cases}$$
$$\begin{cases} a+b=0 \end{cases}$$
Dado que $f''_{ab}{}^2-f''_{aa} f''_{bb}=4-4=0$ puede haber un extremo o no. Intenta calcular $f(a,-a-1)$, $f(a,-a)$ y $f(a,-a+1)$. Verás que
$$f(a,-a-1)=f(a,-a+1)=1\quad\text{pero}\quad f(a,-a)=0$$
Significa que esta función tiene infinitos mínimos locales que están en la línea $a+b=0$. Se deduce que
$$f(a,b)\geqslant 0$$
ya que $f$ es continua (y suave) como un polinomio.
3 votos
Usa la desigualdad $AM \geq GM$
0 votos
Tomar derivadas parciales, alternativamente.
3 votos
¿Puedes usar $(a-b)^2 \geq 0$ ?
1 votos
@ArchisWelankar ¿La desigualdad de AM-GM se aplica a números no negativos, no?
0 votos
Él dijo que no puedes
0 votos
@MathematicsStudent1122: Si vas a usar cálculo, en realidad no necesitas derivadas parciales. Para cualquier $b$, puedes diferenciar con respecto a $a$ para encontrar que la expresión tiene un mínimo de $0$ en $a=-b$.
0 votos
¿Está permitido inspeccionar $a(a+b)+b(a+b)$ para todas las posibles combinaciones de $a$ y $b, ya sea positivas o negativas? ¡Quizás un poco largo, pero también realmente trivial!
1 votos
@leonbloy Supongamos sin pérdida de generalidad que $a>0$,$b<0$ y apliquemos la desigualdad aritmética-geométrica a $a$ y $-b$.
0 votos
@BrianM.Scott Si no me equivoco, al considerar funciones de dos variables, fijar una variable y diferenciar con respecto a la otra es diferenciación parcial.
0 votos
El polinomio es homogéneo, así que suponiendo que $a \not= 0$ (en cuyo caso la desigualdad es trivialmente verdadera), se divide por $a^2 > 0$ para obtener $1+2\frac{b}{a}+\left(\frac{b}{a}\right)^2 \geq 0$, y ahora solo tienes una variable, y la expresión alcanza un mínimo en $\frac{b}{a} = -1$.
0 votos
Entonces, básicamente, esto es más o menos equivalente a demostrar $x^2-2x+1\ge0$, o $x^2+1\ge2x$.
0 votos
@MathematicsStudent1122: El mecanismo es el mismo, pero las ideas son lógicamente distintas. Con la diferenciación parcial estás tratándolo como una función de dos variables. Mi enfoque lo trata como función de una variable, $a$, y simplemente demuestra que no importa cuál sea el valor de $b$, el mínimo ocurre en $a=-b$ y es $0$. En otras palabras, en vez de tratar $b$ como una segunda variable, se trata como una constante no especificada.