Animation 79

The proof of a theorem from geometry is dynamically being illustrated here. Which theorem is it? And how does this applet informally illustrate its proof? (Feel free to move the points anywhere you'd like!)
Font sizeFont size
Very smallSmallNormalBigVery big
Bold [ctrl+b]
Italic [ctrl+i]
Underline [ctrl+u]
Strike
Superscript
Subscript
Font color
Auto
Justify
Align left
Align right
Align center
• Unordered list
1. Ordered list
Quote [ctrl+shift+3]
[code]Code [ctrl+shift+4]
Insert table
Remove Format
Insert image [ctrl+shift+1]
Insert icons of GeoGebra tools
[bbcode]
Text tools
Insert Math
Close

Information: Animation 79