Let ABCD be a convex quadrilateral, and write α=∠DAB; β=∠ADB; γ=∠ACB; δ=∠DBC; and ϵ=∠DBA. Assuming that α<π/2, β+γ=π/2, and δ+2ϵ=π, prove that
(DB+BC)2=AD2+AC2
[Moderator edit: Also discussed at http://www.mathlinks.ro/Forum/viewtopic.php?t=30569 .] geometrygeometric transformationreflectiongeometry solved