$\textsf{\LARGE O}$

$\textsf{\LARGE I}$

$\textsf{\LARGE A}$

Suma

Llamaremos sA la cónica de semieje s y focos O (fijo) y A.
La suma de las cónicas sA y sB es la cónica s(A+B).

Producto

El producto de las cónicas sA y sB es la cónica s(A×B).
La cónica sI es el elemento neutro.

División

$\textsf{\LARGE B}$

Resta

La resta de las cónicas sA y sB es la cónica s(A-B)

$\textsf{\LARGE A−B}$

$\textsf{\LARGE A'}$

B−A

A⁻¹

La división de las cónicas sA y sB es la cónica s(A/B)

B/A

$\textsf{\LARGE A+B}$

$\textsf{\LARGE A×B}$

$\textsf{\LARGE A/B}$

El elemento neutro es la circunferencia de diámetro s (elipse degenerada sO).

El elemento opuesto de la cónica sA es la cónica sA'.

El elemento inverso de la cónica sA es la cónica sA⁻¹

$\textsf{\LARGE A⁻¹}$

Ecuación

(p,0)

Haciendo coincidir el origen de coordenadas con O y el punto (1,0) con I, al punto P 
le corresponderá (p,0), por lo que podemos representar la cónica sP con la ecuación:

\left(\frac{2x-p}{s}\right)^2-\frac{4y^2}{p^2-s^2}=1

s

s: 3
O: (-1.57, 1.72)
c = Circle(O, s)
I: (0, 1.5)
r = Line(O, I)
A = Point(r)
I' = Mirror(I, O)
op1 = true
op3 = false
op4 = false
B = Point(r)
op2 = false
AmenosB = OpResta(O, A, B)
A' = Mirror(A, O)
verBmenosA = false
BmenosA = OpSuma(O, B, A')
verBporA = false
e_1 = Semicircle(A', A)
k = Circle(O, I)
Ainv = Mirror(A, k)
verAinv = false
BentreA = OpDivisión(O, I, B, A)
verBentreA = false
AmásB = OpSuma(O, A, B)
AporB = OpProducto(O, I, A, B)
AentreB = OpDivisión(O, I, A, B)
C_1 = OpDivisión(O, I, I, A)
D = Point(c)
pp = Ellipse(O, A, s / 2)
q = Ellipse(O, B, s / 2)
s_1 = Ellipse(O, AmásB, s / 2)
j_1 = Ellipse(O, AmenosB, s / 2)
a = PathParameter(A)
f = Ellipse(O, AporB, s / 2)
g = Ellipse(O, AentreB, s / 2)
op5 = false
O_0: (-1.57, 1.72)
I_0: (0, 1.5)
P = Point(r)
anima = 0.4 (slider from 0 to 1)
d = Ellipse(O, P, s / 2)
p: x(P)
G = Point(c)
l = Segment(O, G)

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)