Matematické Fórum

Pozdravujem ↑ MichalAld:.

Prva metoda.
Mozeme toto riesenie rozdelit na tri etapy. 

A: staci vyriesit problem, pre  cele cisla x,y,z ktore su navzajom nesudelitelne.

B: uvazujme  (x,y,z) je riesenie, kde x,y,z su navzajom nesudelitelne, tak
a) x, y nemozu byt naraz parne
b) x,y nemozu byt naraz neparne
c) ak predpokladame, ze x je neparne a y parne, tak existuje 2 cele cisla nesudelitelne u a v take, ze x=u-v a y=u+v ktore su stvorce, alebo minus stvorce ( napr. 9 alebo -9 ).
Vyuzite to na urcenie riesenia (x,y,z) ( navzajom nesudelitelne) danej rovnice z #1, take, ze x neparne a y parne. 

C: vyuzite A a B  na urcenie vsetkych celych rieseni danej rovnice. 

A teraz treba vsetko, co je vyssie, podrobne dokazat.

Ahoj ↑ Honzc:,
Navrh riesenia da riesenie celeho problemu. 
Najprv ho ukoncim.
Potom mozes aj  ty dat komplrtne riesenie.

Tu teraz dam riesenie cadti B.

a) tu sa da urobit dokaz sporom. 
Predokladam, ze (x,y,z) je riesenie rovninice
Ak x a y su parne tak aj aj su parne a tak aj je parne a tak aj je parne. 
A to je spor, z prepokladom ze x,y, z du nesudelitelne. 

To dokazuje a). 

b) na pokracovanie…….

↑ Richard Tuček:
Ahoj, je ovšem potřeba dokázat, že tímto postupem sestrojíme všechna.

Pozdravujem ↑ MichalAld:,
Co pises, je dobra definicia .
To znamena ze tvoj zapis znamena, ze x ( x cele cislo) musi byt nasobok cisla k.  Priklad, [mathjax]x\equiv  0\;mod\;4[/mathjax], ktore vyhovuju su prvky mnoziny {…;-8;-4;0;4;8;…}.

A tak to pouzijem tento pojem na dokaz b) z #3. 
Stale  predpokladam, ze (x,y,z) je riesenie rovnice z ##1.
Ak x, y su neparne , tak cize [mathjax]x \equiv 1 \;mod\;2[/mathjax] a [mathjax]y \equiv 1 \;mod\;2[/mathjax] ,a tak [mathjax]x^2 \equiv 1 \;mod\;4[/mathjax] a tiez [mathjax]y^2 \equiv 1 \;mod\;4[/mathjax], co nam da [mathjax]z^2 \equiv 2 \;mod\;4[/mathjax] (*).
A tiez mame, akoze je parne tak aj je parne,  preto [mathjax]z^2 \equiv 0 \;mod\;4[/mathjax].  (**)
No vsak (*) a (**) su protikladne, cize taketo x,y,z nemozu byt riesenie rovnice z #1.
c) na pokracovanie

Ahoj ↑ MichalAld:,
Vyborne.
Ano aj to staci, v takejto situacii, aby si dokazal, ze take x, y ( x,y su tu neparne) nemozu byt riesenie rovnice z #1. 
(A vidis, nemusis to ani vyjadrit vdaka pojmu  modulo ….)

Cast dokazu c) napisem tu, dufam, dnes vecer.

Tak, teraz, dam tu dokaz  z #3 B c).

