Podaire R

Podaire R'

A = (-0.6485842026825607, -0.38490223655556005)
B = (-0.6315520545028714, 1.7270841377258928)
C = (0.04973387268469505, 2.3572736203743907)
ab = Line(B, A)
bc = Line(B, C)
ac = Line(C, A)
a = Segment(B, C)
b = Segment(C, A)
c = Segment(B, A)
f = AngularBisector(B, C, A)
Z = Intersect(ab, f)
g = OrthogonalLine(C, f)
Z' = Intersect(ab, g)
d = Circle(Midpoint[Z', Z], Z')
i = AngularBisector(C, A, B)
h = AngularBisector(A, B, C)
j = OrthogonalLine(B, h)
k = OrthogonalLine(A, i)
X = Intersect(bc, i)
X' = Intersect(bc, k)
Y = Intersect(ac, h)
Y' = Intersect(ac, j)
e = Circle(Midpoint[X', X], X)
p = Circle(Midpoint[Y', Y], Y)
R, R' = Intersect(p, e)
l = Segment(A, X')
m = Segment(B, Y')
n = Segment(C, Z')
q = Ray(B, Y)
r = Ray(C, Z)
s = Ray(A, X)
P = Point(e)
t = OrthogonalLine(P, ab)
W = Intersect(t, ab)
f_1 = OrthogonalLine(P, ac)
V = Intersect(f_1, ac)
g_1 = OrthogonalLine(P, bc)
U = Intersect(bc, g_1)
t1, v, u, w = Polygon(U, W, V)
h_1 = Segment(P, W)
i_1 = Segment(P, V)
j_1 = Segment(P, U)
PP: P