Niech n bedzie...

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
Hac_mi;
Użytkownik
Użytkownik
Posty: 106
Rejestracja: 10 kwie 2007, o 20:25
Płeć: Mężczyzna
Lokalizacja: hmmm
Podziękował: 12 razy
Pomógł: 6 razy

Niech n bedzie...

Post autor: Hac_mi; » 21 paź 2007, o 13:37

taką liczba naturalna, że \(\displaystyle{ n>1}\) i n nie jest liczbą pierwszą. Udowodnić przez zaprzeczenie, że n posiada co najmniej jeden dzielnik pierwszy p taki, że \(\displaystyle{ p qslant \sqrt{n}}\)

Awatar użytkownika
przemk20
Użytkownik
Użytkownik
Posty: 1094
Rejestracja: 6 gru 2006, o 22:47
Płeć: Mężczyzna
Lokalizacja: Olesno
Podziękował: 45 razy
Pomógł: 236 razy

Niech n bedzie...

Post autor: przemk20 » 21 paź 2007, o 14:39

niech liczb p bedzie najmniejszym z dzielnikow liczby n, wtedy
\(\displaystyle{ n = p n_1 q p p = p^2 \iff \ \sqrt{n} q p \\}\)

Piotr Rutkowski
Gość Specjalny
Gość Specjalny
Posty: 2234
Rejestracja: 26 paź 2006, o 18:08
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 22 razy
Pomógł: 389 razy

Niech n bedzie...

Post autor: Piotr Rutkowski » 21 paź 2007, o 14:39

Przez zaprzeczenie:
Załóżmy, że każdy dzielnik pierwszy jest \(\displaystyle{ p>\sqrt{n}}\)
Rozpatrzmy 2 przypadki:
-niech n będzie kwadratem liczby naturalnej, wtedy \(\displaystyle{ a^{2}=n \Rightarrow a=\sqrt{n}}\)
Jeżeli a jest liczbą pierwszą to otrzymujemy natychmiastowo sprzeczność z założeniem
Jeśli a jest liczbą złożoną, to można go przedstawić w postaci iloczynu różnych liczb pierwszych, zatem:
\(\displaystyle{ a=p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}...p_{n}^{\alpha_{n}}}\) oczywiście każdy z dzielników liczby a jest \(\displaystyle{ \leq a}\) oraz jest także dzielnikiem liczby n, przez co otrzymaliśmy, że \(\displaystyle{ \exists p|n \ p\leq \sqrt{n}}\) czyli sprzeczność z założeniem
-n nie jest kwadratem liczby naturalnej
Oczywiście istnieją dzielniki liczby n, a więc istnieje taki dzielnik liczby n, że \(\displaystyle{ \exists p_{1}|n \ p_{1} > \sqrt{n}}\) (z założenia) w takim razie istnieje też dzielnik liczby n postaci \(\displaystyle{ \frac{n}{p_{1}}=a}\) skoro \(\displaystyle{ p_{1} > \sqrt{n}}\) to \(\displaystyle{ \frac{n}{p_{1}} < \sqrt{n}}\), a więc \(\displaystyle{ a < \sqrt{n}}\) korzystając znów z rozkładu na czynniki pierwsze
\(\displaystyle{ a=p_{1}^{\alpha_{1}}p_{2}^{\alpha_{2}}...p_{n}^{\alpha_{n}}}\) to znów \(\displaystyle{ \exists p|n \ p q \sqrt{n}}\).
Znów otrzymaliśmy sprzeczność z założeniem co kończy zadanie

ODPOWIEDZ