Hyperbolic triangle the third angle. The triangle where two vertices are ideal points and the remaining angle is right, one of the first hyperbolic triangles (1818) described by Ferdinand Karl Schweikart. The triangle where all vertices are ideal points, an ideal triangle is the largest possible triangle in hyperbolic geometry because of the zero sum of the angles. The relations among the angles and sides are analogous to those of spherical trigonometry; the length scale for both spherical geometry and hyperbolic geometry can for example be defined as the length of a side of an equilateral triangle with fixed angles. The length
Triangle inequality angles satisfy: Therefore, and so, in particular, That means side opposite angle is shorter than side opposite the larger angle . But . Hence: A similar construction shows , establishing the theorem. An alternative proof (also based upon the triangle postulate) proceeds by considering three positions for point : (i) as depicted (which is to be proven), or (ii) coincident with (which would mean the isosceles triangle had two right angles as base angles plus the vertex angle , which would violate the triangle postulate), or lastly, (iii) interior to the right triangle between points and (in which case angle