 \text{ Zostrojte } X∈p:∡(BX,p)=2×∡(AX,p)

1.  \; σ_p(B)=B'

2.   \; k=(B', r=B'A); A_{1,2}=p∩k

3.  \; o: B'∈o \; ∧ \; d(A,o)=d(A_1,o)

4.  \; X=o \; ∩ \; p

5. \; ∡AXA_1=∡BXB' ...  \text{ vrcholové }

6.  \; ∡AXA_1=2×∡AXY=2×∡BXA_2

P = (3, 2.5)
Q: (6.60303, y(P))
p = Line(P, Q)
A = (3.027889176813696, 3.3682939988603255)
B = (4.121264308045795, 2.8719151049267344)
B' = Mirror(B, p)
g = Line(B, B')
k = Circle(B', A)
A_1, A_2 = Intersect(k, p)
f = Segment(A_1, A)
h = LineBisector(f)
X = Intersect(p, h)
i = Segment(A, X)
j = Segment(X, B)
α = Angle(B, X, B')
β = Angle(A, X, A_1)