برای سوال آقای seifi_seifi :
برای اون قسمتی که باید همرسی AO_۱ و BO_۲ و DT اثبات بشه کافیه که از سوای سینوسی کمک بگیرید .
بعد از اثبات شدن این موضوع برای اثبات همرسی PQ با اون سه خط کافیه از پاپوس استفاده کنید.در واقع نتیجهٔ مستقیم پاپوس هست.
برای اون تیکه هم که باید سوا زد ابتدا سوای...