Integer triangle side of the formula are integers it follows that all integer triangles must have an integer value of "16T" and "T" will be rational. By the law of cosines, every angle of an integer triangle has a rational cosine. If the angles of any triangle form an arithmetic progression then one of its angles must be 60°. For integer triangles the remaining angles must also have rational cosines and a method of generating such triangles is given below. However, apart from the trivial case of an equilateral triangle there are no integer triangles whose angles form either a geometric or
Isosceles triangle to provide a solution. Although originally formulated only for internal angle bisectors, it works for many (but not all) cases when, instead, two external angle bisectors are equal. The 30-30-120 isosceles triangle makes a boundary case for this variation of the theorem, as it has four equal angle bisectors (two internal, two external). The inradius and circumradius formulas for an isosceles triangle may be derived from their formulas for arbitrary triangles. The radius of the inscribed circle of an isosceles triangle with side length formula_2, base formula_3, and height formula_1 is: The center of the circle lies on the symmetry