O teorema de Newton sobre ovais afirma que a área cortada por uma secante de uma oval convexa suave não é uma função algébrica da secante.
Isaac Newton o enunciou como o lema 28 da seção VI do livro 1 do Philosophiæ Naturalis Principia Mathematica, e o usou para mostrar que a posição de um planeta movendo-se em uma órbita não é uma função algébrica do tempo. Ocorreram controvérsias sobre se esse teorema é ou não é correto, porque Newton não especificou exatamente o que ele entendia por uma oval, e para algumas interpretações da palavra oval o teorema é correto, enquanto para outras ele é falso. Se "oval" significa "curva convexa contínua", então há contra-exemplos, tais como triângulos ou um dos lóbulos da lemniscata de Huygens y2 = x2 − x4, enquanto, como apontado por Arnold (1989): Se "oval" significa "curva convexa infinitamente diferenciável" então a afirmação de Newton é correta e seu raciocínio possui as etapas essenciais de uma prova rigorosa.
Vassiliev (2002) generalizou o teorema de Newton para dimensões superiores.
Uma tradução do enunciado original de Newton (Newton 1966, lema 28, seção 6, livro I) é:
"Não existe figura oval cuja área, cortada por linhas retas livremente, possa ser universalmente encontrada por meio de equações de um número finito qualquer de termos e dimensões."Em linguagem matemática moderna, Newton essencialmente provou o seguinte teorema:
Não existe curva convexa suave (infinitamente diferenciável) tal que a área cortada por uma reta ax + by = c seja uma função algébrica de a, b, e c.Em outras palavras, "oval" no enunciado de Newton deve ser entendida como "curva convexa suave". A diferenciabilidade infinita em todos os pontos é necessária: Para qualquer inteiro positivo n, há curvas algébricas que são suaves em toda parte exceto por um ponto, e diferenciáveis n vezes nesse ponto de exceção, para as quais a área cortada por uma secante é algébrica.
Newton observou que um raciocínio similar mostra que o comprimento de arco entre dois pontos de uma oval (convexa suave) não é dado por uma função algébrica dos pontos.
Newton tomou a origem P dentro da oval, e considerou a espiral de pontos (r, θ) em coordenadas polares cuja distância r até P é a área cortada pelas retas por P com ângulos 0 e θ. Ele então observou que essa espiral não pode ser algébrica, pois ela tem um número infinito de intersecções com uma reta por P, então a área cortada por uma secante não pode ser uma função algébrica da secante.
Essa demonstração requer que a oval e portanto a espiral sejam suaves; caso contrário, a espiral pode ser uma união infinita de pedaços de diferentes curvas algébricas. Que é o que acontece nos vários "contra-exemplos" para o teorema de Newton em relação a ovais não suaves.
Isaac Newton | |
---|---|
Publicações |
|
Newtonianismo |
|
Vida | |
Amigos e família | |
Descobertas e invenções | |
Frases | |
Expansões teóricas | |
Relacionados |