MathDB
AB//CD when <B= 2<A , angle bisector of B intersects perp.bisector of AC at D

Source: 2010 VWO Flanders MO p3

August 7, 2020
geometryangle bisectorparallelperpendicularangles

Problem Statement

In a triangle ABCABC, B=2A90o\angle B= 2\angle A \ne 90^o . The inner bisector of BB intersects the perpendicular bisector of [AC][AC] at a point DD. Prove that ABCDAB \parallel CD.