The hyperbolic law of sines is
Set in the cosine laws for sides and angles and eliminate and . Straight algebra gives the right-triangle identities