Texas Instruments
Texas Instruments: Triangle Sum
This activity is used to discover that the sum of the measures of the triangle angles is constant and to discover ways of proving the theorem listed in the activity.
CK-12 Foundation
Ck 12: Interactive Geometry: 4.4 Theorems About Triangles
Discover some theorems about triangles.