Teorema de Pascal

Avatar de Usuario
Matías V5

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
OFO - Jurado-OFO 2018 OFO - Jurado-OFO 2020 OFO - Jurado-OFO 2021
Mensajes: 1114
Registrado: Dom 17 Oct, 2010 4:44 pm
Medallas: 8
Nivel: Exolímpico

Teorema de Pascal

Mensaje sin leer por Matías V5 »

Sean [math] seis puntos distintos sobre una circunferencia [math]. Entonces, los puntos [math], [math] y [math] son colineales.
Hay que estar registrado para ver las imágenes
pascal.png
No tienes los permisos requeridos para ver los archivos adjuntos a este mensaje.
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore!

Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
Avatar de Usuario
JPablo
Mensajes: 360
Registrado: Lun 25 Mar, 2013 9:00 pm
Nivel: Exolímpico

Re: Teorema de Pascal

Mensaje sin leer por JPablo »

Demostración:
Spoiler: mostrar
Sea [math] la intersección entre [math] y [math]. Sea [math] la intersección entre [math] y [math]. Sea [math] la intersección entre [math] y [math].

Como los puntos [math], [math] y [math] son colineales, por el Teorema de Menelao en [math] tenemos

[math]

Análogamente con los puntos [math], [math] y [math] tenemos

[math]

Análogamente con los puntos [math], [math] y [math] tenemos

[math]

Multiplicamos las tres expresiones:

[math]

Conmutando tenemos

[math]

Ahora bien: por Potencia de un punto tenemos que [math], que [math] y que [math]. Por lo tanto la expresión nos queda

[math]

[math]

Y por el recíproco del Teorema de Menelao, [math], [math] y [math] son colineales. [math]
Avatar de Usuario
Vladislao

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
FOFO Pascua 2017 - Jurado-FOFO Pascua 2017
Mensajes: 808
Registrado: Mar 28 Dic, 2010 3:26 pm
Medallas: 6
Nivel: Exolímpico
Ubicación: Córdoba

Re: Teorema de Pascal

Mensaje sin leer por Vladislao »

Algo muy interesante -pero poco útil en olimpíadas- de Pascal (y en general de todos estos teoremas proyectivos) es que si los puntos están en cualquier cónica (elipse, parábola, hipérbola), se siguen cumpliendo las colinealidades.

De hecho, tomando el caso degenerado de dos hipérbolas que tienen un mismo foco, se obtiene el Teorema de Pappus (que es igual al de Pascal pero para dos rectas -que son las dos hipérbolas degeneradas-). Si alguien tiene ganas puede escribir un post con el Teorema de Pappus así ya queda asentado independientemente del de Pascal (con una demostración casi idéntica a la que pusieron más arriba).
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Alejo

OFO - Medalla de Plata-OFO 2015 OFO - Jurado-OFO 2016 OFO - Jurado-OFO 2017
Mensajes: 76
Registrado: Dom 01 Abr, 2012 4:14 pm
Medallas: 3
Nivel: Exolímpico

Re: Teorema de Pascal

Mensaje sin leer por Alejo »

Si dos puntos, digamos [math] y [math] son el mismo, entonces se toma la recta [math] como la tangente a [math] por ese punto. Si dos de las rectas que se debían cortar son paralelas, se puede tomar a un punto en el infinito como su intersección. Entonces, si por ejemplo Z es un punto en el infinito, lo que dice Pascal es que XY es paralela a las dos rectas paralelas, porque pasa por Z.
Si uno dualiza la configuración del problema repecto a la circunferencia, se obtiene el teorema de Brianchon.
Un par de aplicaciones (las únicas que conozco):
1) Sea ABC un triángulo inscrito en una circunferencia [math]. Sea X otro punto en [math] y sea R un punto en el mismo plano (que no coincida con ninguno de los demás). Las rectas AR, BR, CR intersecan a [math] de nuevo en [math] respectivamente. Sean [math]; [math]; [math]. Demostrar que [math] y [math] son colineales.
2) Sea ABC un triángulo y sea I su incentro. La circuenferencia [math] es tangente a AB en X, a AC en Y y a la circunferencia circunscrita de ABC. Demostrar que I es el punto medio de XY.
1  
Avatar de Usuario
Ivan

