You need to enable JavaScript to run this app.
Expii
Scalene, Isosceles, and Equilateral: Proofs - Expii
The proofs here—about isosceles and equilateral triangles—are mostly inspired by symmetry, and formalized using triangle congruence rules.