$\textsf{\LARGE D}$

XA + XB = Xr

$\textsf{\LARGE A}$

$\textsf{\LARGE B}$

XA + XB = XC

XA + XB = XC + XD

$\textsf{\LARGE r}$

XA + XB = XC

$\textsf{\LARGE C}$

Ec. algebraica

Ec. algebraica

XA + XB = XC + XD

XA + XB = Xr

Ec. algebraica

R2: (-3, 5)
R1: (-2, -1)
D: (-3, -1)
op3a = false
A: (-9, -0.5)
B: (-5.75, 3.5)
op1a = true
op2a = false
r = Line(R1, R2)
ec3a:=XA + XB = Xr
C: (-2, 2)
k = 7 (slider from m to 20, step 0.01)
c1a = Ellipse(A, B, k / 2)
m1: abs(A - B)
c1b = Circle(C, k)
ec1a:=XA + XB = XC
op1b = false
ec1b:=((4 * XA2) * XB2) = (XC2 - XA2 - XB2)^(2)
ec2a:=XA + XB = XC + XD
op2b = false
c2b = Ellipse(C, D, k / 2)
m2 = Max(abs(A - B), abs(C - D))
ec2b:=((((64 * XA2) * XB2) * XC2) * XD2) = (((4 * XA2) * XB2) + ((4 * XC2) * XD2) - (XC2 + XD2 - XA2 - XB2)^(2))^(2)
op3b = false
r1 = Translate(r, Vector[(k * UnitOrthogonalVector[r])])
r2 = Translate(r, Vector[((-k) * UnitOrthogonalVector[r])])
l3: {Intersect[c1a, r1], Intersect[c1a, r2]}
l1: {Intersect[c1a, c1b]}
ec3b:=((4 * XA2) * XB2) = (Xr2 - XA2 - XB2)^(2)
l2: {Intersect[c1a, c2b]}
m = If(op2a, m2, m1)

Tool: OpSuma
Elige O y luego dos puntos
Input: O, A, B
Output: O'

C = Midpoint(A, B)
O' = Mirror(O, C)

Tool: OpResta
Elige O, el primer punto y el segundo punto
Input: O, A, B
Output: O'

B' = Mirror(B, O)
C = Midpoint(A, B')
O' = Mirror(O, C)

Tool: OpProducto
Elige O e I, y luego dos puntos
Input: O, I, A, B
Output: E

I' = Mirror(I, O)
B' = Mirror(B, O)
c = Semicircle(I', I)
d = Semicircle(B', B)
f = Line(O, I)
g = OrthogonalLine(O, f)
C = Intersect(c, g, 1)
h = Line(C, A)
D = Intersect(d, g, 1)
i = Line(D, h)
E = Intersect(f, i)

Tool: OpDivisión
Elige O e I, y luego el primer punto y el segundo punto
Input: O, I, A, B
Output: E

f = Line(O, I)
g = OrthogonalLine(O, f)
I' = Mirror(I, O)
c = Semicircle(I', I)
Binv = Mirror(B, c)
Binv' = Mirror(Binv, O)
e = Semicircle(Binv', Binv)
F = Intersect(e, g, 1)
C = Intersect(c, g, 1)
h = Line(C, A)
i = Line(F, h)
E = Intersect(f, i)