UNA PRUEBA ELEMENTAL DEL TEOREMA DE PASCAL
Milton F. Donaire Pe na Lima, Per u
En este art culo se presenta una nueva prueba del teorema que el matem atico Blaise Pascal (1623 1662) obtuviera a la edad de 16 a nos, sobre la colinealidad de las intersecciones de los lados opuestos de un hex agono. Com unmente tal resultado es conocido como el teorema del hexagr ama m stico. Con el f n de que tal teorema pueda ser presentado a alumnos de la escuela secundaria, requerimos un teorema previo de J. J. A. Mathieu sobre las rectas isogonales que generalmente se demuestra usando el teorema re proco del teorema de Ceva en su forma trigonom etrica, pero que ahora probaremos tambi en por un nuevo camino para asegurar la prueba elemental del teorema de Pascal. Denici on (Conjugadas Isogonales) Sean OX y OX rayos que pasan por el v ertice O del angulo M ON sim etricos con respecto a la bisectriz del angulo M ON . Entonces OX y OX se llaman par de rectas isogonales para el angulo M ON .
Figura 1: Se cumple que x = y
Teorema (J. J. A. Mathieu) Si BP y BQ son conjugadas isogonales del angulo CBA del tri angulo ABC , y tambi en CP y CQ son conjugadas isogonales para el angulo ACB , entonces AQ y AP son conjugadas isogonales para el a ngulo BAC .
Figura 2: Concurrencia de conjugadas isogonales
Prueba Prolonguemos BP hasta G de modo que los tr angulos BQA y BCG sean semejantes, luego: mBGC = mBAQ = y . De all : BC = BQ k y BG = AB k y como mCBQ = mP BA, tendremos que los tri angulos CBQ y GBA tambi en ser an semejantes, entonces mBCQ = mBGA, pero como mBCQ = mP CA tenemos que el cuadril atero CP AG es inscriptible, entonces: mP GC = mP AC , es decir x = y . Finalmente agregaremos que este documento ha sido elaborado de acuerdo a la demostraci on del teorema de Pascal que apareci o por primera vez en el libro FORMAS Y NUMEROS - La geometr a en las Olimpiadas Matem aticas - (p ag. 270), publicada por la Universidad de Ciencias y Humanidades de Per u en enero del 2010. Teorema de Blaise Pascal Los puntos P , Y , X de intersecci on de los tres pares de lados opuestos AQ y BZ , BC y AR, QC y RZ , de un hex agono (no necesariamente convexo), AQCBZR, inscrito en una circunferencia est an en una recta.1 .
En general el teorema es v alido para cualquier c onica y la prueba del teorema general se puede reducir a la forma que mostramos a continuaci on luego de realizar una conveniente proyecci on de la c onica en alg un plano
1
Figura 3: Pascal y las medidas angulares
La Prueba Los tri angulos ABY y CRY son semejantes, pero P y X no son hom ologos, entonces construimos el punto X que sea el hom ologo de P , luego mRY X = mBY P = , por el teorema anterior mXY C ser a igual a y por lo tanto P , Y , X son colineales. BIBLIOGRAF IA [1] Eves, Howard Estudio de todas las geometr as. Hispano - Am ericana. M exico. 1969. [2] Fr ere Gabriel Marie. Exercises de Ge om etrie. J. Gigord. Par s. 1920. [3] Donaire, Milton Formas y N umeros. La geometr a en las olimpiadas Matem aticas. Universidad de Ciencias y Humanidades. Per u 2010. [4] Barroso, Ricardo http://personal.us.es/rbarroso/trianguloscabri/ [5] Ayme, Jean Louis http://pagesperso-orange.fr/jl.ayme/contenu.html [6] Capit an, Garc a http://garciacapitan.auna.com/index.htm
