allier написа:...
следва, че ъгъл PP2P4 = ъгъл PP0P2,
следователно ъгъл P0PP2 е прав.
...
Ще се радвам, ако има грешка, някой да я посочи.
Ако P0, P и P4 лежат на една права, то съгласен съм, че
ъгъл P0PP2 е правНо не мога да разбера защо считаме, че P0, P и P4 лежат на една права (не твърдя, че не е вярно, а питам защо е така?) и затова онова "следователно" по-горе в цитата съм го оцветил в червено.
А относно "построимост с линийка и пергел" - категорично твърдя, че мога построя точката с линийка и пергел по следния начин:
Построявам последователно точките P3 P4 ... до P10 (не виждам никаква трудност това да го направя с линийка и пергел)
Тук визуално се забелязва (не мисля че е проблем и да се докаже стриктно), че:
P0P1 е успоредна на P8P9,
P1P2 е успоредна на P9P10,
P2P0 е успоредна на P10P8,
А също се забелязва, че именно търсената точка P е "центъра" на изображението (май "хомотетия" се наричаше в училище това изображение) което "праща" P0P1P2 в P8P9P10.
Защото (същото като в цитата по-долу, но за триъгълнитците P0P1P2 и P8P9P10)
allier написа:Оттук следва, че тъй като точка P за първия триъгълник се генерира по същата процедура както точка P за втория (и съвпада), то ъглите които PP0, PP1, PP2 сключват със страните на P0P1P2 са същите като ъглите, които PP2, PP3, PP4 сключват със страните на P2P3P4.
И остава да се построи пресечната точка на например правите през P0P8 и P2P10 (и това е търсената точка P)