Squares in Squares

5 $s = 2 + {1\over 2}\sqrt 2 = \Nn{2.70710678118654}$ Rigid. Proved by Frits Göbel in early 1979. 10 $s = 3 + {1\over 2}\sqrt 2 = \Nn{3.70710678118654}$ Found by Frits Göbel in early 1979. Proved by Walter Stromquist in 2003. Explore group 11 $s = {}^{8}🔒 = \Nn{3.87708359002281}$ $s^8 - 20s^7 + 178s^6 - 842s^5 + 1923s^4 - 496s^3 - 6754s^2 + 12420s - 6865 = 0$ Rigid. Found by Walter Trump in 1979. 17 $s = {}^{18}🔒 =...