t

CQFD - 1ère Spé Math

O = Intersect(xAxis, yAxis)
c = Circle(O, 1)
t = 0.55 (slider from 0 to π / 2 + 0.001, step 0.05)
B, C = Intersect(c, xAxis)
P = Rotate(C, t, O)
α = Angle(C, O, P)
d = Circle(P, 1)
D, M = Intersect(d, xAxis)
e = Circle(M, 1)
N = Mirror(P, xAxis)
a = Segment(O, P)
b = Segment(O, N)
f = Segment(P, N)
g(x, y) = x^(2) + y^(2) > 1
h(x, y) = x^(2) + y^(2) < 1
i(x, y) = (x - x(M))^(2) + (y - y(M))^(2) < 1
j(x, y) = h(x, y) ∧ i(x, y)
k(x, y) = (x - x(M))^(2) + (y - y(M))^(2) > 1
l(x, y) = h(x, y) ∧ k(x, y)