Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 15. 08. 2020 13:31

liamlim_2
Příspěvky: 26
Reputace:   
 

Velká Fermatova věta

Ahoj.

Prosím mohl by se někdo podívat, jestli v následujícím nemám nějakou chybu? Děkuji :) Všechno by to měly být jen čistě středoškolské operace, žádná vysoká matematika.

Nechť $x$, $y$ a $z$ jsou po dvou nesoudělná čísla a $n\ge 5$ je prvočíslo. Dále nechť $x^n + y^n + z^n = 0$.

Úpravami dostaneme:
(1) $\left(\frac{x^{2n} - y^nz^n}{x^2 - yz}\right) (x^2 - yz) = (y^2-xz) \left(\frac{y^{2n} - x^nz^n}{y^2-xz}\right) = $
(2) $\left(\frac{x^{3n} - y^{3n}}{x^3 - y^3}\right) (x^2 + xy + y^2) = (z^2 - xy) \left(\frac{z^{2n} - x^ny^n}{z^2 - xy}\right)\left(\frac{x^n - y^n}{x - y}\right)$

Nyní uveďme pomocné tvrzení. Pro libovolná nesoudělná $a$, $b$ a prvočíselné $p$ platí, že každý dělitel čísla $\frac{a^n + b^n}{a + b}$ je buď $n$ nebo je tvaru $kn + 1$ pro nějaké celočíselné $k$

Důkaz není tak obtížný a na požádání ho uvedu. Tady by ale zbytečně zabíral místo a činil celý text méně přehledným.

Nyní definujme pro celočíselné $a$ hodnotu $R(a)$ jako největší celé číslo takové, že $n$ nedělí $R(a)$ a současně žádný z dělitelů čísla $R(a)$ není tvaru $kn+1$ pro celočíselné $k$.

Všimněme si že pro naši definici pak platí, že ať už jsou $a$, $b$ libovolná nesoudělá čísla, tak $R\left(\frac{a^n + b^n}{a + b}\right) = 1$. Dále si všimněme zjevného faktu $R(ab) = R(a)\cdot R(b)$

S využitím předchozího máme a vztahů (1) a (2):

- $R(x^2 - yz) = R(y^2 - zx) = R(z^2 - xy)$
- $R(x^2 + xy+y^2) = R(z^2 - xy)$

Díky symetrii v $x$, $y$ a $z$ potom dostaneme zajímavý vztah (a zároveň definici pro $\gamma$:
(3) $\gamma := R(x^2-yz) = R(y^2-zx) = R(z^2 - xy) = R(x^2 + xy+y^2) = R(y^2 + yz+z^2) = R(z^2 + zx+x^2) $

Zjevně pro každé $a$ platí, že $R(a)$ dělí $a$, což  dostaneme přímo z definice. Díky tomu máme, že $\gamma$ dělí $x^2 - yz$  a současně $\gamma$ dělí $x^2+xy+y^2$, dělí i tedy jejich rozdíl, což je $y(x+y+z)$. Vzhledem k nesoudělnosti $x$, $y$ a $z$ a faktu, že $\gamma$ dělí $x^2-yz$ dostaneme:

(4)  $\gamma$ dělí $x+y+z$

Protože $\gamma$ dělí $x+y+z$ a současně $\gamma$ dělí $z^2 - xy$, musí $\gamma$ dělit též $z(-x-y) - xy = -(xy + yz + zx)$. Proto s využitím (4) dostaneme:

(5) Definujme $ g:=\gcd(x+y+z, xy+yz+zx)$. Pak $\gamma$ dělí $g$.

Hodnota $g$ je největší společný dělitel $x+y+z$ a $xy+yz+zx$, proto $g$ dělí též $x(-x) + yz$. Tedy $g$ dělí $x^2 - yz$. Odsud plyne, že $R(g)$ dělí $R(x^2-yz) = \gamma$. Přitom ale i $\gamma$ dělí $R(g)$, protože už víme, že $\gamma$ dělí $g$ díky (5). Proto platí

(6) $\gamma = R(\gcd(x+y+z, xy+yz+zx))$


V tomto vlákně budu případně pokračovat. Nejprve bych ale poprosil, jestli by se někdo nepodíval, jestli není chyba v nějakém z těchto kroků. Já jsem to dotáhl až do "důkazu" Velké Fermatovy věty, takže někde chyba pravděpodobně je :D Jen jde o to ji najít. Za každé přečtení moc děkuju :)

Offline

 

#2 15. 08. 2020 16:04 — Editoval check_drummer (15. 08. 2020 16:14)

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

liamlim_2 napsal(a):

Nyní uveďme pomocné tvrzení. Pro libovolná nesoudělná $a$, $b$ a prvočíselné $p$ platí, že každý dělitel čísla $\frac{a^n + b^n}{a + b}$ je buď $n$ nebo je tvaru $kn + 1$ pro nějaké celočíselné $k$

