Applet leads students to informally discover two properties (in this case, theorems that CAN be proven formally afterwards):
1) If two sides of a triangle are congruent, then the angles opposite those sides are congruent.
2) The bisector of the vertex angle of an isosceles triangle is the perpendicular bisector of the base.