Right Triangle Wonder

Creation of this animation was inspired by this tweet from Ed Southall. How can we formally prove what is dynamically illustrated here? Note: LARGE POINTS are MOVEABLE.