Finsler-Hadwig Theorem

Create a square ABCD with side length 'a'. Create another square AEFG (that shares vertex A with the first square) with side length 'b'. The measure of angle BAE=θ. Now construct the figure joining the midpoint of BE, the center of square AEFG, the midpoint of DG, and the center of square ABCD. The figure HIJK is a square. Expressions |
||