¿Cómo se descubrió la propiedad de foco/directriz de las secciones cónicas?

Siempre he pensado que definir secciones cónicas por un lugar geométrico de puntos con la proporción de la distancia al foco y la directriz siempre fue "demasiado artificial". ¿Cómo se descubre realmente esta misteriosa directriz, una línea que realmente no está en ninguna parte? cuando un cono doble es cortado por un plano; o un punto focal donde se encontrarían todos los "rayos que reflejan la cónica" (es decir, para una parábola)

Algo de pensamiento matemático/creatividad debe haber entrado en "descubrir" este hecho. He rastreado la historia griega antigua pero no he podido descubrir nada.

Lo mejor que tengo es a lo largo de estas líneas (mi mejor interpretación, de History of Greek Math Vol 2 - Heath , Pg 119):

Los lugares geométricos sólidos de Aristeo consideraban lugares geométricos que resultaron ser secciones cónicas. Los teoremas a los que alude Pappus de Alejandría son los propuestos por los Solid Loci. Existe la posibilidad de que Euclid conociera la propiedad de la directriz de enfoque, pero no hay evidencia concluyente. Sin embargo, la directriz de enfoque probablemente fue "definida" como tal por Pappus.

ACTUALIZACIÓN: La respuesta aceptada proporcionó una gran dirección y me ayudó a desenterrar la traducción al árabe de " On Burning Mirrors by Diocles " que prueba la existencia de un foco (Proposición 1) y proporciona la construcción de la parábola a través de la propiedad focus-directrix (Proposición 4-5). Esta es probablemente la "primera" fuente existente que arroja luz sobre cómo sucedió esto y Diocles se la atribuyó a Dositeo, pero parece que este último nunca proporcionó una prueba geométrica.

Edité la pregunta para que sea sobre historia, el lado educativo de "redescubrimiento" se puede abordar en Math Educators SE o Math SE .
¿Por casualidad encontraste alguna prueba análoga a la proposición 1 excepto para la hipérbola y la elipse?
@JoaquinBrandan - no que yo recuerde. Ha sido un tiempo. Aquí está mi línea de pensamiento: poder "definir" el primer uso de tal propiedad, hubiera sido natural para otros de la época ver si podían tener construcciones similares para elipse/hipérbola. Apuesto a que los trabajos griegos en Solid Loci tendrían lo que estás buscando. Aunque si está buscando el primer uso de directriz para elipse/hipérbola, entonces estoy un poco fuera de mi alcance para saber la respuesta a eso.
Gracias. De hecho, estoy buscando alguna prueba similar. Estas pruebas geométricas que hacen estos muchachos son mucho más intuitivas que las modernas. Si no puedo encontrarlos, intentaré obtenerlos yo mismo, pero he perdido la cuenta de los libros que he buscado tratando de encontrarlos.

Respuestas (2)

La respuesta será decepcionante, me temo, pero típico, "natural" y "artificial" son nociones muy relativas. El "descubrimiento" de la propiedad foco-directriz fue probablemente un lema técnico en las investigaciones de lugares geométricos sólidos, que más tarde también se usó en el estudio de espejos curvos. Cuando apareció, los griegos no le dieron mucha importancia, su prominencia moderna en la teoría de las secciones cónicas es un artefacto tardío.

La fuente más antigua que tenemos es On Burning Mirrors de Diocles, y él está trabajando a partir del trabajo anterior de Euclid sobre espejos esféricos. El punto era, por supuesto, encontrar una forma que juntara los rayos del sol (suponiendo que fueran paralelos) en un solo punto, el foco. Como señaló Knorr, reducir la propiedad de enfoque del rayo a la propiedad de la directriz de enfoque para "descubrir" que la parábola la posee requeriría algo así como resolver una ecuación diferencial, que estaba más allá de los dispositivos de los griegos. Luego especuló que alguien (quizás, el amigo de Arquímedes, Dositheus) hizo una "suposición afortunada", y luego procedió a mostrar que la curva construida por la propiedad de la directriz de enfoque es una parábola (Anthemio describe una demostración similar para la elipse). Acerbi sugiere una reconstrucción diferente enLa geometría de los espejos ardientes en la antigüedad griega , donde se pueden encontrar detalles geométricos de cómo surgió la propiedad como lema:

" Las propiedades focales de la parábola se obtuvieron como un subproducto de un intento de probar que la propiedad de la subtangente es un sumptoma de la curva . Sobre la relevancia de esta propiedad a los ojos de los antiguos geómetras no es necesario gastar tantas palabras Recuerde, de hecho, que la propiedad de la subtangente era bien conocida por Arquímedes ... Como consecuencia, la propiedad focal resulta crucial para emplear la subtangente como método para construir una parábola con un vértice y un parámetro dados (cf. Con .I.52, que, sin embargo, no conduce de manera inmediata a una construcción puntual) y permite resolver por reducción un caso particular del problema del trazado de una sección cónica después de conocer algunas de sus tangentes.

