Означаваме с [tex]\beta[/tex] мярката на ъгъл [tex]\angle ABC[/tex]. От условието за вписан четириъгълник м. [tex]\angle ADC = 180^\circ - \beta[/tex]
Построяваме точка [tex]M[/tex] такава, че[tex]\angle QAM= \angle QAD[/tex] и [tex]AM=AD (=AB)[/tex]
Очакваме [tex]M\in PQ[/tex].

- Hephaestus s prblm frm 12 Мар 2018 23 10.png (6 KiB) Прегледано 731 пъти
Сега ще докажем този факт.
[tex]\left.\begin{matrix}
1. & & AM=AD \\
2. & & AQ=AQ \\
3. & \angle QAM & = \angle QAD
\end{matrix}\right\} \,\ \Rightarrow[/tex] [tex]\triangle AQM \cong \triangle AQD[/tex] - по първи признак.
От доказаната еднаквост получаваме като следствие [tex]\angle AMQ = 180^\circ - \beta \,\ (*)[/tex]
От условието [tex]\angle PAQ = \frac{1}{2} \angle BAD[/tex], построението на точката [tex]M[/tex] веднага влече [tex]\angle PAM = \angle PAM = \beta[/tex]
[tex]\left.\begin{matrix}
1. & & AM=AB \\
2. & & AP=AP \\
3. & \angle PAM & = \angle PAB
\end{matrix}\right\} \,\ \Rightarrow[/tex] [tex]\triangle APM \cong \triangle APB[/tex] - също по първи признак.
От доказаната еднаквост получаваме като следствие [tex]\angle AMP = \beta \,\ (**)[/tex]
Ъглите [tex]\angle AMQ[/tex] и [tex]\angle AMP[/tex] от [tex](*)[/tex] и [tex](**)[/tex] са с общ връх, общо рамо - лъча [tex]PA^{\rightarrow}[/tex] и сбор [tex]180^\circ[/tex], следователно са съседни, т.е. точките [tex]P, M[/tex] и [tex]Q[/tex] лежат на една права (дори на една отсечка!).
Това означава, че [tex]PQ=PM+QM[/tex].
Но от двете двойки еднакви триъгълници има още следствия. От първата [tex]QM=QD[/tex], а от втората [tex]PM=BM[/tex].
Следователно [tex]PQ=BP+QD[/tex].
Feci, quod potui, faciant meliora p0tentes.
Сторих каквото можах, по-добрите по-добро да направят.