Per costruire il pentagono regolare inscritto in una circonferenza
Scegliamo il punto medio di un raggio, quindi la circonferenza di 
centro questo punto, D, e raggio DB, B intersezione della circonferenza
con il diametro perpendicolare al raggio AC. BE misura quanto il lato
del pentagono regolare. AE quanto quello del decagono regolare.

Mostra pentagono

Mostra decagono

A = (-0.59052133535041, 0.1724967502186123)
B = (-0.5774324749683732, 0.9251062221857242)
c = Circle(A, B)
a = Line(B, A)
b = OrthogonalLine(A, a)
C = Intersect(c, b, 2)
D = Midpoint(A, C)
d = Circle(D, B)
E = Intersect(d, b, 1)
e = Circle(B, E)
F, G = Intersect(e, c)
f = Circle(G, B)
g = Circle(F, B)
H = Intersect(c, f, 2)
I = Intersect(c, g, 2)
poly1, b_1, f_1, i, h, g_1 = Polygon(B, F, I, H, G)
J = Intersect(c, b, 1)
k = Segment(J, C)
K = Point(c)
j = Segment(B, K)
distanzaEA = Distance(E, A)
TestoEA: "\overline{" + (Name[E]) + (Name[A]) + "} \, = \, " + distanzaEA
p = Circle(B, distanzaEA)
L, M = Intersect(p, c)
q = Circle(G, M)
r = Circle(F, L)
N = Intersect(c, q, 2)
O = Intersect(c, r, 2)
poly2, b_2, l, f_2, o, i_1, k_1, h_1, n, g_2, m = Polygon(B, L, F, O, I, K, H, N, G, M)
s = false
t = false

Tool: Circocerchio
Clicca sul triangolo
Input: poly1
Output: p, T

A = (-1.9867180309718853, 3.399206189848298)
B = (-3.080683477006394, 1.9442321466224008)
C = (-0.6192612234287485, 1.9004735287810202)
poly1, c, a, b = Polygon(A, B, C)
j = LineBisector(a)
l = LineBisector(c)
T = Intersect(j, l)
p = Circle(T, B)

Tool: Circonferenza inscrita (command Circonferenzainscrita)
Clicca sui vertici del triangolo
Input: N, P, Q
Output: c_1, R

poly2, q_1, n_1, p_1 = Polygon(N, P, Q)
r = AngularBisector(N, Q, P)
s = AngularBisector(P, N, Q)
R = Intersect(r, s)
t = OrthogonalLine(R, p_1)
S = Intersect(t, p_1)
c_1 = Circle(R, S)

Tool: Ortocentro
Clicca sui vertici del triangolo
Input: E_1, F_1, G_1
Output: H_1

j_1 = Line(F_1, G_1)
l_1 = Line(G_1, E_1)
m_1 = OrthogonalLine(F_1, l_1)
n_1 = OrthogonalLine(E_1, j_1)
H_1 = Intersect(m_1, n_1)

Tool: Excerchi
Clicca su 3 rette che determinano un triangolo
Input: b, c, a
Output: p, E, D, F, q, r

d, e = AngularBisector(a, c)
f, g = AngularBisector(b, c)
h, i = AngularBisector(a, b)
D = Intersect(h, d)
E = Intersect(d, f)
F = Intersect(f, h)
j = OrthogonalLine(D, a)
k = OrthogonalLine(E, c)
l = OrthogonalLine(F, b)
G = Intersect(b, l)
H = Intersect(k, c)
I = Intersect(j, a)
p = Circle(E, H)
q = Circle(F, G)
r = Circle(D, I)