Pierwiastki z jednosci

Definicja. Postać wykładnicza i trygonometryczna. Zagadnienia związane z ciałem liczb zespolonych.
Zymon
Użytkownik
Użytkownik
Posty: 140
Rejestracja: 3 lis 2017, o 10:53
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 10 razy
Pomógł: 15 razy

Pierwiastki z jednosci

Post autor: Zymon » 3 lis 2017, o 11:42

Dzien dobry,
Mam do Was pytanie. Czy prawdziwe jest twierdzenie :
"Jezeli modul liczby zespolonej \(\displaystyle{ Z}\) jest rowny jeden to istnieje \(\displaystyle{ n}\) takie ze jeden z pierwiastkow \(\displaystyle{ n}\)-tego stopnia z jednosci bedzie rowny \(\displaystyle{ Z}\)"

Intuicyjnie wydaje sie sensowne. Skoro pierwiastki ukladaja sie w wielokat foremny to przy \(\displaystyle{ n}\) dazacym do nieskonczonosci figura bedzie coraz blizsza kola. Wiec musi znalezc sie n dla ktorego z bedzie nalezalo do zbioru pierwiastkow. Czy moje rozumowanie ma sens? Jesli tak czy moge prosic o pomoc w dowodzie formalnym?
Ostatnio zmieniony 3 lis 2017, o 18:12 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Używaj LaTeXa także do pojedynczych symboli.

Awatar użytkownika
Premislav
Użytkownik
Użytkownik
Posty: 15209
Rejestracja: 17 sie 2012, o 13:12
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 161 razy
Pomógł: 5046 razy

Pierwiastki z jednosci

Post autor: Premislav » 3 lis 2017, o 11:53

Nie jest to prawda. To czy liczba zespolona \(\displaystyle{ z}\) o module \(\displaystyle{ 1}\) jest pierwiastkiem n-tego stopnia z jedności dla pewnego \(\displaystyle{ n}\) zależy od jej (czy raczej jej argumentu) współmierności z \(\displaystyle{ \pi}\), czy jak by to porządnie nazwać.
Możemy zapisać (bo \(\displaystyle{ |z|=1}\)) \(\displaystyle{ z=cos varphi+isin varphi, varphi in [0,2pi)}\)
i teraz jeśli jest \(\displaystyle{ \frac{\varphi}{\pi}\in \QQ}\), to \(\displaystyle{ z}\) jest pierwiastkiem n-tego stopnia z jedności dla pewnego \(\displaystyle{ n \in \NN^+}\), a jeśli nie, to nie jest. Dowodu nie będę teraz pisać, bo nie bardzo mam czas, ale nie jest to trudne.

Awatar użytkownika
Janusz Tracz
Użytkownik
Użytkownik
Posty: 3149
Rejestracja: 13 sie 2016, o 15:01
Płeć: Mężczyzna
Lokalizacja: hrubielowo
Podziękował: 73 razy
Pomógł: 1070 razy

Pierwiastki z jednosci

Post autor: Janusz Tracz » 3 lis 2017, o 13:49

A może dało by się pokazać to przez zaprzeczenie. Z założenia że każdą liczbę o okręgu jednostkowego (\(\displaystyle{ \left| z\right|=1}\)) można przedstawić za pomocą jakiegoś \(\displaystyle{ \sqrt[n]{1}}\) wynika że istnieje bijekcja pomiędzy tymi zbirami. Widać natomiast że \(\displaystyle{ \left| \left\{ z:\left| z\right|=1 \wedge z\in\CC \right\} \right|=\mathfrak{c}}\) a liczba pierwiastków nawet najgęściej upakowanych to \(\displaystyle{ \aleph_0}\). Stąd sprzeczność taka bijekcja nie istnieje.

Awatar użytkownika
Takahashi
Użytkownik
Użytkownik
Posty: 186
Rejestracja: 12 maja 2017, o 19:04
Płeć: Mężczyzna
Lokalizacja: brak
Podziękował: 1 raz
Pomógł: 22 razy

Pierwiastki z jednosci

Post autor: Takahashi » 3 lis 2017, o 17:00

To jest rozumowanie wprost

Pierwiastków z jedynki jest przeliczalnie wiele:

\(\displaystyle{ \mu_2 \subseteq \mu_6 \subseteq \mu_{24} \subseteq \ldots \subseteq \mu_\infty}\)

