Homotecia

V (0, 0)

F (0, 1/4)

1/4

P (X, Y)

Mediatriz de FD

Lado recto

F' (0, k/4)

X

Y

1/4

P' (kX, kY)

x

y

homotecia = false
k = 1.5 (slider from -5 to 5, step 0.05)
V = (0, 0)
F = (0, 0.25)
p: y(F)
p0 = Segment(F, V)
directriz = Line(2.0 * V - F, Vector[OrthogonalVector[Vector[F, V]]])
P = Point(parabola)
D: (x(P), -(0.25))
d = LineBisector(F, D)
N: (x(P), 0.0)
f = Segment(F, D)
M: N / 2.0
α = Angle(N, M, P)
β = Angle(V, F, M)
polígono1: {Polygon[F, M, V]}
recto = Segment(F - (0.5, 0.0), F + (0.5, 0.0))
F' = Dilate(F, k, V)
a = Segment(P, (0.0, y(P)))
b = Segment(P, (x(P), 0.0))
polígono2: {Polygon[M, N, P]}
c = Segment((x(P), 0.0), D)
γ = Angle(P, M, F)
P' = Dilate(P, k, V)
A = Point(parabola)
e = Segment(V, P')
g: y = x^(2.0) / k
a' = Segment(P', (0.0, y(P')))
b' = Segment(P', (x(P'), 0.0))
h = Tangent(P', g)
i = LineBisector(F, D)
B = Intersect(h, xAxis)
lista1: {Polygon[P', (x(P'), 0.0), B]}
δ = Angle(F, M, V)
C = (-0.8178426964003933, 0.09470313236056807)
j = OrthogonalLine(C, xAxis)
E = Point(j)
lista2: {Polygon[C, E, E - (20.0, 0.0), C - (20.0, 0.0)]}