OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Como $P$ está en el segmento $MR$ y $M$ es el punto medio de $RS$, se sigue que $PR\lt PS$; además, se tiene que $\angle PRB$ es agudo mientras que $\angle CSR=180-\angle PRB$ es obtuso. Esto nos dice que si giramos $180^\circ$ el triángulo $PRB$ respecto de $P$ obtenemos un triángulo $PR'B'$ contenido en $PCS$, luego ciertamente el área de $PBR$ es menor que el área de $PCS$ y hemos terminado la demostración.
Para terminar, vamos a expresar el resultado sin que intervenga $M$, por rizar el rizo. Tenemos que $MP=\frac{1}{2}PQ$ y que $OM$ es la mediana de $OPQ$. Usando la fórmula de la meidana, la condición que buscamos se puede escribir finalmente como \[\frac{1}{2}PQ+\sqrt{\frac{OP^2+OQ^2}{2}-\frac{PQ^2}{4}}\geq R.\]
Nota. En realidad, cuando la desigualdad es estricta, hay dos soluciones ya que hay dos puntos de corte de ambas circunferencias.
Los triángulos $AA'P$ y $BB'P$ son semejantes porque son rectángulos y tienen un ángulo común en el vértice $P$, luego se cumple que \[\frac{AP}{BP}=\frac{A'P}{B'P},\] lo que también nos dice que $ABP$ y $A'B'P$ son semejantes. De forma similar se prueba que $BCP$ y $B'C'P$ son semejantes, que $CDP$ y $C'D'P$ son semejantes y que $DAP$ y $D'A'P$ son semejantes. La razón de semejanza es la misma para los cuatro pares de triángulos ya que se tiene que $\frac{AP}{A'P}=\frac{BP}{B'P}=\frac{CP}{C'P}=\frac{DP}{D'P}$, luego el cuadrilátero $A'B'C'D'$ es semejante a $ABCD$ ya que está formado por cuatro triángulos semejantes en disposición similar. Más aún, $A'B'C'D'$ se obtiene de $ABCD$ a partir de una reflexión respecto de una de las bisectrices de las diagonales y una homotecia.
Nota. En realidad, es necesario que el enunciado diga que $P$ tiene al menos cuatro puntos o que los puntos de $P$ no están alineados. Por ejemplo, un conjunto $P$ formado por tres puntos alineados cumple la condición pero no todos los puntos de $P$ están en una circunferencia.