Clasica
Moderators: Filip Chindea, maky, Cosmin Pohoata
-
Filip Chindea
- Newton
- Posts: 324
- Joined: Thu Sep 27, 2007 9:01 pm
- Location: Bucharest
Clasica
Fie \( r \in \mathbb{Q} \) cu \( a := 2 \cos(\pi r) \in \mathbb{Q} \). Aratati ca \( a \in \mathbb{Z} \).
Life is complex: it has real and imaginary components.
-
Filip Chindea
- Newton
- Posts: 324
- Joined: Thu Sep 27, 2007 9:01 pm
- Location: Bucharest
Au trecut doua luni si inca nu a aparut solutia simpla pe care o asteptam (desi am mai vazut post-uri).
Mai intai, pornind de la identitatea \( \cos (n+1)\varphi + \cos (n-1)\varphi = 2\cos \varphi \cos n\varphi \), se arata ca daca definim
\( \left\{ \begin{array}{c} T_0 := 1, T_1 := t, \\ T_{n+2} := 2t T_{n+1} - T_n, \forall n \ge 0 \end{array} \right. \),
inductiv \( T_n \in \mathbb{Z}[t] \) au proprietatea ca \( T_n(\cos(\varphi)) = \cos(n\varphi) \) si se numesc (primele) polinoame Cebasev.
Definim acum \( P_n(t) := 2T_n(t/2) \). Se arata inductiv ca si \( P_n \in \mathbb{Z}[t] \) si, in plus, este monic.
Solutia problemei. Fie \( r = m/n \), \( n \in \mathbb{N}^{\ast} \) si \( m \in \mathbb{Z} \). Atunci \( P_n(a) = 2T_n(\cos(\pi r)) = \pm 2 \). Deci \( a \) este radacina a lui \( P_n \mp 2 \) si acum totul rezulta din faptul ca \( P_n \) este monic. \( \qed \)
Mai intai, pornind de la identitatea \( \cos (n+1)\varphi + \cos (n-1)\varphi = 2\cos \varphi \cos n\varphi \), se arata ca daca definim
\( \left\{ \begin{array}{c} T_0 := 1, T_1 := t, \\ T_{n+2} := 2t T_{n+1} - T_n, \forall n \ge 0 \end{array} \right. \),
inductiv \( T_n \in \mathbb{Z}[t] \) au proprietatea ca \( T_n(\cos(\varphi)) = \cos(n\varphi) \) si se numesc (primele) polinoame Cebasev.
Definim acum \( P_n(t) := 2T_n(t/2) \). Se arata inductiv ca si \( P_n \in \mathbb{Z}[t] \) si, in plus, este monic.
Solutia problemei. Fie \( r = m/n \), \( n \in \mathbb{N}^{\ast} \) si \( m \in \mathbb{Z} \). Atunci \( P_n(a) = 2T_n(\cos(\pi r)) = \pm 2 \). Deci \( a \) este radacina a lui \( P_n \mp 2 \) si acum totul rezulta din faptul ca \( P_n \) este monic. \( \qed \)
Life is complex: it has real and imaginary components.
-
Cezar Lupu
- Site Admin
- Posts: 612
- Joined: Wed Sep 26, 2007 2:04 pm
- Location: Bucuresti sau Constanta
- Contact:
Solutie.
Consideram numarul complex \( x=cos r\pi+i\sin r\pi \). Daca notam cu \( r=m/n \) cu \( m, n \) numere intregi prime intre ele, atunci numarul complex \( x \) verifica ecuatia \( x^{2n}-1=0 \), deci este radacina de ordin \( 2n \) a ecuatiei, deci este intreg algebric.
Se verifica usor de tot, ca \( \overline{x} \) (conjugatul complex al lui \( x \)) este intreg algebric.
Prin urmare avem ca si \( x+\overline{x}=2\cos r\pi \) este intreg algebric (operatii cu intregi algebrici). Conform cu faptul ca orice intreg algebric rational este numar intreg, rezulta ca \( 2\cos r\pi\in\mathbb{Q} \), dar mai avem ca \( a=2\cos r\pi\in [-2, 2] \), dar cum \( a\in\mathbb{Q} \), rezulta ca \( a\in\{-1, 0, 1\} \), deci \( a\in\mathbb{Z} \). \( \qed \)
Consideram numarul complex \( x=cos r\pi+i\sin r\pi \). Daca notam cu \( r=m/n \) cu \( m, n \) numere intregi prime intre ele, atunci numarul complex \( x \) verifica ecuatia \( x^{2n}-1=0 \), deci este radacina de ordin \( 2n \) a ecuatiei, deci este intreg algebric.
Se verifica usor de tot, ca \( \overline{x} \) (conjugatul complex al lui \( x \)) este intreg algebric.
Prin urmare avem ca si \( x+\overline{x}=2\cos r\pi \) este intreg algebric (operatii cu intregi algebrici). Conform cu faptul ca orice intreg algebric rational este numar intreg, rezulta ca \( 2\cos r\pi\in\mathbb{Q} \), dar mai avem ca \( a=2\cos r\pi\in [-2, 2] \), dar cum \( a\in\mathbb{Q} \), rezulta ca \( a\in\{-1, 0, 1\} \), deci \( a\in\mathbb{Z} \). \( \qed \)
An infinite number of mathematicians walk into a bar. The first one orders a beer. The second orders half a beer. The third, a quarter of a beer. The bartender says “You’re all idiots”, and pours two beers.