From 3a6bd6d06f37bd0b692c17e2cd120d656d24a2a6 Mon Sep 17 00:00:00 2001 From: "Fabrice (Polytechnique)" Date: Thu, 17 Feb 2011 17:04:20 +0100 Subject: =?UTF-8?q?[ACF]=20mini-variante=20d=C3=A9monstration=20formule=20?= =?UTF-8?q?compl=C3=A9mentaire?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- chapitres/algo-corps-finis.tex | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'chapitres/algo-corps-finis.tex') diff --git a/chapitres/algo-corps-finis.tex b/chapitres/algo-corps-finis.tex index ada5e20..2ce817e 100644 --- a/chapitres/algo-corps-finis.tex +++ b/chapitres/algo-corps-finis.tex @@ -797,6 +797,13 @@ En écrivant $G^{p-1} = (G^2)^{(p-1)/2}$, on a donc prouvé $(-1)^{(p^2-1)/8} = 8^{(p-1)/2} = \Legendre{8}{p} = \Legendre{2}{p}$ ; cette égalité entre éléments de $\{\pm 1\}$ a lieu dans $\FF_{p^r}$ donc dans $\ZZ$ : c'est ce qu'on voulait prouver. + +Signalons la variante suivante. L'élément $ζ+ζ_{-1}$ est, +dans $𝐅_{p^r}$ une racine carré de $2$ car +$(ζ+ζ_{-1})²=2+ζ²+{ζ²}^{-1}=2$. Il en résulte que $2$ est un carré +dans $𝐅_p$ si et seulement si $ζ^p+ζ^{-p}=ζ+ζ^{-1}$. Cette condition +ne dépend que de $±p$ modulo $8$ et on vérifie immédiatement quelles +sont les valeurs pour lesquelles elle est satisfaite. \end{proof} \begin{remarque2} -- cgit v1.2.1