0 Daumen
1,2k Aufrufe

Hallo, diese Aufgabe bereitet mir Probleme. Zunächst habe ich f Verkettet mit g berechnet. Hier erhalte ich auch noch t, also die Identität. Bei g verkettet mit f komme ich aber einfach nicht auf die Umformungen. Habe ich schon falsch angesetzt? Sieht irgendjemand den Fehler oder hat die Idee, die mir fehlt? Da ich mit (x,y) starte, muss dies auch am Ende das Ergebnis sein (in rot). Danke vorweg!

Aufgabe:

Ein Pythagoras-Tripel ist ein Tripel (a,b,c)N3 (a, b, c) \in \mathbb{N}^{3} natürlicher Zahlen mit a2+b2=c2 a^{2}+b^{2}=c^{2} . Es heißt primitiv, falls ggT(a,b,c)=1 \operatorname{gg} \mathrm{T}(a, b, c)=1 ist. Auf der Menge aller Pythagoras-Tripel wird folgende Äquivalenzrelation P \sim_{P} eingeführt:
(a,b,c)P(d,e,f)qQ>0mit(a,b,c)=(qd,qe,qf) (a, b, c) \sim_{P}(d, e, f) \Longleftrightarrow \exists q \in \mathbb{Q}_{>0} \operatorname{mit}(a, b, c)=(q d, q e, q f)
Man sieht leicht, dass es in jeder Äquivalenzklasse von Pythagoras-Tripeln genau ein primitives Pythagoras-Tripel gibt.
Folgende Abbildungen geben eine transparente Konstruktion aller (Äquivalenzklassen von ) ) Pythagoras-Tripeln.


{ Pythagoras-Tripel }/P1 : 1S1Q>021 : 1]0,1[Q>0, \{\text { Pythagoras-Tripel }\} / \sim_{P} \stackrel{1: 1}{\longrightarrow} \quad S^{1} \cap \mathbb{Q}_{>0}^{2} \quad \stackrel{1: 1}{\longleftrightarrow} \quad ] 0,1\left[\cap \mathbb{Q}>_{0}\right.,


[(a,b,c)](ac,bc)=(x,y)fy1+x [(a, b, c)] \quad \longmapsto \quad\left(\frac{a}{c}, \frac{b}{c}\right)=(x, y) \quad \stackrel{f}{\longmapsto} \quad \frac{y}{1+x}

[(v2u2,2uv,u2+v2)](v2u2u2+v2,2uvu2+v2)=(1t21+t2,2t1+t2)guv=t \left[\left(v^{2}-u^{2}, 2 u v, u^{2}+v^{2}\right)\right] \quad \longleftarrow\left(\frac{v^{2}-u^{2}}{u^{2}+v^{2}}, \frac{2 u v}{u^{2}+v^{2}}\right)=\left(\frac{1-t^{2}}{1+t^{2}}, \frac{2 t}{1+t^{2}}\right) \quad \stackrel{g}{\leftarrow} \quad \frac{u}{v}=t



Satz 15.10(c) 15.10(\mathrm{c}) sagt, dass man aus (u,v)N2 (u, v) \in \mathbb{N}^{2} mit u<v u<v und ggT(u,v)=1 \operatorname{gg} \mathrm{T}(u, v)=1 ein Pythagoras-Tripel (v2u2,2uv,u2+v2) \left(v^{2}-u^{2}, 2 u v, u^{2}+v^{2}\right) erhält, das entweder primitiv ist oder das nach Division durch 2 ein primitives Pythagoras-Tripel liefert. Nun sagt das Diagramm oben, dass man auf diese Weise jedes primitive Pythagoras-Tripel erhält.
(a) Rechnen Sie nach, dass fg= f \circ g= id und gf= g \circ f= id ist.

 09C0FF57-F642-4FDA-A794-9D2D96E21126.jpeg

Text erkannt:

Anl gabe 2
a) a)

Avatar von

Beachte, dass x2+y2=1 x^2+y^2 =1 . Die Punkte (x,y) liegen auf dem Einheitskreis.

1 Antwort

0 Daumen
 
Beste Antwort

Bei der 1. Komponente könntest du so weiterkommen:

(1+x)2y2(1+x)2+y2=1+2x+x2y21+2x+x2+y2\frac{(1+x)^2 - y^2 }{(1+x)^2 + y^2 }=\frac{1+2x+x^2 - y^2 }{1+2x+x^2 + y^2 }

und dann den Hinweis von EmNero verwenden, im Zähler die 1 durch x2 + y2

ersetzen und im Nenner umgekehrt

=x2+y2+2x+x2y21+2x+1=x2+2x+x22x+2=2x(x+1)2(x+1)=x=\frac{x^2 + y^2 +2x+x^2 - y^2 }{1+2x+1 }=\frac{x^2 +2x+x^2 }{2x+2 }=\frac{2x(x+1) }{2(x+1) }=x

und bei der 2. Komponente

2y(1+x)(1+x)2+y2=y(2+2x)2x+2=y\frac{2y(1+x) }{(1+x)^2 + y^2 }=\frac{y(2+2x) }{2x+2 }= y

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage