Para la fórmula, aplica el teorema de Pitágoras sobre la cuarta parte del cuadrado grande. Tienes que averiguar la longitud del lado del cuadrado interno, que llamaré x. Dado que los catetos tienen longitud a/2, entonces:
[tex]x^2=2\left(\frac{a}2\right)^2\to x^2=\frac{a^2}{2}=A_{cuadrado}[/tex]
Me sale, pero sin derivar :O