In the hyperbolic law of cosines, the angle opposite being at least makes its cosine nonpositive. ThusSince is increasing on , the opposite side is longest: . For a nondegenerate hyperbolic triangle both comparisons are strict.
Articles by others on the same topic
There are currently no matching articles.