Numbers a, b, c, d satisfy: ab+cd>0, ac+bd>0, and a2+d2=c2+b2. Prove that ad+bc>0.
Solution
(ab+cd)(ac+bd)=a2bc+ac2d+ab2d+bcd2=bc(a2+d2)+ad(c2+b2)=bc(a2+d2)+ad(a2+d2)=(a2+d2)(bc+ad)>0, which implies the required inequality.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.