¿Cuándo es plana la intersección de un cono y un cilindro?

Estoy tratando de entender mejor el vínculo entre la interpretación algebraica y geométrica de la elipse, y me he preguntado acerca de la intersección de un cilindro circular recto y un cono circular recto.

Por un lado, sabemos que la intersección de cada uno con un plano (dado que el plano no está demasiado inclinado) es una elipse, por lo que podemos modificar los planos y el radio del cilindro para obtener las mismas elipses, como puede ser visto aquí _ En esto, concluyen que si los ejes del cono y del cilindro son paralelos, y el eje del cono cae dentro del cilindro, la intersección es una elipse plana.

Sin embargo, no funciona cuando se trata de las ecuaciones algebraicas de los dos:

{ ( X a ) 2 + y 2 = b 2 X 2 + y 2 = C z 2

al sustituir el segundo en el primero, obtenemos 2 a X = C z 2 + a 2 b 2 , que es la ecuación de un cilindro parbólico. (El caso por a = 0 da un círculo, y es una especie de solución trivial).

¿Qué enfoque es el correcto y qué tiene de malo el otro?

¿Podemos considerar a = 0 ? En este caso la intersección será un círculo. No podemos simplemente sustituir una ecuación por otra y hacer desaparecer la primera. Necesitamos convertir el sistema de dos ecuaciones en otro sistema de también dos ecuaciones
El caso donde a = 0 es una especie de solución trivial que busco cuando la intersección es una elipse con mi > 0 . Y como cada punto en la intersección hace que ambas ecuaciones sean verdaderas, también hace la tercera. Debido a la simetría, la intersección se puede ver 'desde el lado' como z ( X ) , que es el tercero.
El cono y el cilindro también deben satisfacer las condiciones II y III de ese artículo: no creo que sea suficiente tener ejes paralelos.
De hecho, a = 0 no daría como resultado una solución en absoluto, ¿verdad? Esa intersección no sería un círculo, sino dos círculos en los planos paralelos de C z 2 b 2 = 0 . eso es asumiendo b 0 y C > 0 . Sin esas condiciones no tendríamos un cono y un cilindro.
La intersección que casi siempre obtienes es una curva suave irreducible (no plana) de género uno, que se ve como dos óvalos sobre los reales y como un toro sobre los complejos, reducible solo cuando son dos (cada uno pero no como una unión plana) círculos para a = 0.

Respuestas (4)

Como encontraste correctamente, la intersección de un cono y un cilindro con ejes paralelos se encuentra en un cilindro parabólico, cuyo eje es perpendicular a los ejes del cono y el cilindro. Esto descarta una intersección plana, salvo en el caso trivial a = 0 .

ingrese la descripción de la imagen aquí

En esta respuesta , derivo una fórmula para la excentricidad de una elipse en términos de ángulos formados por la superficie del cono y el plano de corte, con un plano "horizontal" (perpendicular al eje). Complementando (en aras de una descripción más fácil aquí), podemos reformular la fórmula como

(1) mi = porque θ porque ϕ
dónde ϕ es el ángulo formado por (un generador de) el cono y su eje, y θ es el ángulo (no obtuso) formado por el plano de corte (o, más específicamente, el eje mayor de la cónica) y el eje del cono. Es fácil mostrar que, para el caso de un cilindro, la relación correspondiente coincide con el resultado de establecer ϕ = 0 (y escribiendo θ para distinguir de θ ):
(2) mi = porque θ
Entonces, si un cono y un cilindro tienen una intersección plana (por lo tanto, elíptica), entonces el eje mayor de la elipse forma ángulos θ y θ con sus respectivos ejes, tal que
(3) porque θ = porque θ porque ϕ
Así, dado cualquier plano que corte un cono en una elipse, podemos encontrar un cilindro apropiado que tenga la elipse como su intersección. (Técnicamente, la elipse puede ser solo parte de la intersección general). ϕ y θ , usamos ( 3 ) encontrar θ . (Nota: Dado que el plano corta el cono en una elipse, sabemos 1 > mi = porque θ de modo que θ está definido.) Este ángulo determina el eje del cilindro a través del centro de la elipse; de hecho, por θ π / 2 , tenemos dos posibilidades para ese eje. El radio del cilindro deseado es necesariamente el radio menor de la elipse. Entonces, generalmente, hay dos familias de configuraciones (esencialmente parametrizadas por θ y un factor de escala, y la elección del eje del cilindro) de conos y cilindros que tienen una intersección (parcialmente) plana, sin requisito de que el cono y el cilindro tengan ejes paralelos.

Dicho esto, en el caso particular donde el cono y el cilindro tienen ejes paralelos, entonces θ = θ . Asumiendo ϕ 0 (el cono no es degenerado), entonces la única forma de satisfacer ( 3 ) Es con porque θ = porque θ = 0 = mi : la intersección es un círculo. Claramente, el eje del cilindro coincide necesariamente con el del cono. Una configuración de "desplazamiento" ( a 0 en la pregunta) no es válido, reconfirmando las conclusiones hechas en otras respuestas.

El error en el documento ocurre en la primera ecuación. De hecho,

b r + R 2 .

El eje menor de la elipse se encuentra en un plano a medio camino entre el plano del círculo de radio r y el plano de la circunferencia de radio R , y ese plano corta al cono en un círculo de radio ( r + R ) / 2. Pero el eje menor de la elipse no es un diámetro de ese círculo. El centro de la elipse está a una distancia ( R r ) / 2 del centro del círculo. Por lo tanto

b 2 = ( r + R 2 ) 2 ( R r 2 ) 2 = r R .

Eso es, b = r R , entonces b es la media geométrica de r y R , no su media aritmética .


Además, de esta respuesta sabemos que una elipse dada puede ser producida por un cono cuyo vértice se encuentra en cualquier parte de cierta hipérbola en un plano perpendicular al plano de la elipse, y que el eje del cono debe ser tangente a la hipérbola. Por tanto, el ángulo que forma el eje con el plano de la elipse varía según el punto de la hipérbola que sea el vértice. Por otro lado, hay exactamente dos cilindros cuya intersección con el plano es la elipse dada, y el ángulo que forma el eje de uno de estos cilindros con el plano está determinado por la razón a / b .

Entonces, en general, dado un cono que corta un plano en una elipse, el eje del cilindro que corta el mismo plano en la misma elipse no será paralelo al eje del cono. El cilindro es el caso límite de un cono producido por un punto de la hipérbola muy alejado del plano. El ángulo entre el eje del cono y el eje del cilindro puede aproximarse pero nunca ser igual a cero.

La intersección de dos superficies cuádricas (incluidos conos y cilindros) es plana si y solo son tangentes a una tercera cuádrica común. En el caso de cilindros y conos, esta tercera cuádrica siempre será una esfera, creo. Más aquí .