a punktów na okręgu nieprzeliczalnie wiele, dlatego bijekcja nie istnieje.
Janusz Tracz pisze:Z założenia że każdą liczbę o okręgu jednostkowego (\(\displaystyle{ \left| z\right|=1}\)) można przedstawić za pomocą jakiegoś \(\displaystyle{ \sqrt[n]{1}}\) wynika że istnieje bijekcja pomiędzy tymi zbirami.
Nie, wynika tylko, że istnieje injekcja \(\displaystyle{ S^1 \to \mathbb N}\) albo surjekcja w drugą stronę. Dopiero to z odpowiednim twierdzeniem teorii mnogości daje bijekcję.

Zymon
Użytkownik
Użytkownik
Posty: 140
Rejestracja: 3 lis 2017, o 10:53
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 10 razy
Pomógł: 15 razy

Re: Pierwiastki z jednosci

Post autor: Zymon » 3 lis 2017, o 19:14

Hmm... Okej czyli moja intuicja mnie zawodzi. Jednakże, czy mógłby ktoś mi powiedzieć gdzie popełnia ona ten kluczowy błąd? Nie ukrywam, że chciałbym zrozumieć co się kryje za:
Premislav pisze:teraz jeśli jest \(\displaystyle{ \frac{\varphi}{\pi}\in \QQ}\), to \(\displaystyle{ z}\) jest pierwiastkiem n-tego stopnia z jedności dla pewnego \(\displaystyle{ n \in \NN^+}\)
i dlaczego tak jest, bazując na języku algebry. (W teorii mnogości nie zaszedłem jeszcze tak daleko)

Awatar użytkownika
Premislav
Użytkownik
Użytkownik
Posty: 15209
Rejestracja: 17 sie 2012, o 13:12
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 161 razy
Pomógł: 5046 razy

Re: Pierwiastki z jednosci

Post autor: Premislav » 4 lis 2017, o 03:24

Jeżeli \(\displaystyle{ z=\cos \varphi+i\sin \varphi}\), to ze wzoru de Moivre'a mamy
\(\displaystyle{ z^n=\cos(n\varphi)+i\sin(n\varphi)}\), z drugiej strony mamy \(\displaystyle{ \cos(n\varphi)+i\sin(n\varphi)=1 \Leftrightarrow n\varphi=2k \pi, k \in \ZZ}\)
i dalej chyba jasne.

Zymon
Użytkownik
Użytkownik
Posty: 140
Rejestracja: 3 lis 2017, o 10:53
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 10 razy
Pomógł: 15 razy

Re: Pierwiastki z jednosci

Post autor: Zymon » 5 lis 2017, o 00:13

Wielkie dzięki! Rozjaśniło mi to sprawę całkowicie. Korzystając jednak z okazji by domknąć tok mojego myślenia, czy w takim razie mogę określić czy liczba jest pierwiastkiem z jedynki mając dany \(\displaystyle{ \sin}\) lub \(\displaystyle{ \cos}\) \(\displaystyle{ \varphi}\) ? Czy mogę do tego skorzystać z faktu, że jeżeli wartość \(\displaystyle{ \cos\varphi}\) jest liczbą algebraiczną to \(\displaystyle{ \varphi}\) musi być postaci \(\displaystyle{ \alpha \pi}\)? Gdzie \(\displaystyle{ \alpha}\) jest wymierne

Awatar użytkownika
Takahashi
Użytkownik
Użytkownik
Posty: 186
Rejestracja: 12 maja 2017, o 19:04
Płeć: Mężczyzna
Lokalizacja: brak
Podziękował: 1 raz
Pomógł: 22 razy

Re: Pierwiastki z jednosci

Post autor: Takahashi » 5 lis 2017, o 18:45

Ale to nie jest prawda: weź takie \(\displaystyle{ \phi}\), że \(\displaystyle{ \cos \phi = 1/3}\).

Zymon
Użytkownik
Użytkownik
Posty: 140
Rejestracja: 3 lis 2017, o 10:53
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 10 razy
Pomógł: 15 razy

Pierwiastki z jednosci

Post autor: Zymon » 5 lis 2017, o 23:38

Ach... no tak. Przecież implikacja zachodzi w drugą stronę. Moja głupota, wybaczcie, że mysieliście to przeczytać ;/. Chociaż z drugiej strony jest delikatna pokusa by stwierdzić "skoro nie potrafię go wyznaczyć nie znaczy że go nie ma".

Czyli... jeżeli mam liczbę \(\displaystyle{ Z}\) taką, że \(\displaystyle{ \cos \phi}\) = \(\displaystyle{ 1/3}\) albo nie wiem... \(\displaystyle{ 3/5}\) chociażby, to mimo iż jej moduł będzie równy 1, to nie znajdzie się takie \(\displaystyle{ n}\) by była ona pierwiastkiem z jedności. Dobrze to zrozumiałem?

ODPOWIEDZ