Nemotron-IMO-Bench 2026 G25

Let $ABCD$ be a convex quadrilateral such that $$(AB-BC)^2+(CD-DA)^2=2(AB\cdot AD-AC\cdot BD+BC\cdot CD).$$ Prove that $ABCD$ is cyclic if and only if it is circumscriptible.