The quadrilateral $ABCD$ is such that $AB=AD=1$ and $\angle A=90^\circ$. If $CB=c$, $CA=b$, and $CD=a$, then prove that $(2-a^2-c^2 )^2+(2b^2-a^2-c^2 )^2=4a^2 c^2$ and $(a-c)^2\leq 2b^2\leq (a+c)^2$.
Problem
Source: III International Festival of Young Mathematicians Sozopol 2012, Theme for 10-12 grade
Tags: geometry, geometric inequality