Ahoj, nevidím nikde použití toho $p$. Dále pro a=1, b=-1 dostaneme ve jmenovateli 0.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#3 15. 08. 2020 16:17

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

$\left(\frac{x^{3n} - y^{3n}}{x^3 - y^3}\right) (x^2 + xy + y^2) = (z^2 - xy) \left(\frac{z^{2n} - x^ny^n}{z^2 - xy}\right)\left(\frac{x^n - y^n}{x - y}\right)$

Pro x=1, y=1 dostanem 0 ve jmenovateli.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#4 15. 08. 2020 16:19

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

Proč platí tato rovnost?
$\left(\frac{x^{2n} - y^nz^n}{x^2 - yz}\right) (x^2 - yz) = (y^2-xz) \left(\frac{y^{2n} - x^nz^n}{y^2-xz}\right) $


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#5 15. 08. 2020 16:38 Příspěvek uživatele liamlim_2 byl skryt uživatelem liamlim_2.

#6 15. 08. 2020 16:40 — Editoval liamlim_2 (15. 08. 2020 16:40)

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ check_drummer:

Pokud jsou $a$, $b$ různá nesoudělná čísla a $p$ je prvočíslo větší nebo rovno 5, pak platí  $\frac{a^p + b^p}{a + b}$ má pouze dělitele tvaru $kp+1$

Offline

 

#7 15. 08. 2020 16:42

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ check_drummer:

Protože platí rovnost $x^{2n} -y^nz^n = z^{2n} - x^ny^n$ což dokážeme dosazením $z^n = -x^n-y^n$

Offline

 

#8 15. 08. 2020 16:43

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ check_drummer:

$x$ a $y$ nemůžou být obě 1, protože pak z $x^n+y^n+z^n = 0$ dostaneme $2+z^n = 0$, což není možné

Offline

 

#9 15. 08. 2020 16:51

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

Například $\frac{42^7 + 25^7}{67}$ má prvočíselné dělitele 60383, 2017, 29, z nichž všechny jsou tvaru $7k+1$. To tvrzení pouze říká, že se nejedná o výjimku, ale že každý dělitel čísla tvaru $\frac{a^n+b^n}{a+b}$ pro prvočíselné $n$ je tvaru $kn+1$.

Offline

 

#10 15. 08. 2020 17:36

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

↑ liamlim_2:
Je hodnota R(a) korektně definována? Tj. existuje vždy R(a), tj. nemohou být čísla splňující definici R(a) "neomezeně velká"?


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#11 15. 08. 2020 17:51

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

$R(a)$ je definováno jako největší z dělitelů čísla $a$ splňující určitou vlastnost. Pokud tedy dělitelů čísla $a$ není nekonečně mnoho, vždy je $R(a)$ řádně definováno.

Offline

 

#12 15. 08. 2020 18:01

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

↑ liamlim_2:
V textu výše ale není uevdeno, že R(a) je dělitelem čísla a.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#13 15. 08. 2020 18:12

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ check_drummer:

Ano to mi vypadlo, za to se omlouvám. Samozřejmě $R(a)$ musí být dělitel čísla $a$. Chtěl bych opravit chyby a editovat text výše, možnost editace ale nevidím.

Offline

 

#14 15. 08. 2020 20:46 — Editoval misaH (15. 08. 2020 20:47)

misaH
Příspěvky: 12865
 

Re: Velká Fermatova věta

↑ liamlim_2:

možnost editace ale nevidím

Pravý dolný roh okna - ty tam nemáš

Reagovat ... Editovat ...  .... ?

Offline

 

#15 15. 08. 2020 21:25

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ misaH:

Reagovat | Citace | Nahlásit | Přidat anketu | Označit téma jako vyřešené

Toto tam mám já. Možnost editace tam není

Offline

 

#16 15. 08. 2020 23:04

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

↑ liamlim_2:
Napiš do sekce "Přivolej si svého admina" nebo jak se to jmenuje. Každý by měl mít možnost editovat své příspěvky... Nemám rád nástroje, kde můžeš svůj příspěvěk jen smazat, ale nemůžeš ho editovat. Někdy to dává smysl, když na tebe jiní reagují, ale jak říkám, nemám to rád. :-)


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#17 15. 08. 2020 23:46 — Editoval check_drummer (15. 08. 2020 23:48)

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

liamlim_2 napsal(a):

Nyní definujme pro celočíselné $a$ hodnotu $R(a)$ jako největší celé číslo takové, že $n$ nedělí $R(a)$ a současně žádný z dělitelů čísla $R(a)$ není tvaru $kn+1$ pro celočíselné $k$.

Pro k=0 získáme číslo 1 a to je dělitel každého čísla, takže R(a) není správně definováno. A i když vyloučíš případ k=0, tak je potřeba ukázat, že existuje nějaký kandidát na číslo R(a), které je dělitelné číslem, které není tvaru kn+1.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#18 16. 08. 2020 00:03

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ check_drummer:

