AP is perpendicular to QR iff AB=AC or 2BC^2=AB^2+AC^2
Source: 2022 Viet Nam math olympiad for high school students D1 P8
March 20, 2023
Problem Statement
Given the triangle with is its Fermat–Torricelli point. Let be the circumcircle of . Choose a point on such that is perpendicular to . The segment intersects at . Similar definition of points . The reflection lines of the Euler line of wrt intersect at , respectively.Prove that: is perpendicular to if and only if or .