Problem

Source: 2021 Grand Duchy of Lithuania, Mathematical Contest p3 (Baltic Way TST) https://artofproblemsolving.com/community/c1321893_grand

Tags: geometry, right triangle, angles



Let $ABCD$ be a convex quadrilateral satisfying $\angle ADB + \angle ACB = \angle CAB + \angle DBA = 30^o$, $AD = BC$. Prove that there exists a right-angled triangle with side lengths $AC$, $BD$, $CD$.