Two congruent triangles form a cyclic quad
Source: 2021 Thailand Online MO P7 (Mock TMO contest)
April 6, 2021
geometrycongruent triangles
Problem Statement
Let be an acute triangle. Construct a point on the different side of with respect to the line and construct a point on the different side of with respect to the line such that , , and . Let be the reflection of across the perpendicular bisector of . Suppose that and lie on different sides of the line , prove that points , , , and lie on a circle.