Bisectriz

YA + YB = YA + YB' > XA + XB' = XA + XB, ∀ Y ∈ bisectriz, Y ≠ X.

Tangente

Ángulos

A = Point(xAxis)
B = Point(xAxis)
C = Point(yAxis)
c = Ellipse(A, B, C)
X = Point(c)
a = Ray(A, X)
b = Ray(B, X)
d = Circle(X, B)
D, B' = Intersect(d, a)
E = Midpoint(B', B)
e = Line(E, X)
f = true
Y = Point(e)
g = Segment(Y, A)
h = Segment(Y, B')
i = Segment(Y, B)
j = false
α = Angle(Y, X, A)
β = Angle(B, X, E)
γ = Angle(E, X, B')
polígono1, b_1, a_1, F = Polygon(A, X, B)
G = Point(polígono1)
k = false