Para demostrar, por ejemplo, la identidad $(a^2+b^2)(c^2+d^2)=(ac-bd)^2+(ad+bc)^2$ Recuerdo haber trabajado, en la escuela secundaria, de la siguiente manera. Expandiendo el LHS se obtiene
\begin{equation} (a^2+b^2)(c^2+d^2)=a^2c^2+a^2d^2+b^2c^2+b^2d^2,\qquad(1) \end{equation}
mientras que, ampliando el lado derecho, se obtiene
\begin{align} (ac-bd)^2+(ad+bc)^2&=a^2c^2+b^2d^2+2acbd+a^2d^2+b^2c^2-2abcd\\ &=a^2c^2+a^2d^2+b^2c^2+b^2d^2, \qquad(2) \end{align}
Comparando el lado derecho de (1) y (2) se deduce que $(a^2+b^2)(c^2+d^2)=(ac-bd)^2+(ad+bc)^2$ .
Primera pregunta: ¿Se considera esto una prueba aceptable en un nivel post-secundario? ¿O hay que trabajar de otra manera, como, por ejemplo, completando el cuadrado
\begin{align} (a^2+b^2)(c^2+d^2)&=a^2c^2+a^2d^2+b^2c^2+b^2d^2=a^2c^2+a^2d^2-2abcd+b^2c^2+b^2d^2+2abcd\\ &=(ac-bd)^2+(ad+bc)^2 \end{align}
Como otro ejemplo, considere la prueba de que $\sqrt{2}+\sqrt{6}<\sqrt{15}$ . Los profesores de secundaria (e incluso algunos profesores de escuelas de ingeniería que conozco) suelen trabajar así:
- Tomando el cuadrado de cada lado de $\sqrt{2}+\sqrt{6}<\sqrt{15}$ da $2+6+2\sqrt{2}\sqrt{6}<15$ .
- La reordenación da $2\sqrt{2}\sqrt{6}<7$ .
- Si se eleva al cuadrado de nuevo se obtiene $48<49$ .
- Desde $48<49$ entonces $\sqrt{2}+\sqrt{6}<\sqrt{15}$ .
Sin embargo, según A Concise Introduction to Pure Mathematics de Martin Liebeck, el argumento anterior no es una prueba. En efecto, citando al autor Hemos demostrado que si P es el enunciado que queremos demostrar, y Q es el enunciado de que 48 < 49, entonces PQ; pero esto no nos dice nada sobre la verdad o no de P. La prueba adecuada empieza por suponer la veracidad de lo contrario \begin{equation} \sqrt{2}+\sqrt{6}\geq\sqrt{15} \end{equation} Tenemos entonces \begin{align*} \sqrt{2}+\sqrt{6}\geq\sqrt{15}&\Rightarrow \left(\sqrt{2}+\sqrt{6}\right)^2\geq\left(\sqrt{15}\right)^2\Rightarrow 2+6+2\sqrt{2}\sqrt{6}\geq 15\\ &\Rightarrow 2\sqrt{12}\geq 7\Rightarrow 4\times 12\geq 49\Rightarrow 47\geq 48 \end{align*} que es una contradicción.
Segunda pregunta: ¿Está justificada esta falta de rigor por parte de los profesores?