7 votos

Una pregunta sobre el "teorema de los óvalos" de Newton

Se trata de una pregunta sobre un resultado de los Principia de Newton . Dice, a grandes rasgos, que si se cruzan líneas $ax + by + c$ con una curva suave, cerrada y convexa, entonces el área de la curva que corta la recta no puede expresarse como una función algebraica de $a, b$ y $c$ .

Mi pregunta se refiere a la prueba de Newton. Hay un par de versiones por ahí, pero voy a resumir la de Wikipedia.

Fijar un punto $P$ dentro de la curva, y fijar una línea $L$ a través de $P$ . Construye una espiral, $f$ de la siguiente manera: trace otra línea $M$ a través de $P$ y que $\theta$ sea el ángulo que forma con $L$ . Así $L$ y $M$ cerrar un sector de la curva, con alguna zona $A(\theta)$ . Si trazamos $(A(\theta), \theta)$ en coordenadas polares, obtenemos una espiral. Newton observa que esta espiral interseca cualquier línea que pase por $P$ infinitas veces. Por lo tanto, la espiral no puede ser algebraica, porque si lo fuera entonces habría infinitas soluciones a un polinomio.

Bien. Estoy de acuerdo con el argumento de Newton de que la espiral no puede ser algebraica, pero ¿cómo implica esto la afirmación original? Más concretamente, la prueba sólo tiene éxito porque permitimos que la espiral continúe infinitamente. Pero ¿por qué no podemos hacer una función periódica $B(\theta)$ tal que $B$ expresa el área del sector con ángulo $\theta$ para $\theta \in [0, 2\pi]$ ?

0voto

gagneet Puntos 4565

Así es como leo el texto, sin demasiados conocimientos previos.

La zona $A(\theta)$ tiene que ser monotónicamente creciente, ya que integra área. Después de $n$ vueltas completas que habrá cubierto $n$ veces el área completa. La derivada de esa función será periódica en el ángulo, ya que la derivada corresponde a una función del radio, y el radio es $2\pi$ -periódico.

Lo mismo ocurre con otras formas como, por ejemplo, el cuadrado. Pero en esos casos, la curva original no será suave, por lo que el área sólo será una función algebraica a trozos del ángulo $\theta$ . Para curvas suficientemente suaves, si el área de corte es algebraica, tiene que ser algebraica en todo el dominio del ángulo.

0 votos

¿Cómo puede una función ser a la vez periódica y monótona (y no ser constante)?

0 votos

@JayKopper, tienes razón, ahí estaba pensando en la derivada. He corregido mi formulación para expresar realmente lo que tenía en mente. Gracias por detectarlo.

0 votos

Vale, entonces estoy de acuerdo. Pero sigo con mi pregunta original. El teorema establece, como yo lo entiendo, que no hay polinomio $P$ con $P(f,r,s,t)=0$ donde $f(r,s,t)$ es el área de la curva cortada por la línea $rx+sy=t.$ La prueba parece proporcionar una función $g(r,s,t)$ que tiene esa propiedad, pero $g\neq f$

0voto

Flolagale Puntos 11

Tengo una respuesta parcial, pero sigo atascado. He visto el material presentado de varias maneras diferentes. Por ejemplo, Arnol'd dice (pg. 132), como observación,

Si un óvalo es algebraicamente cuadrangular, entonces el área de un sector cortado del óvalo por un ángulo cuyo vértice está en el óvalo es también una función algebraica de las dos rectas que constituyen el ángulo....

Él alude a una prueba que doy (ish) a continuación

Proposición 1. Sea $C$ sea una curva convexa suave y $L$ sea la línea $ax + by = c.$ Sea $f(a,b,c)$ sea la función cuyo valor es el área de $C$ cortado por la línea $L$ . Fijar un punto $P$ y un rayo $M$ en $C$ . Denotemos por $g(\theta)$ la superficie del sector realizada por $M$ y el rayo en ángulo $\theta$ de $M.$ Entonces, si $f$ es una función algebraica, también lo es $g.$

Esto se demuestra rápidamente trazando la línea $L$ entre los dos puntos de $C$ que son intersecadas por $M$ y el rayo en ángulo $\theta.$ Entonces $g(\theta)$ es el área de un triángulo más el área cortada por $L.$ El área del triángulo es obviamente algebraica en $a,b,c,$ y por suposición $f$ por lo que se deduce que $g$ también debe serlo.

Según tengo entendido, se trata de una propuesta diferente a la siguiente:

Proposición 2. La misma configuración, pero que $h(\theta)$ sea la función que da el área barrida al girar el rayo de la proposición (1) un ángulo $\theta,$ es decir $h:\mathbb{R}\rightarrow\mathbb{R}$ con $h(\theta) = g(\theta)$ para $\theta \in [0, 2 \pi),$ y $h(2\pi n + \theta ) = nk + h(\theta),$ donde $k$ es el área total de la curva. Entonces $f$ algebraico implica $h$ algebraica en $a,b,c$ implica $h$ es algebraico en $\theta.$

La prueba de Arnol'd, similar a la de Newton, muestra que $h$ no es algebraico, por lo que $f$ no puede ser. Pero no puedo averiguar la prueba de la proposición (2)

Creo que la idea es que se deduce de la proposición (1) ya que podemos escribir $h(\theta) = nk + g(\theta),$ con $n=\lfloor \theta/2 \pi \rfloor$ . Basta entonces con demostrar que $\lfloor \theta/2 \pi \rfloor$ es algebraico en $\theta.$ Pero está claro que esto no es cierto, así que estoy atascado.

Tal vez tenga que escribir $\theta$ ¿en términos de las líneas es el ángulo entre?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X