[Suposición] es que una propiedad tan importante (para nosotros) como la directriz-foco no podría reducirse al estado de mera funcionalidad a una determinación puntual de una parábola , como indiscutiblemente sucede en el enfoque de Diocles y como el mismo Knorr tiene que hacer reconocer ... De esta propiedad, no hay rastro en la Cónica de Apolonio tal como ahora existen (recuerde que se mantiene solo en referencia al eje y, por lo tanto, no es un sumptoma que pueda referirse a cualquier diámetro).

" Toomer supuso que el propio Diocles fue el descubridor de la propiedad en el caso de la parábola, extendiéndose su validez después de él a las otras secciones cónicas. Los pocos lemas que ofrece Pappus, al final del libro VII de su Collectio... es el único testimonio en el corpus antiguo del hecho de que la propiedad foco-directriz es un sumptoma de las varias secciones cónicas (la formulación como lugar geométrico lo confirma exactamente).

Zeuthen (1886, pp. 210-215 y 367-371) observa que, si Pappus tuviera que hacer explícito tal lema, entonces la propiedad foco-directriz debería haberse dado por sentada en Loci on a Surface. La observación de Zeuthen puede completarse con la conjetura de que el lugar más "natural" donde se estableció la propiedad, por supuesto en la forma anterior de un sumptoma formulado como una restricción que identifica un locus, es en Solid Loci de Aristeo... En suma, si uno no está dispuesto a aventurarse en conjeturas vacías, entonces una hipótesis mínima es que la propiedad había sido empleada en los Loci on a Surface como un paso intermedio en el análisis de algún locus, pero que simplemente se consideró como un sumptoma de un sección cónica ".

Tus indicaciones fueron perspicaces. Después de mucho investigar, encontré una gran referencia que proporciona la traducción al árabe de "Sobre los espejos ardientes" de Diocles: su primera propuesta es la "prueba de que los rayos paralelos se encontrarán en un foco" y las Props 4-5 están reconstruyendo la parábola a través del enfoque. directriz y demostrando que el resultado es de hecho una parábola. math.harvard.edu/archive/hist_206r_2009/Too_1976.pdf Entonces, en lo que respecta a su punto, ¡creo que toda la historia es bastante interesante y ni siquiera un poquito decepcionante! Gracias por la dirección ;)
@PhD Voto, ese es un seguimiento serio, ¡me alegro de que te haya funcionado! Pensé que sería decepcionante porque no brinda una forma "natural" de pasar de la definición de sección de un cono a la propiedad de directriz de enfoque.
Tienes razón. No es natural "así". Pero dado un "problema" y encontrar una solución para él, proporcionar una prueba parece bastante "natural". Es una gran historia sobre el descubrimiento AFAIK y mucho mejor que "preguntarse" cómo diablos sucedió. Me resultó muy difícil "meditar" y encontrar una solución. Hay formas de "adivinar" o hacer ingeniería inversa de esto, pero nada que "impresione" a alguien.
No relacionado, pero agradecería su ayuda en esto, si es posible: math.stackexchange.com/questions/2674177/…
@PhD Esto me rompe un poco la cabeza, pero recordé una forma "natural" de "descubrir" la propiedad focus-directrix. Fue inventado por Dandelin en 1822 e implica inscribir dos esferas focales (una para parábola) en el cono, ver esferas de Dandelin .
@PhD, ¿todavía tienes ese pdf contigo? el enlace esta caido
@JoaquinBrandan Creo que fue una versión gratuita de la traducción de Toomer de 1976 de Diocles, On Burning Mirrors.

Tiendo a estar de acuerdo con el sentimiento expresado en la pregunta, que la definición de cónicas de foco-directriz parece artificial (e incómoda). Sin embargo, ha tenido sus adeptos. Para responder a la pregunta '¿Cómo podría el estudiante descubrir las propiedades de foco/directriz por sí mismo?' podría ser útil adoptar un enfoque a posteriori , considerando el material en un libro de cónicas que trabaje ampliamente con estas propiedades.

Un ejemplo de un libro que utilizó este enfoque alcanzó cierta popularidad en el siglo XIX, al menos llegó a muchas ediciones: Secciones cónicas, tratadas geométricamente por WH Besant . ¡Sus pruebas pueden (con meditación) proporcionar algunas pistas heurísticas!