MathDB
Time to length bash

Source: 2023 Thailand Online MO P4

February 12, 2023
geometry

Problem Statement

Let ABCABC be a triangle, and let DD and D1D_1 be points on segment BCBC such that BD=CD1BD = CD_1. Construct point EE such that ECBCEC\perp BC and EDACED\perp AC. Similarly, construct point FF such that FBBCFB\perp BC and FDABFD\perp AB. Prove that EFAD1EF\perp AD_1.