Hätte man das Ganze eigentlich auch mit Vektoren beweisen können?
Ja - das geht sogar ziemlich 'straight forward'. D.h. es ist eine ziemliche Rechnerei, aber eben "nur" eine Rechnerei. Im Gegensatz zum 'geometrischen' Beweis - wie in der Antwort von hj2166, der eine gewisse Kreativität erfordert!
Ich nenne AB=a und AD=b. Der Vektor BN=τb mit τ∈R. Die Idee ist nun, sowohl den Vektor NM als auch PQ zu berechnen und dann zu zeigen, dass beide unabhängig von τ kollinear sind. Ich führe noch eine Funktion o (für orthogonal) ein, wobei o(x) der um 90° positiv gedrehte Vektor von x ist. Es gilt also b=o(a) und o(b)=−a.
Ich wähle den Punkt A als 'Ursprung'. Dann sind die Geraden g0 und g1 durch AN und AMg0 : x=s(a+τb),s∈Rg1 : x=t(a+τb+o(a+τb))=t(a(1−τ)+b(1+τ)),t∈RDamit berechne ich die Vektoren AN=n und AM=m. n ist offensichtlichn=a+τbund m ist der Schnittpunkt von g1 und g2 : x=b+raGleichsetzen gibtta(1−τ)+tb(1+τ)(t(1−τ)−r)a+(t(1+τ)−1)b=b+ra=0Da a und b linear unabhängig sind, müssen die Faktoren =0 sein. Aus dem Faktor vor b folgt direkttm(1+τ)−1=0⟹tm=1+τ1und damit der Vektor m:m=g1(tm)=1+τ1(a(1−τ)+b(1+τ))=a1+τ1−τ+bSomit ist der Vektor NM NM=m−n=a1+τ1−τ+b−a−τb=a1+τ−2τ+b(1−τ)Ist k ein beliebiger Vektor von A auf die Kreislinie und z=AZ, so ist (k−z)2=z2,z=21(a+b)k2−2kz+z2=z2k2=k(a+b)Den Kreis bringe ich mit g0 und g1 zum Schnitt, um die Vektoren AP=p und AQ=q zu bestimmen. Dazu setzt man für k die Gleichung der jeweiligen Gerade ein. Zunächst g0 für p:s2(a+τb)2s(a2+2τab+τ2b2)sa2(1+τ2)sp=s(a+τb)(a+b)=a2+ab(1+τ)+τb2=a2(+τ)=1+τ21+τDann g1 für q:t2(a(1−τ)+b(1+τ))2t(a(1−τ)+b(1+τ))2t(a2(1−τ)2+b2(1+τ)2)t(1+τ2)tq=t(a(1−τ)+b(1+τ))(a+b)=(a(1−τ)+b(1+τ))(a+b)=a2(1−τ)+b2(1+τ)=1=1+τ21Und nun die Differenz PQ:PQ=q−p=g1(tq)−g0(sp)=1+τ21(a(1−τ)+b(1+τ))−1+τ21+τ(a+τb)=1+τ21(a(1−τ)+b(1+τ)−(1+τ)(a+τb))=1+τ21(−2aτ+b(1−τ2))=1+τ21+τ(a1+τ−2τ+b(1−τ))=1+τ21+τNMq. e. d.