==> geometry/bisector.p <== Prove if two angle bisectors of a triangle are equal, then the triangle is isosceles (more specifically, the sides opposite to the two angles being bisected are equal).