Jetzt muss ich nur noch nachvollziehen, wieso deine Konstruktion richtig ist.
sollte recht einfach sein, wenn man das ganze in ein Koordinatensystem einbringt - z.B. mit A=(−0,5∣0) und B=(0,5∣0) - und dann den Schnittpunkt der roten Geraden berechnet.
Mir ist aber noch ein einfacher Beweis eingefallen, der sich auf der Konstruktion von Kurt Hofstetter abstützt. Hofstetter hat einen Beweis im Forum Geometricorum veröffentlich, der sich auf einen älteren Beweis von 2004 beruft.
In der unten stehenden Skizze kann man also voraussetzen, dass H die Strecke AB im Verhältnis Φ÷1 teilt. Bzw. ∣AH∣∣AB∣=Φ
Man betrachte nun das Dreieck △ADQ. Offensichtlich ist hier DQ parallel zur Geraden durch AB und ∣DQ∣=∣AB∣ (Die Punkte D, Q, B und P sind 4 von 6 Ecken eines regelmäßigen Sechsecks). Die beiden Dreiecke △AHS und △DQS sind ähnlich. Folglich ist∣AS∣∣DS∣=∣AH∣∣DQ∣=Φund weiter gilt∣DS∣=(∣DA∣=∣AB∣)+∣AS∣⟹∣AS∣∣AB∣+∣AS∣∣AS∣∣AB∣=Φ=Φ−1=Φ1q.e.d.Gruß Werner