File: focoscasigeneral.

dfw

Date: 14/12/01

Time: 11:12:10

Tratamos de calcular los focos de una cnica en forma general. El foco es un punto
tal que para cada recta que pasa por l, la direccin conjugada de la direccin de
esta recta respecto de la cnica es la direccin perpendicular a la de la recta.
Ensayamos con una cnica general ax^2+bxy+cx+dy^2+ey+f=0. (Veremos luego que
la hemos de simplificar para que DERIVE haga los clculos).
Introducimos algunas funciones que nos sern tiles
#1:

2
POLARPUNTO(u, v, a, b, c, d, e, f) := [u, v], ax + bxy + cx +
dy

+ ey + f = 0, x(2au + bv + c) + y(bu + 2dv + e) +

cu + ev + 2f = 0

#2:

2
POLORECTA(m, n, p, a, b, c, d, e, f) := mx + ny + p = 0, ax +

bxy + cx + dy

2
+ ey + f = 0,

2
b(ep - 2fn) + c(en - 2dp) + m(4df - e )
,
2
2a(2dp - en) - b p + b(cn + em) - 2cdm

2a(ep - 2fn) + b(2fm - cp) + c(cn - em)

2a(2dp - en) - b p + b(cn + em) - 2cdm

Dado el punto (u,v) y la recta que pasa por l de pendiente t

#3:

(y - v) - t(x - u) = 0

#4:

- tx + y + tu - v = 0

el polo de esta recta es

#5:

POLORECTA(-t, 1, tu - v, a, b, c, d, e, f)

#6:

2
b(e(tu - v) - 2f) + c(e - 2d(tu - v)) - t(4df - e )
,
2
2a(2d(tu - v) - e) + b (v - tu) + b(c - et) + 2cdt

Page: 1

File: focoscasigeneral.dfw

Date: 14/12/01

Time: 11:12:10

2a(e(tu - v) - 2f) - b(c(tu - v) + 2ft) + c(c + et)

2a(2d(tu - v) - e) + b (v - tu) + b(c - et) + 2cdt

Unimos este punto al (u,v) y obtenemos la recta conjugada de la anterior

#7:

RECTAPORDOSPUNTOSV(u, v) := x(u - v ) + y(v - u ) + u v - u v = 0

2
2
1
1
1 2
2 1

#8:

RECTAPORDOSPUNTOS(a, b, c, d) := x(b - d) + y(c - a) + ad - bc = 0

#9:

2
2
2
~
b (e(tu - v) - 2f)(tu - v) - b(2c(d(tu - v) - f) + t(4df - e )(tu ~
x~

2
~

(2d(tu - v) - e)(2a(2d(tu - v) - e) + b (v - tu~

2

- v)) + c(c(2d(tu - v) - e) + t(4df - e ))

e(tu - v) - 2f

+ + v +
2d(tu - v) - e

) + b(c - et) + 2cdt)

b(e(tu - v) - 2f) + c(e - 2d(tu - v)) - t(4df - e )

y - u
2

2a(2d(tu - v) - e) + b (v - tu) + b(c - et) + 2cdt

2 ~
2au(e(tu - v) - 2f) - b(cu(tu - v) + ev(v - tu) + 2f(tu + v)) + c u~
~
2
~
2a(2d(tu - v) - e) + b (v - tu) + b(c~
2
+ c(e(tu + v) - 2dv(tu - v)) - tv(4df - e )
= 0
- et) + 2cdt

La pendiente de esta recta conjugada es

#10:

2
~
2a(2dv(tu - v) + e(tu - 2v) - 2f) + b v(v - tu) - b(c(tu - 2v) + t(e~
~
2
~
2au(2d(tu - v) - e) + b u(v - tu) + b(cu + e(v - 2tu) + 2f) + c(2d~
v + 2f)) + c(c + t(2dv + e))

2
(2tu - v) - e) + t(4df - e )

Expresamos que las dos son perpendiculares para todo t, es decir

#11:

2
~
2a(2dv(tu - v) + e(tu - 2v) - 2f) + b v(v - tu) - b(c(tu - 2v) + t(e~
~
2
~
2au(2d(tu - v) - e) + b u(v - tu) + b(cu + e(v - 2tu) + 2f) + c(2d~
v + 2f)) + c(c + t(2dv + e))
1
+ = 0
2
t
(2tu - v) - e) + t(4df - e )

Page: 2

File: focoscasigeneral.dfw

#12:

Date: 14/12/01

Time: 11:12:10

2
2
2
t (2au(2dv + e) - b uv - b(cu + ev + 2f) + c(2dv + e)) + t(4a(d(u 2
2
2
2
2
2
v ) - ev - f) + b (v - u ) + 2b(cv - eu) + c + 4cdu + 4df - e ) 2
2au(2dv + e) + b uv + b(cu + ev + 2f) - c(2dv + e) = 0

Para que esto tenga lugar ha de ser

#13:

2
2au(2dv + e) - b uv - b(cu + ev + 2f) + c(2dv + e) = 0

#14:

2
2
2
2
2
2
4a(d(u - v ) - ev - f) + b (v - u ) + 2b(cv - eu) + c + 4cdu + 4df 2
e = 0

#15:

2
- 2au(2dv + e) + b uv + b(cu + ev + 2f) - c(2dv + e) = 0

Son tres ecuaciones, pero la tercera es igual que la primera. Las dos primeras son
las que dan los focos. Tratamos de resolverla, pero a DERIVE parece costarle
hacerlo
2f(b + eu)
v = -
2
b u + be + 4dfu

#16:

Se lo hacemos ms simple imponiendo que la cnica pase por (-1,0) y por (1,0)
#17:

2
2
ax + bxy + cx + dy + ey + f = 0

#18:

a - c + f = 0

#19:

a + c + f = 0

#20:

[a = -f c = 0]

Ahora DERIVE puede con la ecuacin rpidamente

#21:

2 4
6
4
2 2 2
3 3
2
3
4
2
- 4d u (b + 12b df + 48b d f + 64d f ) - 16bd eu (b + 8b df +
2 2
2 2
4
2
2
2
2
2
2
16d f ) + 8d u (b (2df - 3e + 2f ) + 2b f(8d f + d(8f - 7e ) 2
2
2
2
2
2
2
2
2
2
e f) + 8df (4d f + d(4f - e ) - e f)) + 16bd eu(b (2df - e + 2f )
2
2
2
2
2 2
2 2
2
2
2
+ 2f(4d f + d(4f - e ) - e f)) + 4b d (4b f + (e + 4f )(4df - e ))
= 0

As, los focos de la cnica que pasa por (-1,0) (1,0) y que viene dada por
#22:

2
2
- fx + bxy + dy + ey + f = 0

son los cuatro puntos siguientes:

El primero

Page: 3

File: focoscasigeneral.dfw

#23:

Date: 14/12/01

Time: 11:12:10

2
2
2
2
2(b + 4df - e )((b + (d + f) ) - d - f)(-f) - be
,

b + 4df
2
2
2
2

2(2e((b + (d + f) ) - d - f)(-f) + b(b + 4df - e ))(-f)

2
2
2

(b + 4df)((b + (d + f) ) - d - f)

El segundo
#24:

2
2
2
2

2(b + 4df - e )((b + (d + f) ) - d - f)(-f) + be

- ,

b + 4df
2
2
2
2

2(2e((b + (d + f) ) - d - f)(-f) - b(b + 4df - e ))(-f)

2
2
2

(b + 4df)((b + (d + f) ) - d - f)

El tercero
#25:

2
2
2
2
2f(b + 4df - e )((b + (d + f) ) + d + f) - be
,
2

b + 4df
2
2
2
2

2f(2ef((b + (d + f) ) + d + f) + b(b + 4df - e ))

2
2
2

(b + 4df)((b + (d + f) ) + d + f)

El cuarto
#26:

2
2
2
2

2f(b + 4df - e )((b + (d + f) ) + d + f) + be

- ,

b + 4df
2
2
2
2

2f(b(b + 4df - e ) - 2ef((b + (d + f) ) + d + f))

2
2
2

(b + 4df)((b + (d + f) ) + d + f)

Por lo tanto, los cuatro focos (dos de ellos son siempre imaginarios) de la cnica
"general" que pasa por
(-1,0) y (1,0) vienen dados por
#27:

2
2
MACROFOCOSCONICACASIGENERAL(b, d, e, f) := - fx + bxy + dy + ey + f = 0,

2
2
2
2
2(b + 4df - e )((b + (d + f) ) - d - f)(-f) - be
,

b + 4df

Page: 4

File: focoscasigeneral.dfw

Date: 14/12/01

Time: 11:12:10

2
2
2
2

2(2e((b + (d + f) ) - d - f)(-f) + b(b + 4df - e ))(-f)

,
2
2
2

(b + 4df)((b + (d + f) ) - d - f)

2
2
2
2
2(b + 4df - e )((b + (d + f) ) - d - f)(-f) + be
,
2
b + 4df
2
2
2
2

2(2e((b + (d + f) ) - d - f)(-f) - b(b + 4df - e ))(-f)

,
2
2
2

(b + 4df)((b + (d + f) ) - d - f)

2
2
2
2
2f(b + 4df - e )((b + (d + f) ) + d + f) - be
,
2

b + 4df
2
2
2
2

2f(2ef((b + (d + f) ) + d + f) + b(b + 4df - e ))

,
2
2
2

(b + 4df)((b + (d + f) ) + d + f)

2
2
2
2
2f(b + 4df - e )((b + (d + f) ) + d + f) + be
,
2
b + 4df
2
2
2
2

2f(b(b + 4df - e ) - 2ef((b + (d + f) ) + d + f))

2
2
2

(b + 4df)((b + (d + f) ) + d + f)

#28:

MACROFOCOSCONICACASIGENERAL(3, 7, 2, 1)

#29:

MACROFOCOSCONICACASIGENERAL(-1, 2, -1, 3)

Page: 5