Lambert quadrilateral (source code)

= Lambert quadrilateral
{c}
{wiki}

= Lambert quadrilateral identity
{c}
{synonym}

= Hyperbolic trirectangle
{synonym}

= Hyperbolic tri-rectangle
{synonym}

A Lambert quadrilateral is a hyperbolic quadrilateral with three right angles. If its remaining angle is $\theta$ and the two sides incident with that angle have lengths $a,b$, then
$$
\cos\theta=\tanh a\tanh b.
$$