Α = Point(c)
Β, Γ = Intersect(c, yAxis)
a = Tangent(Α, c)
b = OrthogonalLine(Γ, a)
Δ = Intersect(b, a)
γτ1 = Locus(Δ, Α)