Problem 3
Let be a parallelogram. Let , , , and be points on sides , , , and , respectively, such that the incenters of triangles , , , and form a parallelogram. Prove that is a parallelogram.
Step 3 of 3: Cyclic inequality contradiction forces AZ=CX and AW=CY
Detailed analysis
Triangles and have the same apex angle and the same inradius , so they share the same decreasing relation between their two legs; likewise and share and . If , assume without loss of generality . Then monotonicity at gives ; subtracting from gives ; monotonicity at then gives ; subtracting from gives , contradicting . Hence and (and consequently and ). Thus and by SAS, giving and , so is a parallelogram.