Las diagonales de un cuadrado ABCD se cortan en E, la bisectriz del ángulo DBC corta a la diagonal AC en P y al lado CD en Q. Demostrar que DQ mide el doble que PE.
Y pues te comento que es la primera vez que tengo noticia del teorema del incentro. Algo que me sorprende, por dos cosas: una porque MaTeTaM está en el "negocio" de la geometría de concurso, y la otra porque es un teorema elemental.
Y, bueno, también por eso te doy las gracias (por darlo a conocer a los usuarios de MaTeTaM).
Por otro lado, tu solución se parece a la oficial (la que se repartió a los miembros del jurado el día del examen). Esa solución utiliza dos veces el teorema de la bisectriz: una en el triángulo BCE y la otra en el BCD.
Ello conduce a reducir el problema a demostrar que el triángulo QPC es isósceles. (Algo que, como te comentó Jesús, está ausente en tu demostración.)
Durante la sesión de establecimiento de los criterios de evaluación los miembros del jurado buscamos una solución más elemental pero no se encontró en ese momento. No fue sino hasta que revisamos los exámenes que surgieron dos soluciones más sugeridas por la de uno de los concursantes.
La del concursante consiste en prolongar BQ y trazar la perpendicular a BD por D (digamos que ésta corte en D' a BQ). Con ello ya la solución del problema se hace evidente (o casi) con Tales y el teorema de la línea media. Curiosamente, lo que le faltó al autor de esta solución fue demostrar que DD'=DQ (y, como tú, solamente lo mencionó).
La otra solución elemental se generó por el jurado tomando la anterior como inspiración: consiste en trazar la perpendicular a BC por E (digamos que cruce BQ en E'). De nuevo, con este trazo la solución se hace evidente --aunque también hay que demostrar isósceles.
Concluyo diciendo algo que he repetido muchas veces aquí en MaTeTaM: con más teoría la creatividad se convierte en un lujo y en tema de conversación post-concurso.
MANDO MI PROPUESTA DE
MANDO MI PROPUESTA DE SOLUCION AL PROBLEMA 3
Hola Marco, tu demostración
Hola Marco, tu demostración está correcta, buen manejo de los teoremas de la bisectriz y del incentro.
Únicamente te faltó incluir en tu demostración la justificación de por qué el triángulo PCQ es isóceles.
Gracias por tu solución