Sean [math]X, [math]Y los extremos de un diámetro de una circunferencia [math]\Gamma y [math]N el punto medio de uno de los arcos [math]XY de [math]\Gamma. Sean [math]A y [math]B dos puntos en el segmento [math]XY. Las rectas [math]NA y [math]NB cortan nuevamente a [math]\Gamma en los puntos [math]C y [math]D, respectivamente. Las tangentes a [math]\Gamma en [math]C y [math]D se cortan en [math]P. Sea [math]M el punto de intersección del segmento [math]XY con el segmento [math]NP. Demostrar que [math]M es el punto medio del segmento [math]AB.
Guía de [math]\LaTeX: sirve para escribir ecuaciones como [math]\frac{11}{8}+ x \lfloor \pi \rfloor = 1
Sabemos que [math]PC=PD.(1)
Prolonguemos [math]CP mas alla de [math]C hasta un punto arbitrario [math]K.
Por [math]P tracemos una paralela a [math]XY hasta cortar a [math]NC y [math]ND en [math]v y [math]W, respectivamente.
El arco [math]\widehat{CN}=90+\widehat{CX} luego [math]\angle NDC=\frac{90+\widehat{CX}}{2}.
Tambien [math]\angle NCK=\frac{90+\widehat{CX}}{2} (*) por ser este angulo semiincrito.
Calculemos [math]\angle XAC=\frac{\widehat{NY}+\widehat{CX}}{2}=\frac{90+\widehat{CX}}{2}.(**)
Es decir [math](*)=(**) (2) [math]\angle CVP=(**) por alternos internos. [math]\angle VCP=(*) por opuestos por el vertice.
Entonces por lo que dijimos en (2) el triangulo [math]CPV es isosceles con [math]PC=PV.
Analogamente llegariamos a que [math]DPW es isosceles con [math]PD=PW, y por (1) tenemos que [math]PV=PW siendo entonces [math]NP una mediana del triangulo [math]VNW y como [math]AB\parallel VW dicha mediana tambien biseca el segmento [math]AB.
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.
Llamemos [math]Q al punto donde [math]NP vuelve a cortar a [math]\Gamma. Es conocido que el cuadrilátero [math]NDQC es armónico (lema 1 del post de Prillo).
Ahora [math]\{A,B;M,\infty\}\underset{N}{=}\{C,D;Q,N\}=-1 así que [math]M es punto medio de [math]AB.
Sea [math]J la interseccion entre [math]PN y la circunferencia. Es facil ver que [math]JCND es un cuadrilater armonico. Proyectamos por [math]N, el cuadrlatero armonico que tenemos, hacia [math]AB. Esto mantiene las razones dobles. Vemos que [math]C se va a parar a [math]A, [math]D a [math]B, [math]P a [math]M y [math]NN va a parar a la tangente a la circunferencia por [math]N. Es facil ver que esta recta es paralela a [math]XY. Lo que implica que el punto de interseccion entre [math]NN y [math]AB esta en el infinito, lo que implica que [math]M es punto medio.
Más allá de la desafortunada solución de una linea, el enunciado del problema y su solución ''trazando la paralela y armando el punto medio'' es llamativamente igual (leer: igual, no parecida) a la del problema 2 de la ibero del 2007. En mi caso por lo menos cuando lei el problema me acordé del 2 de la ibero del 2007, y con eso este me salió en el aire...
hay que poner demasiado esfuerzo de imaginacion para adaptar el Ibero 2007 P2 a este, no creo que valga la pena
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.
No es trivial la relación entre ambos problemas a primera vista, pero en ambos casos la configuración esencial que resuelve el problema es la misma. Para aclararlo, comparemos las siguientes configuraciónes subyacentes en cada problema:
Ibero 2007 - Ibero 2013 [math]A\leftrightarrow P [math]X_1\leftrightarrow C [math]X_4\leftrightarrow D [math]K\leftrightarrow N [math]AX_1 = AX_4 \leftrightarrow PC = PD
En el problema de la Ibero del 2007 se traza la paralela a [math]BC por [math]A, que se corta con las rectas [math]KX_1 y [math]KX_4; en el de la Ibero 2013 la paralela es a [math]XY por [math]P, que se corta con las rectas [math]NC y [math]ND. La conclusión lógica de cada problema ahora se sigue con el mismo tipo de argumento. Ahí se puede observar la gran similitud entre ambas configuraciones subyacentes, más que nada en términos de la técnica de resolución.
Como [math]N es punto medio entonces [math]N\hat{Y}X= N\hat{X}Y=45, pero por arco capaz, [math]N\hat{D}Y=X \hat{C}N=45, por lo que [math]XN es tangente a la circunferencia que pasa por [math]XAC, porlo que [math]NX^2=NA \cdot NC= NB \cdot ND de lo cual se deduce que los triángulos [math]NAD y [math]NBC son semejantes por lo que [math]ABDC es cíclico.
Llamamos [math]R a la intersección entre [math]NP y la circunferencia. Notemos que [math]N\hat{A}B=N\hat{D}C=C\hat{R}N y [math]N\hat{B}A=N\hat{C}D=D\hat{R}N. Por lo que los triangulos [math]NAM y [math]NCR son semejantes y lo mismo sucede con [math]MNB y [math]RDN. Entonces [math]\frac{AM}{CR}=\frac{MN}{NC} y [math]\frac{MB}{RD}=\frac{MN}{ND}, dividiendo ambas y reacomodando queda [math]\frac{AM}{MB}=\frac{DN}{NC}\frac{CR}{RD}
Aplicamos teorema del seno en [math]CRD y queda [math]\frac{RD}{CR}=\frac{\sin RCD}{\sin CDR}
Usamos teorema del seno en [math]CRP, [math]PRD
[math]\frac{RP}{\sin PCR}=\frac{CP}{\sin CRP} y [math]\frac{RP}{\sin RDP}=\frac{DP}{\sin PRD},
Finalmente usando teorema del seno en[math]NCD llegamos a que la igualdad anterior es tambien igual a [math]\frac{ND}{NC} por lo que [math]\frac{ND}{NC}=\frac{RD}{CR} y de esto se deduce que [math]AM=MB
Llamemos [math]O el centro de [math]\Gamma y digamos que [math]\Gamma tiene radio [math]r. Es casi trivial que [math]NO \perp XY. Ahora cosideremos [math]NA \cdot NC = NA (NA+AC) = NA^2 + NA \cdot AC. Pero [math]NA \cdot AC es simplemente la potencia de [math]A con respecto a [math]\Gamma y es sabido que [math]NA \cdot AC = r^2 - AO^2. Si aplicamos pitagoras en [math]\triangle NAO, [math]NA^2 = AO^2 + ON^2 = AO^2+r^2 \Rightarrow r^2 = NA^2-AO^2. Ahora, volviendo al valor de [math]NA \cdot NC = NA^2 + NA \cdot AC = NA^2 + r^2-AO^2 = r^2+r^2 = 2r^2. Aplicando el mismo razonamiento a [math]NB \cdot ND, se obtiene que [math]NA \cdot NC = 2r^2 = NB\cdot ND y [math]ABDC es ciclico. Especificamente se deduce que [math]AB es la antiparalela a [math]CD con respecto a [math]\triangle NCD.
Ahora probamos un pequeno lema:
Lema: Dado un triangulo [math]ABC y la A-simediana [math]AD, [math]AD biseca cualquier antiparalela a [math]BC
Demostracion:
Sea [math]M el punto medio de de [math]BC y asumamos sin perdida de generalidad que [math]D \in BC. Por definicion de simediana, [math]\angle BAM = \angle CAD y [math]\angle BAD = \angle CAM. Digamos la antiparalela interseca a [math]AB, [math]AC y [math]AD en [math]B',[math]C', y [math]M', respectivamente. Se sabe que [math]BB'C'C es ciclico, de donde [math]AB' \cdot AB = AC' \cdot AC. Tambien, [math]\angle AB'M' = \angle ACM y [math]\angle AC'M' = \angle ABM. Ahora sacamos varias similitudes (porque [math]\triangle AB'M' \sim \triangle ACM y [math]\triangle AC'M' \sim \triangle ABM, ambos por la condicion angulo-angulo).
[math]\frac{AB'}{B'M'} = \frac{AC}{CM} \Rightarrow AB' \cdot CM = AC \cdot B'M'
Multiplicando estas dos igualdades se obtiene:
[math]AB \cdot AB' \cdot CM \cdot C'M' = AC \cdot AC' \cdot BM \cdot B'M'
De donde es directo que [math]B'M' = C'M'.
Ahora bien, utilizando el Lema de la Simediana:
Si [math]ABC es un triangulo y [math]P intersección de tangentes por [math]B y por [math]C a la circunscrita, entonces [math]AP es la simediana de [math]\triangle ABC.
(Aca hay varias demostraciones de este hecho: http://yufeizhao.com/olympiad/geolemmas.pdf)
En [math]\triangle ACD, observamos que [math]AP es simediana de [math]\triangle ACD. Aplicando el lema de arriba con respecto la antiparalela [math]AB se deduce que [math]M es el punto medio de [math]AB.
Para todo [math]k, existen [math]k primos en sucesión aritmética.
Invertimos con centro $N$ y radio $NX=NY$, entonces $\Gamma$ va a la recta $XY$, con lo que $A$ va a $C$ y $B$ va a $D$, así que $PC$ va a la circunferencia que pasa por $N$ y es tangente a $AB$ en $A$, y $PD$ va a la circunferencia que pasa por $N$ y es tangente a $AB$ en $B$, con lo que $P$ va al punto de intersección (distinto de $N$) de dichas circunferencias, es decir, al punto mágico de la mediana desde $N$ en $ABN$, y estamos.