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
Cvicenie 4)
Pre ake prirodzene n, je [mathjax]2^n+ 12^n+ 2014^n [/mathjax] druha mocnina celeho cisla.
c
Hint 2: mozte zacat studovat dany vyraz mod 3 a potom……
Offline
↑ MichalAld:
Pozdravujem,
Tu https://en.wikipedia.org/wiki/Chinese_remainder_theorem sa mozes o tom poucit.
A zajtra dam na tu temu jedno cvicenie.
Offline
↑ vanok:
No, 12^n mod 3 je vždy 0, a 2014^n mod 3 je vždy jedna.
2^n mod 3 je 1 pro sudé n a 2 pro liché n.
x^2 mod 3 je buď 0 nebo 1.
Takže pro sudé n to nemůžeme splnit nikdy, pro liché n to vyloučit nejde.
Dál jsem se zatím nedostal...
Offline
↑ MichalAld:
Pozdravujem,
Pomalicky zacinas byt expert na taketo ulohy.
Vysetritl si dokonale dany vyraz mod 3.
Tiez si konstatoval, ze stvorec mod 3 nie je nikdy 2.
A tak ako pises, staci sa zaujimat iba o neparne cislo.
Hint 2:
No tat vyuzi to na vysetrenie daneho vyrazu mod 7.
Dobre pokracovanie.
Offline
No mě teda vychází, že x^2 mod 7 může vyjít 0, 1, 2, 4, to je asi jasné.
A ten původní výraz mi vychází, že mod 7 může vyjít jen 3, 5 nebo 6, takže by to nemělo mít řešení.
Ale nevím, jestli to mám dobře, to 2014 jsem rozložil na 2x19x53 a využil toho, že (doufám, že to platí)
(a x b x c) mod 7 = (a mod 7 x b mod 7 x c mod 7) mod 7.
Offline
↑ MichalAld:
Pozdravujem,
V tomto vlakne predpokladam, ze vlasnosti struktur ( ako [mathjax]\mathbb{Z}_N[/mathjax] ) tykajuce sa teorie cisiel su dobre zname.
Tak dany vyraz sa da napisat Mod 7, takto [mathjax]2^n+(-2)^n+ 5^n[/mathjax] a mame
[mathjax]2^n+(-2)^n+ 5^n\equiv 5^n [/mathjax] (mod 7).
Vdaka tomu sa potom da lepsie komunikovat.
A pochopitelne, vlasnosti, ktore si pouzil su platne, i ked si ich nemusel pouzit….
Offline
↑ MichalAld:
To je iba pouzitie definicie:
[mathjax]12\equiv 5\equiv -2[/mathjax] Mod 7
[mathjax]2014\equiv 5\[/mathjax] Mod 7. ( delis cislom 7 a napises zvysok ktory je 5 )
Offline
↑ MichalAld:
Pozdravujem,
Ako si navrhol v #28 a po precitani odhazu v #29 skus vyriesit
Cvicenie 5)
Vyrieste v [mathjax]\mathbb{Z}[/mathjax] tento system
[mathjax]3x\equiv 1[/mathjax] (mod 5)
[mathjax]5x \equiv 2[/mathjax] (mod 7)
Offline
3x + 5ax = 1 (mod 5)
5x + 7bx = 2 (mod 7)
3 + 5a = 5 + 7b
a = (2 + 7b)/5 => b=4, a = 6
3x + 30x = 1 (mod 5)
5x + 28x = 2 (mod 7)
33x = 1 (mod 5)
33x = 2 (mod 7)
y = 1 (mod 5)
y = 2 (mod 7)
podle té čínské věty o zbytcích by mělo být y v rozsahu 0-35. Nevím, jestli to lze nějak elegantně najít, ale první rovnici splňují čísla 1, 6, 11, 16, 21, 26, 31
a druhou z toho splňuje číslo 16. Takže řešení je y=16 (mod 35)
Musíme najít takové y = N*35 + 16 aby šel dělit 33, to bude trochu problém...
Já vlastně nevím, jak se tohle dá elegantně řešit, ta rovnice typu
35n + 16 = 0 (mod 33)
2n + 16 = 0 (mod 33)
2n = 17 (mod 33)
n = 25
pak ted = 25*35+16 = 891
x = y/33 = 27
Řešení původní rovnice je tedy x=27, ale předpokládám, že to jde i nějak elegantněji.
Offline
[mathjax]3x\equiv 1[/mathjax]↑ MichalAld:
Pozdravujem,
Tvoja metoda funguje a nasiel si riesenie.
Inac, mohol si konstatovat, ze
[mathjax]\mathbb{Z}_5[/mathjax] a [mathjax]\mathbb{Z}_7[/mathjax] su telesa.
V prvom inverze prvku 3 je 2 a v druhom inverze prvku 5 je 3.
[mathjax]x\equiv 2[/mathjax] (mod 5)
[mathjax]x\equiv 6[/mathjax] (mod 7). (Tu som vynasobil prvu rovnicu z #37 prvkom 2 a druhu prvkom 3).
Co nam da riesenie x=2x7x3+ 6x5x3=132[mathjax]\equiv 27[/mathjax](mod 35)
( vysvetlenie najdes v citani co som ti doporucil v prispevku #30).
Offline
↑ vanok:
Ještě se na to podívám, neboj. Je to pro mě nové, takže nemám žádný nadhled, jak by se k tomu mělo přistupovat.
Existuje mmch nějaký jednoduchý způsob jak řešit rovnici typu
[mathjax]5x + 7 = 3y[/mathjax]
což teda předpokládám odpovídá
[mathjax]5x + 7 \equiv 0 (mod 3)[/mathjax]
Offline
↑ MichalAld:
Pozdravujem,
Mala myslienka ktoru iste dokazes vyuzit.
5x1+3x0=5 (1)
5x0+3x1=3 (2)
(x pisem pre nasobenie)
Chcem nast a, b pre 5xa+3xb=1 , co je Bézout-ova relacia, o vyjadruje ze 5 a 3 su nesudelitelne )
2(1)-3(2)
Da 5x2 - 3x3 = 5x2-3x3=1
(Poviies iste ze som to uhadol….no tu operaciu mozes organizovat tak ze vyuzijes Euclid-ov algoritmis na delenie…. )
Offline
↑ MichalAld:
Existuje. Obecne se dost hodi znat Eukliduv algoritmus (rozsireny). Priklad:
83 1 0
47 0 1
36 1 -1
11 -1 2
3 4 -7
2 -13 23
1 17 -30
z cehoz plyne, ze 17*83 - 30*47 = 1. Na zbytek prijdes sam.
Edit: pozde, ale priklad s dovolenim necham
Offline
↑ MichalAld:
Pozdravujem,
K cviceniam ako cvicenie 5) sa vratim neskor.
Teraz mozes skusit
cvucenie 6)
Ma tato diofanticka rovnica [mathjax]19^{19}=x^3+y^4[/mathjax] riesenie ?
Offline
Pozdravujem.
Hint na cvicenie 6)
Mozte pouzit take p, (prvocislo), ze [mathjax]p\equiv 1 , ( mod 3)[/mathjax] a [mathjax]p\equiv 1 , ( mod 4)[/mathjax]
Offline
Offline
↑ MichalAld:
Ahoj, záleží mod co. Ale pomůže třeba Malá Fermatova věta nebo její zobecnění - Eulerova věta.
Offline
↑ MichalAld:
Pozdravujem,
Mozes zacat napriklad takto [mathjax]19^{19}\equiv 6^{12}6^7 …(mod 13)[/mathjax]
Offline
↑ MichalAld:
Pozdravujem,
Uz si ukoncil ↑ vanok: ?
Mozme pokracovat?
Offline