En un álgebra lineal libro de texto, una tarea pregunta que recibí fue:
Demostrar que $\mathbf{a \cdot b} = \frac{1}{4}(\|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2)$.
Donde $\mathbf{a}$ y $\mathbf{b}$ son vectores en $\Bbb{R}^n$.
Este es trivial demostrar si partimos de $\frac{1}{4}(\|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2)$ e ingeniería inversa en $\Bbb{R}^2$: $$ \|\mathbf{a + b}\|^2 = a_1^2 + 2a_1b_1 + b_1^2 + a_2^2 + 2a_2b_2 + b_2^2 \\ \|\mathbf{a - b}\|^2 = a_1^2 - 2a_1b_1 + b_1^2 + a_2^2 - 2a_2b_2 + b_2^2 \\ \|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2 = 4a_1b_1 + 4a_2b_2 \\ \frac{1}{4}(\|\mathbf{a + b}\|^2 - \|\mathbf{a - b}\|^2) = \frac{4}{4}(a_1b_1 + a_2b_2) \\ = a_1b_1 + a_2b_2 = \mathbf{a \cdot b} $$
Pero estoy preocupada acerca de si o no las pruebas de este tipo son "legales", si eso tiene algún sentido. No había redacción de la pregunta diciendo que no podía arrancar desde el lado derecho de la identidad, pero todavía tengo esa extraña sensación de culpa de que yo debería haber tratado de resolver la identidad a partir de la izquierda lado y el trabajo en la dirección "normal".
Para preguntas como estas, es bueno comenzar por el lado derecho de la identidad? Haría lo que me salga de hacer la pregunta en sentido inverso ser el mismo que si lo hice normalmente?