Finsler-Hadwiger Sequel! (GoGeometry Action 33)

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)