Nous\;nous\;en\;alrons...de\;requin

\overrightarrow{OA}

\overrightarrow{OC}

B

H

A

O

C

M

J

I

\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;Conjecture:\
d'après\; sa\; trace, \;chacun\; des\; points \;I \;et\; J \
semble \;varier\; sur \;une \;partion\; d'un e\;parabole

k = 0.63 (slider from 0 to 1, step 0.01)
O = (0, 0)
A = (1, 0)
B = (1, 1)
C = (0, 1)
poly1, o, a, b, c = Polygon(O, A, B, C)
u = Vector(O, A)
v = Vector(O, C)
D = Midpoint(O, A)
E = Midpoint(O, C)
M: (0, k)
d = OrthogonalLine(M, a)
e = Segment(A, B)
H = Intersect(e, d)
f = Line(M, B)
g = Line(H, f)
h = Line(M, A)
I = Intersect(g, h)
i = Line(I, yAxis)
J = Intersect(f, i)
F = Point(f)
G = Point(f)
K = Point(g)
L = Point(g)
N = Point(h)
P = Point(h)
j = Segment(F, G)
l = Segment(K, L)
m = Segment(P, N)
Q = Point(i)
R = Point(i)
n = Segment(Q, R)