The puzzle is as follows:
Suppose that you have a square whose sides measure 1 inch. Let each vertex be $A$, $B$, $C$ and $D$. Now, pick a point $E$ on the interior of this square so that $\angle{EDA}=60^{\circ}$ and $\angle{CBE}=15^{\circ}$. With this in mind and relying only in synthetic geometry, that is no trigonometry allowed. Find the lengths of $BE$, $ED$ and the measure of $\angle{BAE}$.
This problem arised from a discussion and I am not sure how to prove the solution in a reasonable manner.
The original puzzle appears to be some adaptation of the works from George Birkhoff and Ralph Beatley's book of the 1950's and from Markus Horbit's Plane geometry outlines of 1984.
What I did was to "guess" that what if $ED=DA$. This would make $\triangle{AED}$ equilateral and with that $AB=AE=AD$ which make those being the circumradius of $\triangle{BCD}$.
This solves the problem, as $\angle{BAE}=30^{\circ}$. And as for the lenghts requested you may use ratios from special right triangles and their pythagorean triples.
I constructed a perpendicular from $E$ to $AD$ and called the intersection point $F$ and by the perpendicular bisector theorem, $FD=FA$.
I also constructed a perpendicular from $E$ to $BC$ with the intersection called $G$.
It turns out that $GE \parallel BC$, so $GEF$ are collinear which makes $FD=FA=BG=GC=\frac{1}{2}$.
This allows the computation of BE using pythagorean ratios.
In a 15-75-90 triangle these are, $\sqrt{6}-\sqrt{2}:\sqrt{6}+\sqrt{2}:4$.
From this it is known: $\frac{1}{2}=k(\sqrt{6}+\sqrt{2})$
Therefore: $4k=\frac{2}{\sqrt{6}+\sqrt{2}}$
And if you do use rationalization you could get:
$BE=\frac{\sqrt{6}-\sqrt{2}}{2}$ (also in inches)
But as you can see, the problem itself is how to prove that $ED=DA$.
Is there some sort of construction or line or circle here that can properly justify this?. Please keep in mind that I am not good with geometry so I appreciate somebody could attach a drawing or schematic so I could understand this better. Specially as I am requesting what sort of construction is needed.