Ein Weg mit "Rechnen", der nicht der von mir gesuchte "einfache" ist, aber immerhin das sicherlich richtig in meinem obigen Kommentar belegt, sieht etwa folgendermaßen aus :
(1) Aus dem Strahlensatz folgt wie schon erwähnt wegen b/v = a/(a-u), dass b = v·a/(a-u) ist.
(2) Die Funktion f mit f(x) = v·x/(x-u) hat die Ableitung f '(x) = (v·(x-u)-vx) / (x-u)^2 = -v·u/(x-u)^2
(3) Für x=a ergibt sich somit die Tangentensteigung im Punkt Q : mt = -vu/(a-u)^2 .
(4) Die Steigung der Geraden g ist mg = -b/a und wegen (1) also mg = -v/(a-u)
(5) Aus (1) folgt b·(a-u) = v·a also ab = va+ub und damit AΔ = a·b/2 = v/2·a + u/2·b
(6) A' (a) = v/2 + u/2·b'(a)
Nach all diesen Vorüberlegungen jetzt die eigentliche Äquivalenz, wobei die offensichtliche Existenz genau eines Minimums von A(a) für a≠0 benutzt wird :
A = Amin ⇔ A'(a) = 0 ⇔ (6) v = -u·b'(a) ⇔ (2) v = -u·(-vu)/(a-u)^2
⇔ (v≠0) 1 = u^2 / (a-u)^2 ⇔ (a≠0) 1 = u/(a-u) ⇔ -v/(a-u) = -uv/(a-u)^2
⇔ (4) , (3) mg = mt
Wer das sieht, versteht, warum ich nach einer kürzeren Variante suche, denn nur dann hat dieser Weg eine echte Daseinsberechtigung neben der Variante von Moliets.