Külső pontból húzott érintők
A kör érintője merőleges az érintési pontba húzott sugárra. Ha P külső pontból az E és F pontban érintjük az O középpontú kört, az OEP és OFP háromszög derékszögű. Átfogójuk közös OP, az OE és OF sugár egyenlő. Így a két háromszög egybevágó, és PE=PF. Az OP egyenes a két érintő által bezárt szöget is felezi.