MathLabs

Problem 2

Suppose ABCDABCD is a square of side length aa. Two parallel lines ℓ1\ell_1 and ℓ2\ell_2 in the plane are aa units apart. The square is placed so that ABAB and ADAD meet ℓ1\ell_1 at EE and FF, while CBCB and CDCD meet ℓ2\ell_2 at GG and HH. If the perimeters of △AEF\triangle AEF and △CGH\triangle CGH are m1m_1 and m2m_2, prove that m1+m2m_1+m_2 is constant, regardless of the placement.
Step 1 of 4: Locate the common excentre
O=EH∩FGO=EH\cap FG
Detailed analysis

Let O=EH∩FGO=EH\cap FG. The distances from GG to the lines FDFD and EFEF are both aa, so FGFG bisects the relevant angle at FF; similarly EHEH bisects the relevant angle at EE. Thus OO is an excentre of △AEF\triangle AEF. The same argument at G,HG,H shows that it is also an excentre of △CGH\triangle CGH.