A kör és részei, érintők tulajdonságai
Alapfogalmak: Adott ponttól (középponttól) a síkban egyenlő, adott $r > 0$ távolságra lévő pontok halmazát körvonalnak nevezzük. A kört és a belső pontjait együttesen körlapnak hívjuk.[cite: 65, 183]
- Húr: A körvonal két pontját összekötő szakasz. A leghosszabb húr az átmérő ($d = 2r$), amely átmegy a középponton.
- Szelő: Olyan egyenes, amelynek két közös pontja van a körvonallal.
- Érintő: Olyan egyenes, amelynek pontosan egy közös pontja van a körvonallal (az érintési pont).[cite: 65]
- Körív és Körcikk: Két pont a körvonalat két körívre bontja. A két sugár és az általuk közbezárt körív által határolt síkidom a körcikk.
1. Állítás: A kör érintője merőleges az érintési pontba húzott sugárra.[cite: 65]
2. Állítás: Egy külső $P$ pontból a körhöz húzott két érintőszakasz hossza egyenlő ($PA = PB$).[cite: 65]
Bizonyítás (2. állítás): Legyen a kör középpontja $O$, az érintési pontok $A$ és $B$. Tekintsük a $PAO$ és $PBO$ derékszögű háromszögeket (az 1. állítás miatt az $A$ és $B$ csúcsoknál derékszög van). Ezekben a háromszögekben az átfogó ($PO$) közös, és az egyik befogó a kör sugara ($OA = OB = r$). A derékszögű háromszögek egybevágóságának alapesete (átfogó és egy befogó egyenlő) miatt $\triangle PAO \cong \triangle PBO$. Ebből következik, hogy a megfelelő oldalak, így az érintőszakaszok is egyenlőek: $PA = PB$. Q.E.D.[cite: 65, 168]