Right triangle right triangle, see the hyperbolic triangle of a hyperbolic sector. The values of the trigonometric functions can be evaluated exactly for certain angles using right triangles with special angles. These include the "30-60-90 triangle" which can be used to evaluate the trigonometric functions for any multiple of π/6, and the "45-45-90 triangle" which can be used to evaluate the trigonometric functions for any multiple of π/4. Let "H", "G", and "A" be the harmonic mean, the geometric mean, and the arithmetic mean of two positive numbers "a" and "b" with "a" > "b". If a right triangle has legs "H"
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