Find all quadruples $(a, b, c, d)$ of non-negative integers such that $ab =2(1 + cd)$ and there exists a non-degenerate triangle with sides of length $a - c$, $b - d$, and $c + d$.
Source: 2022 Dutch IMO TST 3.1
Tags: number theory, Diophantine equation, diophantine
Find all quadruples $(a, b, c, d)$ of non-negative integers such that $ab =2(1 + cd)$ and there exists a non-degenerate triangle with sides of length $a - c$, $b - d$, and $c + d$.