Finsler-Hadwiger Sequel! (GoGeometry Action 33)

Author:
Tim Brzezinski
Topic:
Line Segment, Square
Creation of this applet was inspired by a tweet from Antonio Gutierrez. How can we formally prove both phenomena dynamically illustrated here?

Quick Demo: 0:00 - 0:57 (BGM: Andy Hunter)