O: (0, 0)
I: (1, 0)
J: (0, 1)
c = CircleArc(O, I, J)
f = Segment(J, O)
g = Segment(O, I)
X_1 = 0.7330382858376184 rad (slider from 0 to 90°, step 0.1°)
M: (cos(X_1), sin(X_1))
H: (cos(X_1), 0)
AireOHM, m, o, h = Polygon(O, H, M)
AireIMH, i, m_1, h_1 = Polygon(M, H, I)
j = Segment(O, H)
k = Segment(H, I)
l = Segment(I, M)
n = Segment(M, H)
p = Segment(M, O)
texte1 = LaTeX(AireOHM, true, true)
texte2 = LaTeX(AireIMH, true, true)
X = Angle(I, O, M)