Oldalfelező merőleges fogalma
A síkon egy szakasz felezőmerőlegesének nevezzük azt az egyenest, amely a szakasz felezőpontjára illeszkedik és merőleges a szakaszra.

Tétel
A szakasz felezőmerőlegese a szakasz két végpontjától egyenlő távolságra elhelyezkedő pontok halmaza.
A háromszög köré írt kör és az oldalfelező merőlegesek kapcsolata
Tétel
A háromszög három oldalfelező merőlegese egy pontban metszi egymást. Ez a pont a háromszög köré írt körének középpontja.

Bizonyítás
Vegyük fel az
háromszöget.
Rajzoljuk be az
és az
oldal felezőmerőlegeseit. Legyenek ezek rendre
és
. Ezek az egyenesek biztosan metszik egymást, hiszen a háromszög oldalai nem párhuzamosak egymással. Jelöljük a metszéspontjukat
-val.
Mivel a
pont illeszkedik
-re, ezért a
pont egyenlő távolságra van
és
csúcsoktól.
Mivel a
pont illeszkedik
-re is, ezért a
pont egyenlő távolságra van
és
csúcsoktól is.

Tehát egyenlő távolságra van
és
csúcsoktól. Ez azt jelenti, hogy illeszkedik a
szakasz felezőmerőlegesére is.
Vagyis
KA = KB = KC.
Tehát az
,
és
pontok egyenlő távolságra vannak egymástól.
Ebből következik, hogy mindhárom pont illeszkedik egy
középpontú,
sugarú körre. Ez a háromszög köré írt köre.

A háromszög köré írt körének középpontja háromféleképpen helyezkedhet el a háromszöghöz képest:
1. eset: hegyesszögű háromszög esetén a háromszögön belül (mint a fenti ábrán is látható).
2. eset: derékszögű háromszög esetén az átló felezőpontjában

3. eset: tompaszögű háromszög esetén a háromszögön kívül.
