A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Legyen a rögzített kör sugara a hosszúságegység, középpontja a koordináta-rendszer origója, a másik kör centruma a pont és sugara . A követelményekre tekintettel és .
Ekkor a belső közös érintők egyikének irányszögére ‐ az irány ismert szerkesztési elve szerint ‐ | | Ebből a kérdéses érintési pontnak -től való távolsága | | Ez nem negatív, ezért elég megkeresnünk maximumát: Keressük, hol tűnik el a deriváltja. Ez, mindjárt átrendezés után: Az első tényező révén mellett teljesül ez, de mi nem ezt keressük, hiszen itt . A nagy zárójelbeli másodfokú polinomnak két különböző zérushelye van: , -ben, hiszen , előjelük különböző; legyen . Így nincs benne értelmezési tartományában, viszont benne van, mert a tartomány jobb végpontjában, -ben már pozitív a polinom értéke: (és mert a másodfokú tag együtthatója pozitív). Az helyen növekedve halad át a polinom, tehát a derivált csökkenően. Eszerint ott -nek maximuma van, és vele együtt -nek is. Ezzel a feladatot megoldottuk. |