Colaborador-Varias
Mensajes: 1023
Registrado: Vie 15 Oct, 2010 7:18 pm
Medallas: 1
Nivel: Exolímpico

Re: Teorema de Pascal

Mensaje sin leer por Ivan »

Otro problema que sale con Pascal: Cono Sur 2012 - Problema 2 (en el post no aclaro nada, pero de por medio hay un argumento estándar de tramposética).
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
ricarlos
Mensajes: 426
Registrado: Lun 17 Dic, 2012 2:24 pm

Re: Teorema de Pascal

Mensaje sin leer por ricarlos »

Alejo escribió:2) Sea ABC un triángulo y sea I su incentro. La circuenferencia [math] es tangente a AB en X, a AC en Y y a la circunferencia circunscrita de ABC. Demostrar que I es el punto medio de XY.
Sea [math] el punto de tangencia de [math] con la circunscrita al [math]. Sean [math] y [math] puntos sobre dicha circunscrita de modo que sean puntos medios de los arcos [math], que no contiene a B y [math] que no contiene a C, respectivamente.
Sabemos que [math] y [math] son las bisectrices de [math] y [math], por lo tanto estas intersectan en [math]. Mas o menos conocido es el hecho que [math] asi como [math] son colineales (ver problema 53 de Gogeometry). Entonces sobre [math] tenemos formado el hexagono [math], con teorema de Pascal se observa que
[math],
[math],
[math], son colineales. Como sabemos [math] y [math]. Entonces [math] es isosceles y[math] es su altura y mediatriz de la base [math]. (Ver teorema Sawayama-Thebault)
Dado un triangulo ABC y los puntos medios L, M y N de los lados BC, AC y AB, respectivamente, probar que las bisectrices de los angulos ANB, BLC y CMA son concurrentes.
ricarlos
Mensajes: 426
Registrado: Lun 17 Dic, 2012 2:24 pm

Re: Teorema de Pascal

Mensaje sin leer por ricarlos »

Alejo escribió:1) Sea ABC un triángulo inscrito en una circunferencia [math]. Sea X otro punto en [math] y sea R un punto en el mismo plano (que no coincida con ninguno de los demás). Las rectas AR, BR, CR intersecan a [math] de nuevo en [math] respectivamente. Sean [math]; [math]; [math]. Demostrar que [math] y [math] son colineales.
Con el hexagono [math] y el teorema de Pascal tenemos que
[math],
[math],
[math] son colineales.

Tambien con el hexagono [math] y el teorema de Pascal vemos que
[math],
[math],
[math] son colineales.

Ambas ternas tienen 2 puntos en comun, luego [math] estan sobre una misma recta.
Dado un triangulo ABC y los puntos medios L, M y N de los lados BC, AC y AB, respectivamente, probar que las bisectrices de los angulos ANB, BLC y CMA son concurrentes.
Avatar de Usuario
Fran2001

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Bronce-OFO 2018 FOFO 8 años - Medalla Especial-FOFO 8 años FOFO 9 años - Medalla Especial-FOFO 9 años
Mensajes: 68
Registrado: Mié 29 Mar, 2017 11:09 am
Medallas: 4
Nivel: Exolímpico
Ubicación: Rosario

Re: Teorema de Pascal

Mensaje sin leer por Fran2001 »

Dejo esta hermosa demostración de Lucas Andisco: magia.
Ya le rimo la respuesta // que de la duda nos saca // el animal que usted dice // tiene por nombre la vaca
https://www.youtube.com/watch?v=7ydlVCj94x4
Responder