MathDB
KL >= PQ, locus of midpoints with ends on perpendicular lines

Source: Netherlands - Dutch NMO 1963 p2

January 31, 2023
geometryLocusgeometric inequalitymidpoint

Problem Statement

The straight lines kk and \ell intersect at right angles. A line intersects kk in AA and \ell in BB. Consider all straight line segments PQPQ (PP on kk and QQ on \ell), which makes an angle of 45o45^o with ABAB. (a) Determine the locus of the midpoints of the line segments PQPQ, (b) If the perpendicular bisector of such a line segment PQPQ intersects the line kk at KK and the line \ell at LL, then prove that KLPQKL \ge PQ.
[hide=original wording of second sentence]De loodrechte snijlijn van k en l snijdt k in A en t in B