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

A = (4.3, 3.1666666666666665)
B = (9.066666666666666, 3.5)
C = (10.566666666666666, -3.3666666666666667)
D = (3.966666666666667, -1.2666666666666666)
P_1, a, b, c, d = Polygon(A, B, C, D)
E = Rotate(B, 90*°, A)
F = Rotate(A, 90*°, E)
G = Rotate(A, 90*°, D)
H = Rotate(D, 90*°, G)
I = Rotate(C, 90*°, B)
J = Rotate(B, 90*°, I)
K = Rotate(D, 90*°, C)
L = Rotate(C, 90*°, K)
Q, h, a_1, d_1, g = Polygon(H, A, D, G)
R, a_2, e, f, b_1 = Polygon(A, E, F, B)
S, b_2, i, j, c_1 = Polygon(B, I, J, C)
T, c_2, d_2, l, k = Polygon(C, D, L, K)
m = Segment(A, F)
n = Segment(B, E)
p = Segment(B, J)
q = Segment(C, I)
r = Segment(C, L)
s = Segment(D, K)
t = Segment(D, H)
e_1 = Segment(G, A)
U, d_3, a_3, b_3, c_3 = Polygon(D, A, B, C)
P = Intersect(t, e_1)
M = Intersect(n, m)
N = Intersect(p, q)
O = Intersect(r, s)
f_1 = Segment(P, N)
g_1 = Segment(M, O)
V = Intersect(g_1, f_1)
α = Angle(M, V, P)