Definiere u,v ∈ ℕ durch u := ggT(a,c) sowie v := ggT(b,d). Es existieren x,y ∈ ℕ mit a = u·x sowie c = u·y. Es gilt a·v·x = a·ggT(b,d)·x = ggT(a·b,a·d)·x = ggT(c·d,a·d)·x = d·ggT(c,a)·x = d·u·x = d·a. Daraus folgt d = v·x. Außerdem gilt v·y = (d/x)·(c/u) = (c·d)/(u·x) = a·b/a = b. Weiter gilt (u2 + v2)·(x2 + y2) = u2·x2 + u2·y2 + v2·x2 + v2·y2 = a2 + c2 + d2 + b2. Daraus folgt die Behauptung.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos