indéterminé

constr

S

P = (-2.8979756309669686, -0.15372231521699598)
Q = (-5.345332903939915, 5.180966571937525)
R = (-2, 6)
R' = Rotate(P, 90°, R)
P' = Rotate(R, (-(90°)), P)
cc = Circle(Q, P, R)
X = Point(cc)
cc' = Circle(X, P', R')
QR = Segment(R, Q)
PQ = Segment(Q, P)
u = Vector(P, P')
Q' = Translate(Q, u)
Q'R' = Segment(R', Q')
P'Q' = Segment(Q', P')
P'R' = Segment(R', P')
PR = Segment(R, P)
RR' = Segment(R, R')
PP' = Segment(P, P')
α = Angle(Q, R, X)
O' = Center(cc')
O = Center(cc)
X' = Intersect(LineBisector[X, Q'], OrthogonalLine[Q', Line[Q', Rotate[X, (-α), Q']]])
J = Mirror(X, Line[O', X'])
ij = Line(X, J)
c = Circle(X', X)
q's' = Line(J, Q')
S' = Mirror(J, OrthogonalLine[O', q's'])
I = Mirror(X, OrthogonalLine[O, ij])
qs = Line(Q, I)
S = Translate(S', Vector[(-u)])
lieu1 = Locus(S, X)
RS = Segment(R, S)
PS = Segment(S, P)
R'S' = Segment(R', S')
P'S' = Segment(S', P')
qq' = Line(Q, Q')
J_0 = Mirror(Q, OrthogonalLine[O, qq'])
cc'_0 = Circle(J_0, R', P')
O'_0 = Center(cc'_0)
S'_0 = Mirror(J_0, OrthogonalLine[O'_0, qq'])
S_0 = Translate(S'_0, Vector[(-u)])
R'S'_0 = Segment(R', S'_0)
P'S'_0 = Segment(S'_0, P')
PS_0 = Segment(S_0, P)
RS_0 = Segment(R, S_0)
a = true
Q_m = Point(cc)
pq_m = Line(Q_m, P)
qr_m = Line(Q_m, R)
h = Line(Q_m, J_0)
S_m = Mirror(J_0, OrthogonalLine[O'_0, h])
rs_m = Line(S_m, R')
ps_m = Line(S_m, P')
P_m = Intersect(pq_m, ps_m)
R_m = Intersect(qr_m, rs_m)
QR_m = Segment(Q_m, R_m)
RS_m = Segment(R_m, S_m)
PS_m = Segment(S_m, P_m)
PQ_m = Segment(P_m, Q_m)
d = Circle(S_0, J_0, S_m)
Ω = Mirror(J_0, Line[O, Center[d]])
r = Segment(Ω, Q)
r_m = Segment(Ω, Q_m)
β = Angle(Q, Ω, Q_m)
k: r / r_m
A = Dilate(Rotate[P, (-β), Ω], k, Ω)
B = Dilate(Rotate[R, (-β), Ω], k, Ω)
C = Dilate(Rotate[R', (-β), Ω], k, Ω)
D = Dilate(Rotate[P', (-β), Ω], k, Ω)
f = Segment(A, B)
g = Segment(B, C)
j = Segment(D, A)
i = Segment(C, D)
b = false
pq = Line(P, Q)
l = Line(Q, R)
rs_0 = Line(R, S_0)
ps_0 = Line(S_0, P)
SS_0: S_0
XX: X