Il trapezio rettangolo ABNM è metà del trapezio isoscele circoscritto al cerchio di centro O e diametro AB (|AB| = 2*r) quindi, per la condizione di circoscrittibilità, dev'essere
* |MN| = |AM| + |BN| ≡ L = a + b
da cui
* L^2 = a^2 + b^2 + 2*a*b
---------------
Sui triangoli AOM e BON valgono le relazioni pitagoriche
* |OM|^2 = |AM|^2 + r^2 ≡ m^2 = a^2 + r^2
* |ON|^2 = |BN|^2 + r^2 ≡ n^2 = b^2 + r^2
da cui
* m^2 + n^2 = a^2 + b^2 + 2*r^2
---------------
Il triangolo MON è rettangolo in O (m^2 + n^2 = L^2) se e solo se a*b = r^2, cioè se r è medio proporzionale fra a e b.
A prima vista mi sembra un po' macchinoso e te lo lascio volentieri.
Poi magari mi viene il colpo d'occhio e te lo passo alla fine, ma non ci conto.
------------------------------
Misure in mm.
Dal sistema fra i dati (QUELLI VERI!) e la condizione di circoscrittibilità si ha
* (a/4 + 3*b/5 = 53) & (2*L/5 + (b - a)/3 = 60) & (L = a + b) ≡
≡ (a = 20) & (b = 80) & (L = 100)
da cui il perimetro
* p = 200 + 2*r
e, senz'aver dimostrato che
* m^2 + n^2 = a^2 + b^2 + 2*r^2 = L^2
r non si trova.
Se invece si può contare su
* a^2 + b^2 + 2*r^2 = L^2 ≡
≡ 20^2 + 80^2 + 2*r^2 = 100^2 ≡
≡ r = 40
tuto va ben, madama la marchesa!