Intersezione degli assi dei lati di un triangolo

circocentro O

Proprietà: gli assi si incontrano in un
punto chiamato circocentro

cerchio circoscritto

Dimostrazione: AO e BO sono uguali perché
si trovano sull'asse di AB, BO e CO sono uguali 
perché si trovano sull'asse di BC quindi, per la 
proprietà transitiva dell'uguaglianza, AO è uguale
a CO. Questo significa che il punto O appartiene 
all'asse di AC, per la nota proprietà dell'asse di un 
segmento

Il circocentro è il centro del cerchio circoscritto al triangolo

A = (-1.82, -2.62)
B = (0.5, 3.4)
C = (4.88, 0.24)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, A)
d = LineBisector(a)
e = LineBisector(b)
D = Intersect(d, e)
f = LineBisector(c)
g = Segment(A, D)
h = Segment(B, D)
i = Segment(C, D)
k = Circle(D, B)