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
Stránky: 1
zdravím všechny
snad nevadí, že sem na fórum vložil někdy příspěvky, ve kterých jsem se jen ubezpečoval, jestli je můj postup správný a po matematické stránce nemá nějaké nedostatky. Toto je asi jediná moje možnost na kontrolu výsledků, v mém okolí ve škole i doma jsem v mém nadšení pro matematiku osamocen.
k problému: měl sem se sice učit na jiné předměty na zítra, je už i docela pozdě, ale napadl mě jeden postup který by se mohl týkat Velké Fermatovy věty pro případ exponentu rovného 3. Vím, že Velká Fermatova věta je dokázaná, jen by mě zajímalo, jestli tento postup, který jsem provedl, je správný nebo ne, prosím o kontrolu:
zadání: dokažte, že rovnice
nemá kladná celočíselná řešení.
Nechť D(a,b) je největší společný dělitel čísel a,b. potom:
1) nechť D(x,y) = A,
,
pro nesoudělná a,b :
z je tedy dělitelné A => 
kde a,b,c jsou navzájem po dvou nesoudělná [1].
2) vzhledem k tomu, že a,b,c jsou kladná, celočíselná, je c>b, tedy platí:
pro nějaké kladné celočíselné
. platí, že
a
jsou nesoudělná, jinak by
a
měli společný dělitel, my ale víme, že podle [1] jsou nesoudělná.
3)
vzhledem k tomu, že jsou všechny členy v pravé straně rovnosti kladné, platí nerovnost a>n, takže existuje kladné celočíselné m takové, že
4) 
neboli:
teď se vrátíme k rovnosti
:
Z této rovnosti jasně plyne, že m a n jsou soudělné. Z rovnosti
zase plyne, že
a
jsou soudělné. pokud vše toto vezmeme v potaz, zjistíme, že podle rovnice
je
a
soudělné. Zároveň z této rovnice vidíme, že
a
jsou soudělné. Z těchto dvou poznatků plyne závěr, že
a
jsou nutně soudělná. což vzhledem k rovnosti
a nesoudělnosti
a
není možné.
závěr: nedělám si iluze, že se mi dokázalo toto tvrzení dokázat, jen sem nepřišel na to, kde mám chybu. poprosil bych někoho, komu se to bude číst, jestli se nepokusí ji nalézt. za případnou odpověď děkuji
----------------------------------------------------------------------------------------------------------------------------
edit: tak našel sem si chybu sám, teď ji vidím, totiž sice nutně
a
mají společný dělitel, ale ten dělitel může být také 1 v případě, že n=1.
Tzn.: zatím jsem na tom tak, že by úloha neměla řešení, pro libovolné n které je větší jak 1. jestli někdo najde další chybu byl bych mu vděčný. já si to můžu zkontrolovat kolikrát chci a tejně určitě na něco zapomenu
jestliže by platilo
pak platí rovnost
. Neboli:
tam už je jen jedna třetí mocnina, ten příklad by šel možná dorazit, i když teď vůbec nevím jak. Totiž celý tento příklad byla velká fermatova věta v jednom speciálním případu (exponent je rovný 3). Podle této věty také vím, že rovnice
nemá řešení. Což by platilo i kdyby můj postup výše byl chybný. Zároveň ale nevím, jak to mám dokázat právě bez použití té věty: Podle Velké Fermatovy věty....
Edit 2: první hodinu ve škole jsem se na to podíval. Myslím si, že tu poslední rovnost zvládnu dokázat. - že nemá řešení. . Myslím si že už to mám. Jen to ještě zkontrolují.
Edit 3: asi něco delam spatne ale možná jsem přišel na to jak tento postup zobecnit pro velkou fermatovu větu
Edit 4: bohužel jsem našel v mém postupu chybu. Říkal sem si že to šlo moc jednoduše. To asi nepůjde opravit. Děkuji tedy za spolupráci.
Offline
↑ liamlim:
znovu zdravím všechny. možná by někdo chtěl v rámci procvičení hledání chyb v "důkazech" zkusit nějakou chybu v mém postupu najít... a kdyby někoho náhodu zajímalo, o jaké chybě už teď vím (neznamená že je jediná) pak je to:
Offline
Nedalo mi to, a vrátil jsem se k tomuto příkladu. Myslím si, že mám kompletní důkaz, že platí:
Neexistují žádná kladná celočíselná řešení rovnice
pro po dvou nesoudělná x,y,z
1) Není těžké se dostat k rovnosti
kterou musí každá trojice čísel splňujících rovnost
také splňovat.
2) Myslím si, že vím, jak ukázat, že jestliže x,y,z splňují rovnost v zadání, pak musí být každé z čísel
,
,
třetí mocninou. - tady si však nejsem úplně jistý, byl bych vděčný, kdyby se na to někdo podíval.
3) jestliže platí tvrzení (2) pak je jednoduché určit proč nemůže být pravá strana rovnosti třetí mocninou
závěrem: důkazy samotné nevypisuji, asi je stejně nikdo nečte. Byl bych každému vděčný, pokud by mi řekl jestli tvrzení 2 je správné. u tvrzení (1) jsem si jistý (snad...) že jsem chybu neudělal.
Offline
↑ liamlim:
Ahoj,
já bych si je přečtla, ty důkazy.
Třeba důkaz 2). A taky 3). Třeba bych i na něco pak přišla. Kdo ví...
Offline
ahoj, tak to sem napíšu, nevím jestli to mám dobře nebo špatně, třeba se to dozvím:
(2):
Budu upravovat rovnost
, ta jde jednoduchým rozkladem rozložit na
Vzhledem k tomu, že x,y jsou nesoudělné, platí, že čísla
a
jsou spolu soudělná pouze pro
snadno však zjistíme, že tento případ nemůže nastat, proto jsou
a
spolu nesoudělná. zároveň součin dvou navzájem nesoudělných čísel musí být třetí mocnina => jak
tak
jsou třetí mocniny.
podobným způsobem jsem dokázal, že
a tedy i
musejí být třetí mocniny.
(3):
jestliže platí rovnost
a současně platí bod (2), tedy
,
a
pro nějaká přirozená a,b,c (neboli každé z těchto čísel je třetí mocninou) pak můžeme psát:
nyní zaveďme substituci
a
pak platí:
důkaz, že tato rovnice nemá řešení je jednoduchý, můžeme například použít nekonečný sestup
Offline
↑ liamlim:
Díky.
1) a 3) jsou správně.
2) Tvrdíš:
liamlim napsal(a):
(2):
...Vzhledem k tomu, že x,y jsou nesoudělné, platí, že číslaa
jsou spolu soudělná pouze pro
...
Nerozumím, jak jsi ten výsledek - nesoudělnosti získal. Tak jsem (jak by to dělalo miminko) hledala protipříklad, až jsem našla:
x=5, y=7.
Pak x+y=12 což není 3.
Ale x^2+y^2-xy= 25+49-35 = 39, 3 dělí obě čísla.
Takže 2) je vyvráceno, že?
Offline
↑ Andrejka3:
máš pravdu, je to špatně, teď se dívám, je to asi tak, že největší společný dělitel čísel
a
může být jedině 1 nebo 3. jestli se nepletu, tak případ, kdy jsou tato čísla nesoudělná jsem již vyřešil v bodě (3) nebo se pletu?
takže bych se mohl podívat na případ, kdy nejvyšší společný dělitel je rovný 3. a když by se mi to náhodou povedlo, asi by to bylo hotovo ne?
jinak, moc děkuju za odpověď
Offline
liamlim napsal(a):
↑ Andrejka3:
... jestli se nepletu, tak případ, kdy jsou tato čísla nesoudělná jsem již vyřešil v bodě (3)...
Ano.
Proč nemůže být společným jmenovatelem těch dvou čísel něco jiného než tři nebo jedna? Používáš nějakou větu nebo je to zřejmé (mě ne :( )?
Offline
Takže otázka je, proč může být nejvyšší společný dělitel čísel
a
jen 1 nebo 3. Je to proto, že celou dobu počítám s tím, že
a
jsou nesoudělné.
(1)Součet dvou nesoudělných čísel je číslo, které je nesoudělné s každým ze sčítaných čísel. jinýmy slovy, jestliže
pro nesoudělná
pak je
nesoudělné s
i s 
důkaz (1) :
označíme
, pak se snažíme zjistit přípustné hodnoty nejvyššího společného dělitele čísel
a
. vzhledem k tomu, že jsme již zjistili, že je
nesoudělné s
(ve tvrzení (1)) pak můžeme stejně tak říct, že jestliže od čísla
(které samozřejmě dělí
) odečteme číslo, které je s
nesoudělné, pak nejvyšší společný dělitel těchto dvou čísel bude 1. - to sem původně považoval za jedinou možnost, ale zapomněl sem na možnost, že by
bylo dělitelné 3. v tom případě by platilo
a měli bychom dvě čísla:
a
jsou s
nesoudělné, takže je nejvyšší společný dělitel čśiel
a
pouze 3 Offline
↑ liamlim:
Díky. Přesvědčivé.
Offline
po delší době jsem zase dostal nápad na tento problém, tentokrát trochu jinak. Mějme nějaká
(kladná přirozená, po dvou nesoudělná) která splňují
které je větší jak 2 platí: Jestliže pro libovolná kladná reálná
platí:
pak existuje trojúhelník se stranami
Offline
↑ liamlim:
Platí to aj pre
.
Z rovnosti
platí
a
, tj.
a
. Preto sú splnené nerovnosti
,
. Ostáva dokázať, že potom
. To je ale ekvivalentné s
. A táto nerovnosť platí, ako ľahko pre prirodzené
nahliadneme z binomickej vety.
Malo by sa to dať ešte nejako zovšeobecniť možno až na reálne nenulové
...
Offline
Tak znovu píšu. tentokrát se mi zas eněco povedlo, nevím jestli to mám ale správně.
Tvrzení: Jestliže pro trojúhelník ABC s obvyklým značením stran a úhlů platí:
pro přirozené
pak platí:
. dokažte.
pozn.: tento příspěvek budu editovat a pokusím se napsat jak jsem k tomuto došel. Myslím si že to mám špatně, protože v goniometrii nejsem moc dobrý, ale právě proto to sem píšu. když by se někomu povedlo to vyvrátit ještě než příspěvek edituju, byl bych mu vděčný, protože ten postup se bude psát asi hůř
při vrcholu C, splňující:
pro
splňují také rovnost:
Offline
Můźete někdo zkusit dokázat nebo vyvrátit tvrzení:
Jestliže existuje pro prvočíselné
a přirozená
řešení rovnice
pak existuje také řešení rovnice
.
,
,
? takže už by to byla dvě řešení této rovnice.
. podobně jsem si analogicky odvodil
a
. To vše jsem dosadil do vztahu
. A potom po =upravach mi vyšlo přesně tvrzení, které jsem napsalOffline
↑ liamlim:
Tebou zmíněné řešení jsem nekontroloval, ale neříká nám Velká Fermatova věta, že pro
neexistují
splňující
? Z toho usuzuji, že takové prvočíslo
neexistuje.
Offline
↑ byk7:
jojo právě proto ale tuto úlohu řeším, velká fermatova věta mě zaujala, a řekl jsem si, že bych se rád trochu víc na ni podíval. já samozřejmě řeším tuto úlohu jako bych velkou fermatovu větu neznal. to řešení je špatně, a stejně si myslím, že mi bude na nic dokázat, že vždycky když má rovnice řešení pro
pak má řešení i pro
Samozřejmě jiné řešení než druhé mocniny kořenů pro 
Offline
Stránky: 1