Finsler-Hadwig Theorem

Download Geometry Expressions File

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

Name Input
Perimeter of HIJK Derive Input Maple Input MathML Input Mathematica Input Maxima Input Mupad Input TI-Nspire Input text Input Image
Area of HIJK Derive Input Maple Input MathML Input Mathematica Input Maxima Input Mupad Input TI-Nspire Input text Input Image