Hello, Mukilab!

is a square.

and are equilateral triangles on the east and south side of the square, resp.

Having proved , I now need to prove that .?Code:A B o - - - - - o | | * | | * | | o E | | * | | * o - - - - - o D * * C * * * * * * * * o F

Where is point ?