1. Let ABCD be a trapezoid with AD∥BC and let the diagonals AC and BD intersect at point P. We need to prove that the product of the legs is at least as much as the product of the bases, i.e.,
AB⋅CD≥AD⋅BC.
2. Given that the diagonals are perpendicular, we have AC⊥BD. Let PA=a, PB=b, PC=c, and PD=d. We need to show:
(a2+b2)(c2+d2)≥(a2+d2)(b2+c2).
3. Expanding both sides, we get:
(a2+b2)(c2+d2)=a2c2+a2d2+b2c2+b2d2,
and
(a2+d2)(b2+c2)=a2b2+a2c2+d2b2+d2c2.
4. Subtracting the right-hand side from the left-hand side, we obtain:
(a2c2+a2d2+b2c2+b2d2)−(a2b2+a2c2+d2b2+d2c2)=a2d2+b2c2−a2b2−d2c2.
5. Rearranging terms, we get:
a2d2+b2c2−a2b2−d2c2=(a2−c2)(d2−b2).
6. Since AD∥BC, we have the ratios PDPA=PBPC=t. This implies:
a=tdandc=tb.
7. Substituting these into the inequality, we get:
(t2d2−t2b2)(d2−b2)=t2(d2−b2)2.
8. Since (d2−b2)2≥0 and t2≥0, it follows that:
t2(d2−b2)2≥0.
9. Therefore, the inequality holds:
(PA2+PB2)(PC2+PD2)≥(PA2+PD2)(PB2+PC2).
■