Demonstre que:
;
Passo 1
O que pede o enunciado: mostrar que
. Vamos usar conceitos de corpo ordenado, que definem como comparar elementos numéricos.
Passo 2
Um dos axiomas de corpo ordenado diz que se
, então o quadrado de
é estritamente positivo, isto é,
.
Passo 3
Sabemos que o elemento
(identidade multiplicativa) nunca é igual a zero, ou seja,
. Aplicando o axioma para
, obtemos
.
Passo 4
Por fim, como
, concluímos que
.
Resposta
1 > 0