domingo, 27 de enero de 2019

GEOMETRÍA - TEOREMAS EN GEOMETRÍA


El teorema de Bernstein-Kushnirenko (también conocido como teorema de BKK o teorema de Bernstein-Khovanskii-Kushnirenko [1] ), probado por David Bernstein [2] y Anatoli Kushnirenko  [ ru ] [3] en 1975, es un teorema en álgebra . Afirma que el número de soluciones complejas no nulas de un sistema de ecuaciones polinomiales de Laurentes igual al volumen mixto de los politopos de Newton de los polinomios, asumiendo que todos los coeficientes no nulos de son genéricos Una declaración más precisa es la siguiente:

Teorema comunicado editar ]

Dejar  ser un subconjunto finito de Considera el subespacio del álgebra polinomial de Laurent que consiste en polinomios de Laurent cuyos exponentes están enEs decir:
dónde  y para cada  hemos utilizado la notación taquigráfica  escribir el monomio .
Ahora toma  subconjuntos finitos  Con los subespacios correspondientes de los polinomios de Laurent. Considere un sistema genérico de ecuaciones de estos subespacios, que es:
donde cada  es un elemento genérico en el (espacio vectorial finito dimensional) .
El teorema de Bernstein-Kushnirenko establece que el número de soluciones  de tal sistema es igual a
,
dónde Denota el volumen mixto de Minkowski y para cadaEs el casco convexo del conjunto finito de puntos.ClaramenteEs un politopo de celosía convexo . Puede interpretarse como el politopo de Newtonde un elemento genérico del subespacio..
En particular, si todos los conjuntos  son lo mismo , entonces el número de soluciones de un sistema genérico de polinomios de Laurent de  es igual a
dónde  es el casco convexo de  y vol es el usual Volumen euclidiano tridimensional. Tenga en cuenta que aunque el volumen de un politopo de celosía no es necesariamente un número entero, se convierte en un número entero después de multiplicarse por.

Trivia editar ]

El nombre de Kushnirenko también se deletrea Kouchnirenko. David Bernstein es un hermano de Joseph Bernstein . Askold Khovanskii ha encontrado aproximadamente 15 pruebas diferentes de este teorema.








 
En geometría , el teorema de Brahmagupta establece que si un cuadrilátero cíclico es ortodiagonal (es decir, tiene diagonales perpendiculares ), entonces la perpendicular a un lado desde el punto de intersección de las diagonales siempre biseca el lado opuesto. [1] Lleva el nombre del matemático indio Brahmagupta . [2]
Más específicamente, sea A , B , C y D cuatro puntos en un círculo, de modo que las líneas AC y BD sean perpendiculares. Denotar la intersección de AC y BD por M . La caída de la perpendicular desde M a la línea AC , llamando a la intersección E . Sea F la intersección de la línea EM y el borde AD . Entonces, el teorema establece que F es el punto medio AD .





Prueba editar ]

Prueba del teorema.
Necesitamos probar que AF = FD . Probaremos que tanto AF como FDson en realidad iguales a FM .
Para probar que AF = FM , primero note que los ángulos FAM y CBM son iguales, porque son ángulos inscritos que interceptan el mismo arco del círculo. Además, los ángulos CBM y CME son ambos complementariosal ángulo BCM (es decir, suman 90 °) y, por lo tanto, son iguales. Finalmente, los ángulos CME y FMA son los mismos. Por lo tanto, AFMes un triángulo isósceles , y por lo tanto los lados AF y FM son iguales.
La prueba de que FD = FM es similar: los ángulos FDM , BCM , BME y DMF son todos iguales, por lo que DFM es un triángulo isósceles, por lo tanto, FD = FM . De ello se deduce que AF = FD , como afirma el teorema.












Caso elíptico
Caso hiperbólico
En geometría , el teorema de Braikenridge-Maclaurin , llamado así por los matemáticos británicos del siglo XVIII William Braikenridge y Colin Maclaurin , [1] es lo contrario al teorema de Pascal . Establece que si los tres puntos de intersección de los tres pares de líneas a través de los lados opuestos de un hexágono se encuentran en la línea L , entonces los seis vértices del hexágono se encuentran en una C cónica La cónica puede estar degenerada, como en el teorema de Pappus. [2]
El teorema de Braikenridge-Maclaurin se puede aplicar en la construcción de Braikenridge-Maclaurin , que es una construcción sintética de la cónica definida por cinco puntos, variando el sexto punto. A saber, el teorema de Pascal establece que dados seis puntos en una cónica (los vértices de un hexágono), las líneas definidas por lados opuestos se intersecan en tres puntos colineales. Esto se puede revertir para construir las ubicaciones posibles para un sexto punto, dados cinco existentes.

















Teorema de la mariposa
El teorema de la mariposa es un resultado clásico en geometría euclidiana , que se puede afirmar de la siguiente manera: [1] : p. 78
Sea M el punto medio de un acorde PQ de un círculo , a través del cual se dibujan otros dos acordes AB y CD ; AD y BC intersectan el acorde PQ en X e Y correspondientemente. Entonces M es el punto medio de XY .






Prueba editar ]

Prueba de teorema de mariposa
Una prueba formal del teorema es la siguiente: Deje que las perpendiculares XX ′ y XX ″ se caigan del punto X en las líneas rectas AM y DM respectivamente. De manera similar, deje que YY ′ y YY ″ se caigan desde el punto Y perpendicular a las líneas rectas BM y CMrespectivamente.
Ahora desde
De las ecuaciones anteriores y el teorema de los acordes de intersección , se puede ver fácilmente que
desde PM = MQ .
Ahora,
Por lo tanto, se puede concluir que MX = MY , o M es el punto medio de XY .
Existen otras pruebas, [2] incluida una que usa geometría proyectiva. [3]

Historia editar ]

Probar el teorema de la mariposa fue planteado como un problema por William Wallace en The Gentlemen's Mathematical Companion (1803). Tres soluciones se publicaron en 1804, y en 1805 Sir William Herschel volvió a plantear la cuestión en una carta a Wallace. El Reverendo Thomas Scurr volvió a hacer la misma pregunta en 1814 en el Diario de los Caballeros o en el Repositorio Matemático .

No hay comentarios:

Publicar un comentario