Angle trisection with coefficients in the field generated by these numbers. Therefore, any number that is constructible by a sequence of steps is a root of a minimal polynomial whose degree is a power of two. Note also that radians (60 degrees, written 60°) is constructible. The argument below shows that it is impossible to construct a 20° angle. This implies that a 60° angle cannot be trisected, and thus that an arbitrary angle cannot be trisected. Denote the set of rational numbers by . If 60° could be trisected, the degree of a minimal polynomial of over would be a power
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