1. \text{ Kruhová inverzia } \mathscr{K}: \;  ω=(B, r=\left| BA \right| )

$\math k_p$

2.  \; \mathscr{K}(p)=k_p(B, r=BP)

3. \text{ Dotyčnice z }A: t_1=AT_1, t_2=AT_2

4.  \; \mathscr{K}(T_1)=T_1'

5.  \; \mathscr{K}(T_2)=T_2'

6.  \; \mathscr{K}(t_1)=c

7.  \; \mathscr{K}(t_2)=d

A = (5.417560363414049, 4.617858837590303)
B = (4.993846849531022, 3.5273174985798867)
C = (2.4619027548010752, 2.4725051517863195)
D = (7.329185070360904, 2.8136649097285944)
p = Line(C, D)
ω = Circle(B, A)
k_p = Mirror(p, ω)
P = Intersect(ω, k_p, 2)
Q = Intersect(ω, k_p, 1)
t_2, t_1 = Tangent(A, k_p)
T_2 = Intersect(k_p, t_2)
T_1 = Intersect(k_p, t_1)
f = Ray(B, T_1)
T_1' = Mirror(T_1, ω)
T_2' = Mirror(T_2, ω)
g = Ray(B, T_2)
c = Mirror(t_1, ω)
d = Mirror(t_2, ω)