The point $M$ is inside the convex quadrilateral $ABCD$, such that
\[ MA = MC, \hspace{0,2cm} \widehat{AMB} = \widehat{MAD} + \widehat{MCD} \quad \textnormal{and} \quad \widehat{CMD} = \widehat{MCB} + \widehat{MAB}. \]
Prove that $AB \cdot CM = BC \cdot MD$ and $BM \cdot AD = MA \cdot CD.$
Please post your solutions. This is just a solution template to write up your solutions in a nice way and formatted in LaTeX. But maybe your solution is so well written that this is not required finally. For more information and instructions regarding the ISL/ILL problems please look here: introduction for the IMO ShortList/LongList project and regardingsolutions
Let A' = DM^BC, from <CMD = <MCB+<MAB it follows that ABA'M is ciclyc.
Let C' = BM^AD, from <AMB = <MAD+<MCD it follows that DMCC' is ciclyc.
As supplementary of the same angle, it holds that <DMA = <CBA. From collinearity problem we have that <ACB = <DAM. Then DM/AM = AB/BC and finally DM/CM=AB/BC.
As both supplementary of the equal angles <C'MC = <C'DC, it holds <BMC = <ADC. Furthermore, see again collinearity problem, <MCB = <MCA+<ACB = <MAC+<DAM = <DAC. Then BM/MC=CD/AD or BM/MA=CD/AD.
orl wrote:
The point $ M$ is inside the convex quadrilateral $ ABCD$, such that
\[ MA = MC, \hspace{0,2cm} \widehat{AMB} = \widehat{MAD} + \widehat{MCD} \quad \textnormal{and} \quad \widehat{CMD} = \widehat{MCB} + \widehat{MAB}.
\]
Prove that $ AB \cdot CM = BC \cdot MD$ and $ BM \cdot AD = MA \cdot CD.$
Invert around $ M$ with radius $ MA$ and let point $ X$ map to $ X'$. Notice that \[ \angle AD'C=\angle MD'A+\angle MD'C=\angle MAD+\angle MCD=\angle AMB\] so we can consider point $ T$ on $ MB$ so that $ \triangle AD'C\sim \triangle AMT$. This means that a spiral similarity maps $ \triangle AMD'\sim \triangle ATC$. Without loss of generality, let $ \angle TAM\ge \angle BAM$. These similar triangles give that $ \frac{AT}{AM}=\frac{AC}{MD'}$. This, along with the ratio properties of inversion, yields that \[ \frac{AT'}{T'C}=\frac{AT}{TC}=\frac{AM}{MD'}=\frac{MD}{CM}\] Furthermore, we have that the spiral similarity gives that $ \frac{AM}{AT}=\frac{AD'}{AC}$, so $ AC\cdot AM=AT\cdot AD'$. Furthermore, notice that the spiral similarities give that $ \frac{CD'}{MT}=\frac{AD'}{AM}$ and $ \frac{TC}{MD'}=\frac{AT}{AM}$. Thus, \[ AD'\cdot AT=(\frac{CD'\cdot AM}{MT})(\frac{AM\cdot TC}{MD'})=(\frac{CD'\cdot MC}{MD'})(\frac{TC\cdot CM}{MT})\] The inversion gives that $ \frac{CD}{CD'}=\frac{MC}{MD'}$ and $ \frac{T'C}{TC}=\frac{CM}{MT}$. Thus, \[ CD\cdot T'C=AT\cdot AD'=AC\cdot CM\] Then, $ \frac{CD}{AC}=\frac{CM}{CT'}=\frac{MD}{AT'}$ so $ \triangle CMD\sim \triangle CT'A$. This means that \[ \angle BAM+\angle BCM=\angle CMD=\angle AT'C=\angle TAM+\angle TAC\] the last one because of the inversion. We conclude that \[ \angle TAM-\angle TAB+\angle TCM-\angle TCB=\angle BAM+\angle BCM=\angle TAC+\angle TAM\] This means that $ \angle TAB+\angle TCB=0$. Yet, since $ \angle TAM-\angle BAM\ge 0$, we see that $ \angle TCM-\angle BCM\ge 0$ since $ T$ lies on $ BM$. Then, $ \angle TAB+\angle TCB\ge 0$, so the only way for equality to occur is if $ T=B$. Above, we had that $ \frac{AT}{TC}=\frac{MD}{MC}$, so $ AB\cdot MC=BC\cdot MD$. Similarly (it is not shown above, but there are mutiple ways to get this: use the symmetry of the diagram, use the ratios from the inversion and spiral similarities, or we can repeat the phantom point process for $ D$ instead of $ B$), $ BM\cdot AD=MA\cdot CD$.
Let $M_1$, $M_2$ be points such that $\triangle BM_1 C \sim \triangle CDA$ (indirectly) and $\triangle AM_2 D \sim \triangle CBA$ (indirectly). Let $M_2 '$ be the point such that $\triangle BM_2 'C \sim \triangle AM_2 D$ (directly), so that $CM_2' B M_1$ is similar to $ABCD$, and therefore
$AM_2 = BM_2 ' \cdot \frac{AD}{BC} = CM_1$
Also, $\angle M_2 AC = \angle DAC - \angle M_2 AD = \angle M_1 CB - \angle ACB = \angle M_1 CA$.
If $M_1$ and $M_2$ coincide we are clearly done, since this point satisfies all the properties required (it's easy to prove $\angle BMC = \angle D$ and $\angle AMD = \angle B$ are equivalent to the given angle conditions, and that at most one point $M$ can exist for a given quad, since $\angle BMC = \angle D$ and $\angle AMD = \angle B$ already show only 2 can exist and we get contradictions if we want both to be equidistant from $A$ and $C$ and within the quad).
If $M_1$ and $M_2$ don't coincide then no $M$ can exist because otherwise such an $M$ would have the following properties: $AMM_2 \cong CMM_1$, $AMM_2 D$, $BMM_1 C$ cyclic with equal radii, and a bunch of other stuff. At this point there's so much information many obvious contradictions follow, for example that $AC$ must contain the centers of the two circumcircles of $AMM_2 D$ and $BMM_1 C$, but then $M$ can not lie inside the quad.
Let $\ell$ be the interior angle bisector of $\angle AMC$. Reflect $D$ over $\ell$ to $D'$.
Construct point $C'$ such that $\triangle C'D'M\sim \triangle BCM$. Thus, \[\frac{MC'}{MD'}=\frac{MB}{MC} \Rightarrow \frac{MC'}{MB}=\frac{MD'}{MC}\] Hence, $\triangle C'BM\sim \triangle D'CM$ by SAS.
Note that \begin{align*}\angle AMD'&=\angle MAB+\angle MCB\\&=\angle MAB+\angle MD'C'\end{align*}
so $D'C'||AB$. Also, $AD'||BC'$. Thus, $D'C'=AB$ and $AD'=BC'$.
Since $\triangle C'BM\sim \triangle D'CM$,
\[\frac{C'B}{MB}=\frac{D'C}{MC}\]
so \[C'B\cdot CM=D'C\cdot MB\] which means that
\[CD\cdot AM= BM\cdot AD\]
Similarly, $AB\cdot CM=BC\cdot MD$ using the fact that $\triangle C'D'M\sim \triangle BCM$, as desired.
edit: Fixed some typos and fixed a few equations due to the fact that I misread the problem.
Let $l$ be the perpindicular bisector of $AC$. We note that the exterior angle of quadrilateral $AMCD$ at $M$ is equal to the sum of the interior angles at $A,C,D$, which leads to $\angle BMC=\angle ADC$. Similarly $\angle AMD=\angle ABC$.
Now construct $B'$ so that $\triangle AB'C \sim \triangle AMD$. Then $\angle AB'C=\angle AMD=\angle ABC$. But the construction will also make $\triangle ADC \sim \triangle AMB'$, so $\angle AMB' =\angle ADC=\angle BMC$. Since $l$ bisects $\angle AMC$, it bisects $BMB'$ as well. So $B'$ must be the reflection of $B$ in $l$, which makes $\triangle CBA \simeq \triangle AB'C \sim \triangle AMD$, and the desired result quickly follows.
Notice $\angle B = \angle AMD, \angle D = \angle BMC$. Take $B' $ such that $\triangle ACB' \equiv \triangle AMD$. Then $ABB'C$ is cyclic and note that by rotohomothety, $\angle CMB = \angle ADC = \angle AMB'$. Since $MA=MC$ this implies $B'$ is the reflection of $B$ across the perp. bisector of $AC$. Now some quick computations solve the problem.
I have solved it in a different way, I have used an inversion with center $M$.
Here is my solution :
Consider an inversion with center $M$ and radius $r=MA=MC$.
Let $X'$ be the image of $X$ under that inversion.
We know that $A'=A$ and $C'=C$.
Since $\angle{AMB} = \angle{MAD} + \angle{MCD}$, So $\angle{A'MB'} = \angle{MD'A'} + \angle{MD'C'} \Longrightarrow \angle{A'MB'} = \angle{A'D'C'}$
And since $\angle{CMD} = \angle{MCB} + \angle{MAB}$, So $\angle{C'MD'} = \angle{MB'C'} + \angle{MB'A'} \Longrightarrow \angle{C'MD'} = \angle{A'B'C'}$
We need to prove that:
$$AB \cdot CM=BC \cdot MD \Longleftrightarrow \frac{r^2 A'B'} {MA' \cdot MB'}\cdot \frac{r^2}{MC'}=\frac{r^2 B'C'} {MC' \cdot MB'}\cdot \frac{r^2}{MD'}$$$$\Longleftrightarrow \frac{A'B'}{B'C'} =\frac{MA'}{MD'} \Longleftrightarrow \frac{A'B'}{B'C'} =\frac{MC'}{MD'}$$We also need to prove that :
$$BM \cdot AD=MA \cdot CD \Longleftrightarrow \frac{r^2 A'D'} {MA' \cdot MD'}\cdot \frac{r^2}{MB'}=\frac{r^2 D'C'} {MC' \cdot MD'}\cdot \frac{r^2}{MA'}$$$$\Longleftrightarrow \frac{A'D'}{D'C'} =\frac{MB'}{MC'} \Longleftrightarrow \frac{A'D'}{D'C'} =\frac{MB'}{MA'}$$So the problem is equivalent to this problem:
The point $M$ is inside the quadrilateral $ABCD$ such that $MA=MC, \angle{CMD} =\angle{ABC} \quad \textnormal{and} \quad \angle{AMB} =\angle{ADC} $.
Prove that $\frac{AD}{DC} =\frac{MB}{MA}$ and $\frac{AB}{BC} =\frac{MC}{MD}$
Let $T$ be a point such that $\triangle ABM \sim \triangle ACT$ ($ADTC$ is a cyclic quadrilateral because $\angle{ATC} =\angle{AMB} =\angle{ADC} $)
So $A$ is the center of spiral similarity that takes $BM$ to $CT$, so it will takes $BC$ to $MT$ $\Longrightarrow \triangle ABC \sim \triangle AMT$
$$ \Longrightarrow \angle{AMT}=\angle{ABC} =\angle{DMC} ...(1)$$Since the perpendicular bisector of $AC$ bisects $\angle{AMC}$ so from $(1)$ it bisects $\angle{DMT}$ and since the reflection of $D$ in the perpendicular bisector of $AC$ lies on $(DACT)$ so it is obvious that $T$ is the reflection of $D$ in the perpendicular bisector of $AC$.
$$\Longrightarrow \triangle CAD \simeq \triangle ACT$$But since $\triangle ACT \sim \triangle ABM$ so we have $\triangle CAD \sim \triangle ABM$
$$\Longrightarrow \frac{AD}{DC} =\frac{MB}{MA}$$And then we also have $\triangle ABC \sim \triangle CMD \Longrightarrow \frac{AB}{BC} =\frac{MC}{MD}$
As desired...
$\blacksquare$
Let $DM$ intersect $BC$ at $P$ and $BM$ intersect $AD$ at $Q$. Let $B_0$ be on the same side as $B$ of $AC$ such that $\triangle AB_0C\sim \triangle AMD$. Note that $\angle MPC=\angle DMC-\angle MCP=\angle MAP$ so $MABP$ is cyclic. Additionally, $\angle DQM=\angle AMB-\angle MAD=\angle MCD$ so $MDQC$ is cyclic.
$~$
Now, $\angle AB_0C=\angle AMD=180^\circ-\angle AMP=\angle ABP=\angle ABC$, so $ABB_0C$ is cyclic. Thus, $A$ is the Miquel Point of quadrilateral $MDCB_0$. We have
\[\angle AMB_0=\angle ADC=180^\circ-\angle QDC=180^\circ-\angle QMC=\angle BMC\]By symmetry across the perpendicular bisector of $AC$, $ABB_0C$ is an isosceles trapezoid, so $\triangle ABC\sim \triangle DMA$. We also have $\angle ADC=\angle BMC$ and $\angle DCA=\angle MB_0A=\angle MBC$ so $\triangle MBC\sim \triangle DCA$. In particular,
\begin{eqnarray*}
\frac{DM}{AM}=\frac{AB}{BC}&\implies& AB \cdot CM = BC \cdot MD \\
\frac{BM}{MC}=\frac{CD}{AD}&\implies& BM \cdot AD = MA \cdot CD
\end{eqnarray*}as desired.