No punkta novilkta riņķa līnijas pieskare
Svarīgi!
Ja riņķa līnijas rādiuss ir r, bet punkta attālums līdz riņķa līnijas centram ir l, un no punkta ir novilktas pieskares šai riņķa līnijai, tad pieskaršanās punktu veidotā nogriežņa (hordas) garums ir , bet šīs hordas attālums no centra - .
Pierādījums.
Pieņemsim, ka riņķa līnijai no punkta (kas ir ārpus riņķa līnijas) ir novilkta pieskare, kas pieskaras riņķa līnijai punktā. Apzīmēsim riņķa līnijas centru ar O un rādiusu ar r, kā arī punktu, no kura vilkta pieskare, ar P un pieskaršanās punktu ar M. Un attālumu starp O un P ar l.
Rādiuss OM ir perpendikulārs pieskares nogrieznim MP, tātad trijstūris OMP ir taisnleņķa trijstūris un jeb . No tā var izteikt nogriežņa MP garumu - .
Un tad var aprēķināt garumu:
Pēc tam :
Hordas garums ir vienāds ar divkāršotu garumu, bet tās attālums no centra - ar .
Ja riņķa līnijas centru novieto koordinātu sākumpunktā, bet punktu P uz Ox pozitīvā virziena, tad pieskaršanās punktu koordinātas ir un .