Ak x je neparne cele cislo a y parne tak z je neparne ( lebo [mathjax]z \equiv z^2 \equiv x^2+y^2 \equiv x+y\equiv 1[/mathjax] [mathjax](\;mod\;2)[/mathjax] ).
Akoze tu x a aj z su neparne tak z+x a aj z-x su parne; preto existuju dve cele cisla u,v take ze :
z+x=2u
z-x=2v
Cize
x=u-v
z=u+v .
u,v su nesudelitelne ( inac by prvocislo p by bol ich spolocny delitel, p by delilo [mathjax]y^2=z^2-x^2 [/mathjax] ako aj y …. co je absurdne).
Tiez mam [mathjax]y^2=z^2-x^2 = (u+v)^2-(u-v)^2=4uv[/mathjax]
co da, ze u aj v ( alebo -u a aj -v) su dokonale stvorce.
( podrobnejsie y =2y’ a preto [mathjax]y{\prime}^2=uv[/mathjax] vsak zakladnej vete aritmetiky (= Jednoznacny rozklad) a tomu, ze u,v su nesudelitelne).
To da, ze [mathjax](u,v)=(u^{*2},v^{*2})[/mathjax] alebo [mathjax](u,v)=(-u^{*2},-v^{*2})[/mathjax].

Zaver:

Z toho vypliva, ze ak (x,y,z) je jedno riesenie rovnice z #1 z x,y,z navzajom nesudelitelne a take, ze x je neparne a y parne,   tak existuju dve cele cisla , nesudelitelne take, ze [mathjax](x,y,z)=(u^{*2}-v^{*2},2u^*v^*,\pm (u^{*2}+v^{*2})) [/mathjax].

Druhe riesenie.
Tu budem hladat vsetki rationalne riesenia rovnice [mathjax]x^2+y^2=1[/mathjax] a na koniec dokazem, ze vdaka tomu sa da vyriesit rovnica z #1.

No, minimálně jsem zkoušel, že pro kružnici s racionálním poloměrem, tedy

[mathjax]x^2 + y^2 = r^2[/mathjax]

a přímku, která prochází racionálním bodem kružnice x0, y0 to platit bude, protože přímku [mathjax]ax+by+c=0[/mathjax] si můžeme vyjádřit i parametricky, tedy

[mathjax]x=x_0-bt[/mathjax]
[mathjax]y=y_0+at[/mathjax]

(a když bude racionální x0, y0 bude racionální i to c z rovnice přímky. Naopak to asi neplatí).

No a když to dosadíme do rovnice kružnice, dostaneme

[mathjax](x_0-bt)^2+(y_0+at)^2=r^2[/mathjax]

[mathjax]x_0^2 - 2bx_0t + b^2t^2 + y_0^2 + 2ay_0t + a^2t^2=r^2[/mathjax]

Na začátku jsme předpokládali, že jeden průsečík přímky s kružnici je racionální bod, což je ten x0, y0, takže pro něj platí, že

[mathjax]x_0^2 + y_0^2 =r^2[/mathjax]

Takže to nám z rovnice krásně vypadne, a zůstane jen

[mathjax] - 2bx_0t + b^2t^2 + 2ay_0t + a^2t^2=0[/mathjax]

Z čehož hned plyne, že jeden kořen je t=0, a zůstane už jen lineární rovnice

[mathjax]2ay_0 - 2bx_0 + (a^2+b^2)t=0[/mathjax]

takže druhé řešení (druhé t) musí být zase racionální, když jsou všechny koeficienty racionální. A tudíž i druhé řešení x1,y1 bude zase racionální.

Ale když na to koukám, tak ve výsledku nevystupuje to r, takže by nemělo záležet na tom, jestli je r racionální nebo né, pokud se nám podaří splnit to
[mathjax]x_0^2 + y_0^2 =r^2[/mathjax]
Tedy že stačí aby bylo racionální [mathjax]r^2[/mathjax]

Zkoušel jsem to ještě i přímo s obecnou rovnicí přímky ... a přijde mi to mnohem složitější, a kdybych nevěděl, co chci aby mi vyšlo, tak bych na to asi nepřišel.

Nicméně, máme kružnici [mathjax]x^2+y^2=r^2[/mathjax], přímku [mathjax]ax+by+c=0[/mathjax] a bod x0,y0, který náleží jak té kružnici tak přímce a zároveň má racionální souřadnice.

