<BAC = <BCE, 2|AD| = |ED|
Source: Dutch NMO 2022 p4
November 17, 2022
geometryequal segmentsequal angles
Problem Statement
In triangle , the point lies on segment such that is the angle bisector of angle . The perpendicular bisector of segment intersects the line in . Suppose that and .
(a) Prove that .
(b) Prove that .[asy]
unitsize(1 cm);pair A, B, C, D, E;A = (0,0);
B = (2,0);
C = (1.8,1.8);
D = extension(C, incenter(A,B,C), A, B);
E = extension((C + D)/2, (C + D)/2 + rotate(90)*(C - D), A, B);draw((E + (0.5,0))--A--C--B);
draw(C--D);
draw(interp((C + D)/2,E,-0.3)--interp((C + D)/2,E,1.2));dot("", A, SW);
dot("", B, S);
dot("", C, N);
dot("", D, S);
dot("", E, S);
[/asy]