or  le neuvieme de l'aire de ABCD est

conjecture

A = (3.16212970249226, 2.7393348565935685)
B = (13.814610196491396, 1.6012653183869994)
C = (5.956641122933288, -6.996277315035401)
D = (1.8208116057475878, -3.9456214642790743)
poly1, a, b, c, d = Polygon(A, B, C, D)
e = Circle(A, a / 3.0)
f = Circle(A, 2.0 * a / 3.0)
E = Intersect(e, a)
F = Intersect(f, a)
g = Circle(B, b / 3.0)
h = Circle(B, 2.0 * b / 3.0)
G = Intersect(g, b)
H = Intersect(h, b)
k = Circle(C, c / 3.0)
p = Circle(C, 2.0 * c / 3.0)
I = Intersect(k, c)
J = Intersect(p, c)
q = Circle(D, d / 3.0)
r = Circle(D, 2.0 * d / 3.0)
K = Intersect(q, d)
L = Intersect(r, d)
i = Segment(L, G)
j = Segment(E, J)
M = Intersect(i, j)
l = Segment(F, I)
N = Intersect(i, l)
m = Segment(K, H)
O = Intersect(m, l)
P = Intersect(m, j)
poly2, m_1, n, o, p_1 = Polygon(M, N, O, P)
s: poly1 / 9.0
t = Segment(A, C)
a_1 = Segment(M, O)
u: t / 3.0
b_1 = Segment(D, B)
c_1 = Segment(P, N)
Textepoly2: "Aire " + (Name[M]) + (Name[N]) + (Name[O]) + (Name[P]) + " = " + poly2
Textepoly1: "Aire " + (Name[A]) + (Name[B]) + (Name[C]) + (Name[D]) + " = " + poly1
neuvieme: poly1 / 9.0
texte2: neuvieme + ""
v = false