OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Nota. En realidad hemos demostrado una propiedad un poco más general: si la sección producida es un paralelogramo, entonces debe ser un rectángulo. La propiedad de ser rombo distrae más que aporta, ya que si intentamos usar argumentos sobre la longitud de los lados de $PQRS$, los razonamientos se complican y no parece que lleven a una solución sencilla.
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.