Potom tedy pro přímku musí platit, že [mathjax]ax_0+by_0+c=0[/mathjax], z čeho plyne, že [mathjax]c = -ax_0-by_0[/mathjax]. Pokud tedy budou a,b,x0,y0 racionální, bude racionální i c.

Teď tedy zkusíme najít ten druhý bod. Rovnici kružnice si trochu upravíme (protože už víme, co nás bude čekat...)

[mathjax]x^2+y^2=r^2[/mathjax]
[mathjax]b^2x^2+b^2y^2=b^2r^2[/mathjax]
[mathjax]b^2x^2+b^2y^2=b^2(x_0^2+y_0^2)[/mathjax]

rovnici přímky taky
[mathjax]ax+by+c=0[/mathjax]
[mathjax]ax+by-ax_0-by_0=0[/mathjax]
[mathjax]by=ax_0+by_0-ax[/mathjax]
[mathjax]by=by_0-a(x-x_0)[/mathjax]

Poslední úprava je klíčová ... protože až to dosadíme do rovnice kružnice, vznikne tam kupa členů ... a my víme, že x0 má být jeden z kořenů, takže výslednou rovnici by mělo být možné podělit tím kořenem (x-x0). Dále umocníme, ať to můžeme dosadit do kružnice...
[mathjax]b^2y^2=b^2y_0^2-2aby_0(x-x_0)+a^2(x-x_0)^2[/mathjax]

a po dosazení dostaneme:
[mathjax]b^2x^2 + b^2y_0^2-2aby_0(x-x_0)+a^2(x-x_0)^2=b^2x_0^2+b^2y_0^2[/mathjax]

člen [mathjax]b^2y_0^2[/mathjax] je na obou stranách rovnice, takže nám hezky vypadne, a člen [mathjax]b^2x_0^2[/mathjax] využijeme k vytvoření dalšího (x-x0):

[mathjax]b^2(x^2-x_0^2) + 2aby_0(x-x_0)+a^2(x-x_0)^2=0[/mathjax]

[mathjax]b^2(x+x_0) (x-x_0)+ 2aby_0(x-x_0)+a^2(x-x_0)^2=0[/mathjax]

Takto můžeme celou rovnici vykrátit tím kořenem (x-x0), který odpovídá prvním (známému) bodu, a zůstane nám lineární rovnice, která pokud bude mít racionální koeficienty nemůže vytvořit iracionální řešení (nemá tam žádnou odmocninu ani nic jiného, k výsledku se dobereme jen s využitím sčítání, násobení a dělení, což nám iracionální čísla nevytvoří).

Pozdravujem ↑ MichalAld:,
Pred tym, ako dam odpoved na #22, napisem ako predvidane v #18 mozne riesenie na otazky D) a E).

D) mozme predpokladat, [mathjax]z\ne 0[/mathjax],
a vtedy je jasne, ze [mathjax]x^2+y^2=z^2[/mathjax] su ekvivalentne [mathjax]({\frac xz})^2+({\frac yz})^2=1[/mathjax]

F a)

Rovnica kruznice je [mathjax](x-\alpha)^2+(y-\beta)^2=r^2[/mathjax] , kde   [mathjax]\alpha, \beta, r \in \Bbb Q[/mathjax]

Tak [mathjax]M(x,y) \in D^* \cap C^*[/mathjax] vtedy ak
[mathjax] (x-\alpha)^2+(y-\beta)^2=r^2 [/mathjax]
[mathjax]ax+by+ c=0[/mathjax].
Pre [mathjax]b \ne 0[/mathjax], ( pripad b=0, vam necham samym vyriesit) mame  [mathjax]y=- \frac abx-\frac cb[/mathjax]a x je rieseniec
[mathjax](x-\alpha)^2+(\frac abx+\frac cb +\beta)^2=r^2 [/mathjax],
cize
[mathjax](1+\frac {a^2}{b^2})x^2+2(\frac ab(\frac cb+\beta)-\alpha) x+\alpha ^2+(\frac cb +\beta)^2-r^2=0[/mathjax]
Na dokoncenie