Law of cosines . The power of the point with respect to the circle is equal to both and . Therefore, which is the law of cosines. Using algebraic measures for line segments (allowing negative numbers as lengths of segments) the case of obtuse angle () and acute angle () can be treated simultaneously. By using the law of sines and knowing that the angles of a triangle must sum to 180 degrees, we have the following system of equations (the three unknowns are the angles): Then, by using the third equation of the system, we obtain a system of two equations in
Triangle of the lengths of any two sides of a triangle must be greater than or equal to the length of the third side. That sum can equal the length of the third side only in the case of a degenerate triangle, one with collinear vertices. It is not possible for that sum to be less than the length of the third side. A triangle with three given positive side lengths exists if and only if those side lengths satisfy the triangle inequality. Three given angles form a non-degenerate triangle (and indeed an infinitude of them) if and only if both