Πολύ ενδιαφέρουσα η προέκταση του Ροδόλφου. Ευχαριστούμε!

- Geom 02.png (4.48 KiB) Προβλήθηκε 1040 φορές
Φέρνουμε ΟΚ // ΑΑ΄, οπότε ΟΚ = ΑΑ΄.
Από Πυθ. Θεώρημα στο ΚΟΟ΄ είναι: ΟΚ² = (R + R΄)² - (R΄ - R)² = ... 4RR΄,
οπότε ΟΚ =

.
Τότε, από τριγ. ανισότητα ΟΟ΄ > ΟΚ =>

.
Από την παραπάνω σχέση είναι:

.
Φέρνουμε την κοινή εξωτερική εφαπτομένη των δύο κύκλων στο S΄ που τέμνει την ΑΑ΄ στο Μ. Τότε ΜS΄ = ΑΜ = Α΄Μ = OK/2.
Όμως, ΜS΄ > S΄Η =>

.
Δίχως να χαλά η γενικότητα υπέθεσα R΄ > R. (Η περίπτωση ισότητας είναι τετριμμένη).
Άλλη λύση: Παρατηρούμε ότι το ΑS΄Α΄ είναι ορθογώνιο, εφόσον ΜS΄ = ΑΜ = Α΄Μ και S΄Η ύψος στην υποτείνουσα. Μετρικές σχέσεις κ.ο.κ. ...
Γιώργος Ρίζος