$\triangle BPD$ de, $A$ noktası için Trigonometrik Ceva:
$$\dfrac{ \sin \angle ABD}{\sin \angle ADB}\cdot\dfrac{ \sin \angle ADP}{\sin \angle APD}\cdot\dfrac{ \sin \angle APB}{\sin \angle ABP} = 1\tag{1}$$
$\triangle BPD$ de, $C$ noktası için Trigonometrik Ceva:
$$\dfrac{ \sin \angle CBD}{\sin \angle CDB}\cdot\dfrac{ \sin \angle CDP}{\sin \angle CPD}\cdot\dfrac{ \sin \angle CPB}{\sin \angle CBP} = 1 \tag {2}$$
$(1)$ ile $(2)$ taraf tarafa çarpıp $\angle ABD = \angle PBC$, $\angle ABP = \angle DBC$, $\angle ADB = \angle PDC$, $\angle ADP = \angle BDC$ eşitliklerini yazarsak
$$\dfrac{ \sin \angle APB}{ \sin \angle APD} \cdot \dfrac{ \sin \angle CPB}{\sin \angle CPD} = 1 \tag {3}$$ elde ederiz.
$BP$ ile $DP$ doğruları $AC$ yi sırasıyla $X$ ve $Y$ de kessin. $PC$ ile $BD$, $Z$ de kesişsin.
$(3)$ ü $$\dfrac{ \sin \angle APB}{ \sin \angle APD} = \dfrac {\sin \angle CPD}{\sin \angle CPB} = \dfrac {\sin\angle ZPD}{\sin \angle ZPB} \tag {4}$$ şeklinde yazarsak $\angle APB = \angle ZPD$ ve $\angle APD = \angle ZPB$ çıkar. Biraz düzenlemeyle $$\angle XPC = \angle YPA \tag {5}$$ elde edilir.
- $ABCD$ kirişler dörtgeni ise; $\angle PXY = \angle XBC + \angle XCB = \angle YCD + \angle YDC = \angle PYX$ elde edlir. $(5)$ ile birleştirirsek $AP=CP$ elde edilir.
- $AP=CP$ ise; $PX$ i $PD=PE$ olacak şekilde uzatalım. $\triangle PEC \cong \triangle PDA$.
$ACED$ ikizkenar yamuktur. Yani bir kirişler dörtgenidir.
$\angle CEP =\angle ADP =\angle BDC$ olduğu için de $BDEC$ kirişler dörtgenidir. Bu durumda $ABCD$ kirişler dörtgenidir.
Not 1: $ABCD$ kirişler dörtgeni ise $AP=CP$ önermesinin aslında daha kolay ispatları var. Bundan dolayı olmalı ki,
IMO istatistiklerine göre, yarışmacıların $\% 25$ i $3$ puan almış.
Not 2: $A$ ile $C$ noktaları, $\triangle BDP$ de
izogonal eşleniklerdir. Aslında yukarıda bunun ispatı yapıldı. Aslında bu durum doğrudan Trigonometrik Ceva'daki oranların yer değiştirmesinin bir sonucudur. Soruda nokta üçgenin dışında olduğu için bunun görülmesi zor olmuş olabilir. Ben pratik olarak, nokta üçgen içerisindeymiş gibi oranları yazarak ilerliyorum.