Cor. 1.—The sum of the three interior angles of the triangle BCF is equal to the sum of the three interior angles of the triangle ABC.
Cor. 2.—The area of BCF is equal to the area of ABC.
Cor. 3.—The lines BA and CF, if produced, cannot meet at any finite distance. For, if they met at any finite point X, the triangle CAX would have an exterior angle BAC equal to the interior angle ACX.
PROP. XVII.—Theorem.
Any two angles (B, C) of a triangle (ABC) are together less than two right angles.
Dem.—Produce BC to D; then the exterior angle ACD is greater than ABC [xvi.]: to each add the angle ACB, and we have the sum of the angles ACD, ACB greater than the sum of the angles ABC, ACB; but the sum of the angles ACD, ACB is two right angles [xiii.]. Therefore the sum of the angles ABC, ACB is less than two right angles.
In like manner we may show that the sum of the angles A, B, or of the angles A, C, is less than two right angles.
Cor. 1.—Every triangle must have at least two acute angles.
Cor. 2.—If two angles of a triangle be unequal, the lesser must be acute.
Exercise.