MathDB
3PI+IT=AC wanted, incenter in 90-60-30 (2021 Kyiv City MO Round2 8.2)

Source:

February 14, 2021
geometryincenterright triangle

Problem Statement

In a triangle ABCABC, B=90o\angle B=90^o and A=60o\angle A=60^o, II is the point of intersection of its angle bisectors. A line passing through the point II parallel to the line ACAC, intersects the sides ABAB and BCBC at the points PP and TT respectively. Prove that 3PI+IT=AC3PI+IT=AC .
(Anton Trygub)