MathDB
equal segments inside a quadr. with 2 parallel sides, angle bisectors related

Source: Dutch NMO 2015 p3 juniors

September 7, 2019
geometryangle bisectorequal segmentsparallel

Problem Statement

In quadrilateral ABCDABCD sides BCBC and ADAD are parallel. In each of the four vertices we draw an angular bisector. The angular bisectors of angles AA and BB intersect in point PP, those of angles BB and CC intersect in point QQ, those of angles CC and DD intersect in point RR, and those of angles DD and AA intersect in point S. Suppose that PSPS is parallel to QRQR. Prove that AB=CD|AB| =|CD|.
[asy] unitsize(1.2 cm);
pair A, B, C, D, P, Q, R, S;
A = (0,0); D = (3,0); B = (0.8,1.5); C = (3.2,1.5); S = extension(A, incenter(A,B,D), D, incenter(A,C,D)); Q = extension(B, incenter(A,B,C), C, C + incenter(A,B,D) - A); P = extension(A, S, B, Q); R = extension(D, S, C, Q);
draw(A--D--C--B--cycle); draw(B--Q--C); draw(A--S--D);
dot("AA", A, SW); dot("BB", B, NW); dot("CC", C, NE); dot("DD", D, SE); dot("PP", P, dir(90)); dot("QQ", Q, dir(270)); dot("RR", R, dir(90)); dot("SS", S, dir(90)); [/asy]
Attention: the figure is not drawn to scale.