sommets

Surface

Côtés

l'autre

diags

A = (-0.1217819375651108, 5.074833602936715)
D = (-3.8230713156914087, -0.25741677854335343)
C = (-3.2057158197945297, -2.3546434769796303)
B = (7.588052768008436, 1.2058983688670708)
AD = Segment(A, D)
CD = Segment(D, C)
BC = Segment(C, B)
AB = Segment(B, A)
a = false
b = false
c = false
P = Midpoint(D, A)
M = Midpoint(A, B)
Q = Midpoint(B, C)
N = Midpoint(C, D)
PQ = Segment(P, Q)
MN = Segment(N, M)
G = Intersect(PQ, MN)
AC = Segment(A, C)
CP = Segment(P, C)
AN = Segment(A, N)
G_D = Intersect(CP, AN)
CM = Segment(C, M)
AQ = Segment(A, Q)
G_B = Intersect(CM, AQ)
gg'_{BD} = Line(G_D, G_B)
d = false
BD = Segment(D, B)
DQ = Segment(D, Q)
BN = Segment(N, B)
G_C = Intersect(DQ, BN)
BP = Segment(P, B)
DM = Segment(D, M)
G_A = Intersect(BP, DM)
gg'_{AC} = Line(G_A, G_C)
G' = Intersect(gg'_{BD}, gg'_{AC})
MP = Segment(P, M)
MQ = Segment(M, Q)
NQ = Segment(Q, N)
NP = Segment(P, N)
I = Intersect(MP, AngularBisector[P, A, M])
J = Intersect(NQ, AngularBisector[N, C, Q])
K = Intersect(MQ, AngularBisector[M, B, Q])
L = Intersect(NP, AngularBisector[N, D, P])
DL = Segment(D, L)
AI = Segment(A, I)
BK = Segment(K, B)
CJ = Segment(J, C)
α = Angle(P, A, I)
β = Angle(I, A, M)
G''_A = Mirror(I, Midpoint[M, P])
G''_B = Mirror(K, Midpoint[M, Q])
G''_C = Mirror(J, Midpoint[N, Q])
G''_D = Mirror(L, Midpoint[N, P])
GG''_{BD} = Segment(G''_D, G''_B)
GG''_{AC} = Segment(G''_A, G''_C)
G'' = Intersect(GG''_{BD}, GG''_{AC})
e = false
E = Midpoint(A, C)
F = Midpoint(D, B)
EF = Segment(E, F)