Εσωτερικά εφαπτόμενοι κύκλοι

Δίδεται κύκλος κέντρου $O$, ευθεία που δεν διέρχεται από το $O$ και σημείο $S$ μέσα στον κύκλο διαφορετικό από το $O$.

Να κατασκευαστεί κύκλος, διερχόμενος από το $S$ και να εφάπτεται του δεδομένου κύκλου και της δεδομένης ευθείας. Διερεύνηση.

Πηγή: mathematica