Deje $F$ ser un campo.
Y deje $a \in F$ tal que $a \cdot a = 1$.
Reclamo: $a = 1$ o $ a = -1$
Antes, quiero comenzar con la prueba no puedo entender lo $ a = -1$ representa...
Es $a = -1$ que representa la inversa de a$a$?
Soy capaz de llegar a $a = 1$ sin ningún problema, pero ¿cómo se obtiene el $-$ signo para mostrar en tu prueba?
Prueba: Este es mi intento de llegar a $a=-1$.
Si $a = 0$ entonces tenemos $0 \cdot 0 = 0 \neq 1$. Entonces esto implica que $a \neq 0$ lo que implica que $ \exists b \in F,$ s.t. $a \cdot b = 1$, es decir, $b$ es el inverso multiplicativo de a$a$.
Conociendo este hecho probar de la siguiente manera...:
$a \cdot a = 1 \implies$ $ (a \cdot a) \cdot b = 1 \cdot b \implies$ $a \cdot (a \cdot b) = 1 \cdot b \implies$ $a \cdot 1 = 1 \cdot b \implies$ $ 1 \cdot a =1 \cdot b \implies$ $a = b$.
Pero desde $b$ es el inverso multiplicativo de a$a$ es suficiente para decir que $a = -1$?