Sice jsem byl na matfyzu, ale už jsem se asi odnaučil přesnému vyjadřování :D Samozřejmě jsem myslel čísla tvaru $kn+1$ pro nenulové $k$. Omlouvám se za mnoho nepřesností, příště si dám záležet, abych byl všude důsledný :D

Offline

 

#19 16. 08. 2020 01:59

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

↑ liamlim_2: Spíš je důležitější druhá část mé poznámky.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#20 16. 08. 2020 05:03 — Editoval liamlim_2 (16. 08. 2020 05:12)

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

lcm↑ check_drummer:Skutečně? Proč nemůžeme přirozeně pro případ že takový dělitel neexistuje dodefinovat $R(x) = 1$ pokud neexistuje žádný dělitel tvaru $kn+1$? Skutečně je to o tom, aby fungovalo vše jak má. Přirozeně platí $R(ab) = \textrm{lcm}(R(a),R(b))$. Aby tato rovnost platila, potřebujeme $R(x) = 1$ pokud neexistuje dělitel tvaru $kn+1$

Offline

 

#21 16. 08. 2020 08:53 — Editoval liamlim_2 (16. 08. 2020 08:59)

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

Další krok v mém "důkazu" je dokázat indukcí, že pro libovolné přirozené $k$ máme:

$x^{3k} + y^{3k} + z^{3k} \equiv 3x^ky^kz^k\mod g^2$
$x^{3k+1} + y^{3k+1} + z^{3k+1} \equiv (3k + 1)(x+y+z)x^ky^kz^k\mod g^2$
$x^{3k+2} + y^{3k+2} + z^{3k+2} \equiv -(3k + 2)(xy+yz+zx)x^ky^kz^k\mod g^2$

kde $g = \gcd(x+y+z, xy+yz+zx)$

Ten důkaz je opravdu přímočará indukce s tím, že pokaždé využijeme toho, že $(x+y+z)(xy+yz+zx)\equiv 0 \mod g^2$, $(x+y+z)^2\equiv 0\mod g^2$ a $(xy+yz+zx)^2 \equiv 0\mod g^2$

Offline

 

#22 16. 08. 2020 09:28

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

↑ liamlim_2:
Dodefinovat to můžeme, jen je potřeba to v definici R(a) uvést, aby ta definice byla korektní.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#23 16. 08. 2020 09:35

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

Z čeho plyne $R(ab) = R(a)\cdot R(b)$?


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

#24 16. 08. 2020 09:47 — Editoval liamlim_2 (16. 08. 2020 09:48)

liamlim_2
Příspěvky: 26
Reputace:   
 

Re: Velká Fermatova věta

↑ check_drummer:

To vlastně neplatí, ale ono se toto tvrzení skoro nikde nevyužívá, vlastně není vůbec potřeba. Dodefinování $R(a) = 1$ pokud $a$ nemá dělitel tvaru $kn+1$ bylo nezbytné.

Já jsem ten vzorec $R(ab) = R(a)R(b)$ použil pouze pro odvození vztahů

$R(x^2 - yz) = R(y^2 - zx) = R(z^2 - xy)$
$R(x^2 + xy+y^2) = R(z^2 - xy)$

Toto odvození ale plyne přímo z definice $R(a)$ a vztahů (1) a (2). Pokud by totiž například $R(x^2 + xy+y^2) \ne R(z^2 - xy)$, pak musí existovat dělitel $R(x^2+xy+y^2)$ dělící pravou stranu rovnosti $\left(\frac{x^{3n} - y^{3n}}{x^3 - y^3}\right) (x^2 + xy + y^2) = (z^2 - xy) \left(\frac{z^{2n} - x^ny^n}{z^2 - xy}\right)\left(\frac{x^n - y^n}{x - y}\right)$ nebo dělitel $R(z^2-xy)$ dělící levou stranu této rovnosti. V obou případech dostaneme spor, neboť libovolný dělitel $R(a)$ není ani $n$ ani tvaru $kn+1$ a současně libovolný dělitel $\frac{a^n+b^n}{a+b}$ je buď $n$ nebo tvaru $kn+1$, což se vzájemně vylučuje

Opravdu si přeji, abych mohl původní příspěvek zeditovat a opravit veškeré chyby a překlepy

Offline

 

#25 16. 08. 2020 10:01

check_drummer
Příspěvky: 3275
Reputace:   90 
 

Re: Velká Fermatova věta

Ještě mi není jasné toto:

liamlim_2 napsal(a):

Protože $\gamma$ dělí $x+y+z$ a současně $\gamma$ dělí $z^2 - xy$, musí $\gamma$ dělit též $z(-x-y) - xy$.


Popelka - pohádka o neprosté funkci nabývající minima v jediném bodě

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson