Théorème de Thébault
Author: Yvan Monka - m@ths et tiques 2005

A = (-0.5666666666666667, 0.2)
D = (5.566666666666666, -1.6333333333333333)
a = Line(A, D)
B = (3.033333333333333, 2.433333333333333)
b = Line(B, a)
c = Segment(A, B)
d = Line(D, c)
C = Intersect(d, b)
e = Segment(B, C)
f = Segment(A, D)
g = Segment(D, C)
E = Rotate(B, 90*°, A)
F = Rotate(A, 90*°, E)
G = Rotate(C, 90*°, B)
H = Rotate(B, 90*°, G)
I = Rotate(D, 90*°, C)
J = Rotate(C, 90*°, I)
K = Rotate(A, 90*°, D)
L = Rotate(D, 90*°, K)
P_1, a_1, c_1, f_1, e_1 = Polygon(A, B, F, E)
Q, c_2, g_1, h, d_1 = Polygon(B, G, H, C)
R, d_2, i, j, b_1 = Polygon(C, I, J, D)
S, a_2, b_2, k, l = Polygon(A, D, K, L)
m = Segment(F, A)
n = Segment(E, B)
p = Segment(B, H)
q = Segment(G, C)
r = Segment(C, J)
s = Segment(D, I)
t = Segment(D, L)
h_1 = Segment(K, A)
T, a_3, c_3, d_3, b_3 = Polygon(A, B, C, D)
M = Intersect(n, m)
N = Intersect(p, q)
O = Intersect(s, r)
P = Intersect(t, h_1)
V, m_1, n_1, o, u = Polygon(M, N, O, P)