MathDB
collinearity as a result of perpendicularity and equality

Source: Mexican Mathematical Olympiad 1996 OMM P6

July 28, 2018
geometryperpendicularitycollinearity

Problem Statement

In a triangle ABCABC with AB<BC<ACAB < BC < AC, points A,B,CA' ,B' ,C' are such that AABCAA' \perp BC and AA=BC,BBCAAA' = BC, BB' \perp CA and BB=CABB'=CA, and CCABCC' \perp AB and CC=ABCC'= AB, as shown on the picture. Suppose that ACB\angle AC'B is a right angle. Prove that the points A,B,CA',B' ,C' are collinear.