cosinus de rationnels
Réponses
-
Il me semble que le sujet a déjà été traité, et qu'il s'agit de {0;-1;1;1/2;-1/2}
-
Comment démontre-t-on ce résultat ?
-
en piece jointe un fichier word où tu trouveras un probléme permettant de répondre à cette question.
-
$x=\frac{a}{b}$ où $a,b$ sont premiers entre eux. On peut donc trouver par Bezout $u,v$ tel que $au+bv=1$, ce qui entraine que $|cos(\frac{\pi}{b})|=|cos(\frac{\pi (au+bv)}{b})|)|=|cos(u \frac{\pi a }{b})| \in \mathbb{Q}$. (car $cos(nx)=P(cos(x))$ où $P \in \mathbb{Q}[X]).
\\
Ainsi on est ramené à trouver pour quelles valeurs de $b$, $cos(\frac{\pi}{b})$ est rationelle car on vient de voir qu'il y a équivalence entre $cos(\frac{\pi}{b}) \in \mathbb{Q}$ et $cos(\frac{\pi}{b}) \in \mathbb{Q}$.
\\
Soit donc $b$ tel que $cos(\frac{\pi}{b}) \in \mathbb{Q}$. Alors $cos(\frac{2 \pi}{b}) \in \mathbb{Q}$, ce qui est util car alors $z=e^{i \frac{2 \pi}{b}}$ est une racine primitive $b$-ième de l'unité qui vérifie $z+\frac{1}{z}=2 cos(\frac{2 \pi}{b}) = q \in \mathbb{Q}$. Ainsi $z$ est algébrique de degré au plus $2$, et son polynome minimal qui est le $b$-ième polynome cyclotomique, de degré $\phi(b)$, est de degré $1$ ou $2$.
Il suffit donc de trouver les antécédent de $1$ et $2$ par l'indicatrice d'Euler, ce qui n'est pas bien dur car il y en a très peu: $b=1,2,3,4,6$. On regarde alors ce qu'on obtient pour ces valeurs, et seul $b=1,2,3$ semble marcher. -
$x=\frac{a}{b}$ où $a,b$ sont premiers entre eux. On peut donc trouver par Bezout $u,v$ tel que $au+bv=1$, ce qui entraine que $|cos(\frac{\pi}{b})|=|cos(\frac{\pi (au+bv)}{b})|)|=|cos(u \frac{\pi a }{b})| \in \mathbb{Q}$. (car $cos(nx)=P(cos(x))$ où $P \in \mathbb{Q}[X]).
\\
Ainsi on est ramené à trouver pour quelles valeurs de $b$, $cos(\frac{\pi}{b})$ est rationelle car on vient de voir qu'il y a équivalence entre $cos(\frac{\pi}{b}) \in \mathbb{Q}$ et $cos(\frac{\pi}{b}) \in \mathbb{Q}$.
\\
Soit donc $b$ tel que $cos(\frac{\pi}{b}) \in \mathbb{Q}$. Alors $cos(\frac{2 \pi}{b}) \in \mathbb{Q}$, ce qui est util car alors $z=e^{i \frac{2 \pi}{b}}$ est une racine primitive $b$-ième de l'unité qui vérifie $z+\frac{1}{z}=2 cos(\frac{2 \pi}{b}) = q \in \mathbb{Q}$. Ainsi $z$ est algébrique de degré au plus $2$, et son polynome minimal qui est le $b$-ième polynome cyclotomique, de degré $\phi(b)$, est de degré $1$ ou $2$.
Il suffit donc de trouver les antécédent de $1$ et $2$ par l'indicatrice d'Euler, ce qui n'est pas bien dur car il y en a très peu: $b=1,2,3,4,6$. On regarde alors ce qu'on obtient pour ces valeurs, et seul $b=1,2,3$ semble marcher. -
oops, je suis un peu fatigué ce soir. Si un administrateur pouvait réparer mes bêtises .. Merci
-
<SPAN CLASS="MATH"></SPAN> où <SPAN CLASS="MATH"></SPAN> sont premiers entre eux. On peut donc trouver par Bézout <SPAN CLASS="MATH"></SPAN> tel que <SPAN CLASS="MATH"></SPAN>, ce qui entraîne que <SPAN CLASS="MATH"></SPAN>. (car <SPAN CLASS="MATH"></SPAN> où <SPAN CLASS="MATH"></SPAN>.
<BR>
<BR>Ainsi on est ramené à trouver pour quelles valeurs de <SPAN CLASS="MATH"></SPAN>, <SPAN CLASS="MATH"></SPAN> est rationnel car on vient de voir qu'il y a équivalence entre <SPAN CLASS="MATH"></SPAN> et <SPAN CLASS="MATH"></SPAN>.
<BR>
<BR>Soit donc <SPAN CLASS="MATH"></SPAN> tel que <SPAN CLASS="MATH"></SPAN>. Alors <SPAN CLASS="MATH"></SPAN>, ce qui est utile car alors <SPAN CLASS="MATH"></SPAN> est une racine primitive <SPAN CLASS="MATH"></SPAN>-ième de l'unité qui vérifie <SPAN CLASS="MATH"></SPAN>. Ainsi <SPAN CLASS="MATH"></SPAN> est algébrique de degré au plus <SPAN CLASS="MATH"></SPAN>, et son polynôme minimal qui est le <SPAN CLASS="MATH"></SPAN>-ième polynôme cyclotomique, de degré <SPAN CLASS="MATH"></SPAN>, est de degré <SPAN CLASS="MATH"></SPAN> ou <SPAN CLASS="MATH"></SPAN>.
<BR>Il suffit donc de trouver les antécédent de <SPAN CLASS="MATH"></SPAN> et <SPAN CLASS="MATH"></SPAN> par l'indicatrice d'Euler, ce qui n'est pas bien dur car il y en a très peu: <SPAN CLASS="MATH"></SPAN>. On regarde alors ce qu'on obtient pour ces valeurs, et seul <SPAN CLASS="MATH"></SPAN> semblent marcher._inline172#</SPAN> semblent marcher.<BR> -
$x=\frac{a}{b}$ où $a,b$ sont premiers entre eux. On peut donc trouver par Bézout $u,v$ tel que $au+bv=1$, ce qui entraîne que $\left|\cos(\frac{\pi}{b})\right| = \left|\cos(\frac{\pi (au+bv)}{b})\right| = \left|\cos(u \frac{\pi a }{b})\right| \in \mathbb{Q}$. (car $\cos(nx)=P(\cos(x))$ où $P \in \mathbb{Q}[X]$.
Ainsi on est ramené à trouver pour quelles valeurs de $b$, $\cos(\frac{\pi}{b})$ est rationnel car on vient de voir qu'il y a équivalence entre $\cos(\frac{\pi}{b}) \in \mathbb{Q}$ et $\cos(\frac{\pi}{b}) \in \mathbb{Q}$.
Soit donc $b$ tel que $\cos(\frac{\pi}{b}) \in \mathbb{Q}$. Alors $\cos(\frac{2 \pi}{b}) \in \mathbb{Q}$, ce qui est utile car alors $z=\exp(i \frac{2 \pi}{b})$ est une racine primitive $b$-ième de l'unité qui vérifie $z+\frac{1}{z}=2 \cos(\frac{2 \pi}{b}) = q \in \mathbb{Q}$. Ainsi $z$ est algébrique de degré au plus $2$, et son polynôme minimal qui est le $b$-ième polynôme cyclotomique, de degré $\varphi(b)$, est de degré $1$ ou $2$.
Il suffit donc de trouver les antécédent de $1$ et $2$ par l'indicatrice d'Euler, ce qui n'est pas bien dur car il y en a très peu: $b=1,2,3,4,6$. On regarde alors ce qu'on obtient pour ces valeurs, et seul $b=1,2,3$ semblent marcher.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.6K Toutes les catégories
- 44 Collège/Lycée
- 22.1K Algèbre
- 37.4K Analyse
- 6.3K Arithmétique
- 57 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 18 CultureMath
- 50 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 80 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 74 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 332 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 789 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres