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,
přidávám následující úlohu, na kterou jsem narazil v průběhu minulého semestru.
(Jedná se o zápočtovou úlohu jednoho předmětu, ale tak vzhledem k tomu, že semestr už skončil, snad to neudělá příliš škody.)
Důvod, proč to dávám do zajímavých úloh, je, upřímně řečeno, ten, že mám na mysli zejména jedno řešení, které mi přijde poučné. Jsem ovšem zvědavý i na různá jiná řešení problému.
PS: jako bonus - jak "explicitně" tato řešení popsat?
Offline
pozdravujem ↑ OiBobik:,
Ide o zaujimave klasicke cvicenie.
ak dobre rozumiem 
Riesenie ktore poznam sa riesi pre neparne prvocisla 
a)
b) ![kopírovat do textarea $p \equiv 3 [4]$](/mathtex/3a/3aab0efc0b2345963fa4f94e1c1ba379.gif)
Tiez vyzaduje poznat vlasnosti stvorcov v
.
Ak ta to zaujima, mozem to podrobne rozvinut.
Offline

↑ vanok:
Zdravím,
ano, to značení chápeš správně. Pokud budeš ochoten to rozebrat, rád si to přečtu - je to pravděpodobně jiné řešení, než mám na mysli (moje vyžaduje prakticky jen znalost, kdy je -1 čtverec modulo p).
Offline
Dobre, to ti napisem zajtra ( aspon dufam)
-1 = stvorec, pouzivam tiez v pripade a).
Offline
Na riesenie pouzijem tieto tri fakty:(v celom rieseni predpokladam, ze
, pretoze pripad
je trivialny )
L1
Pre prvocisla
,![kopírovat do textarea $x^n \equiv 1 [p]$](/mathtex/22/2249dee57bf91c864b754443cace8d65.gif)
len a len vtedy
je stvorec.
L2
Prvocisla
,
je stvorec v
,
len a len vtedy ![kopírovat do textarea $(-1)^n \equiv 1 [4]$](/mathtex/d6/d6b4029cf377ffdd8565b2f03dbf3d85.gif)
a tiez
L3
Pre
;
existuje najmenej jedna dvojica
taka, ze
Ktore pouzijem v dokaze ( ak treba pochopitelne pridam aj ich dokaz)
Dana rovnica 
sa ekuivalentne pise
; 
Prva cast dokazu
a)![kopírovat do textarea $p \equiv 1 [4]$](/mathtex/a1/a14fbfe55c12629a5556c87e93fef04f.gif)
Offline

↑ vanok:
Pěkné využití odmocniny z -1. Jsem zvědavý na druhou část.
S L1 a L2 nemám problém, ale zajímal by mě důkaz L3 (alespoň náznak).
Offline
Tak najprv dokazem lemu L3
Offline
Druha cast dokazu.
b) ![kopírovat do textarea $p \equiv 3 [4]$](/mathtex/3a/3aab0efc0b2345963fa4f94e1c1ba379.gif)
Offline

↑ vanok:
Pěkné.
Nikde jsem si tam nevšiml, že by bylo zapotřebí lemmatu L3. Je to tak, nebo jsem něco přehlédl?
// EDIT: Tak toho jsem si skutečně nevšiml, díky.
Pro zajímavost přidávám svoje řešení:
Offline
↑ OiBobik:
Pouzil som explicite L3 na konstataciu, ze
. Pridam to do textu.
Offline
↑ OiBobik:,
Tvoj dokaz je tiez zaujimavy.
Co je fascinujuce v matematike?:je to, ze aj rozne cesty nas mozu doviest k rieseniu.
Akoze mas rad algebricke problemy, L2 moze byt pouzita na dokaz, ze
rovnica
nema riesenie v
(Lesbegue).
Iste jeho riesenie ti prinesie vela radosti.
Offline
Etapa n° 1
Mozme ukazat: pripadne riesenie rovnice v
, musi byt take, ze y je neparne.
Offline
Etapa n°2
mozes vyuzit, ze
a factorizivat vyraz z 
Etapa n°3
vdaka tvojmu dokazu v etape n°1, mozes polozit
a po sustitucii vysetrit polynom 2heho °,( z faktorizacie z etapy n°2) modulo 4,
Offline
↑ OiBobik:,
Vidim ze nemas vela casu. Tak tu davam riesenie.
Na ↑ vanok:, Na parnost, mozeme pracovat modulo 8.
Pre
, mame 
A
je 3 modulo4 à ma preto prvociselny delitel
ktory je tiez 3 modulo 4.
Naviac preto
....à da sa pouzit L2!!!
Offline
Stránky: 1