<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[a4paper,12pt]{article}
\usepackage{epsfig}
\newcommand{\ds}{\displaystyle}
\newcommand{\un}{\underline}
\parindent=0pt
\begin{document}

{\bf Question}

Let $T$ be a triangle with angles $\alpha$, $\beta$, and
$\frac{\pi}{2}$.  Let $a$ be the hyperbolic length of the side of
$T$ opposite the vertex with angle $\alpha$, and let $b$ be the
hyperbolic length of the side of $T$ opposite the vertex with
angle $\beta$.  Prove that $\tanh(b) = \sinh(a)\tan(\beta)$, that
$\sinh(b) = \sinh(c) \sin(\beta)$, and that $\tanh(a) = \tanh(c)
\cos(\beta)$.
\medskip

{\bf Answer}

\begin{center}
\epsfig{file=407-10-2.eps, width=50mm}
\end{center}

\begin{itemize}
\item
\un{ls}
$\ds\frac{\sinh(a)}{\sin(\alpha)}=\ds\frac{\sinh(b)}{\sin(\beta)}$

\un{lcII}
$\cos(\beta)=-\cos(\alpha)\cos(\frac{\pi}{2})+\sin(\alpha)\sin(\frac{\pi}{2})\cosh(b)$

\un{from ls}:
$\sinh(b)=\ds\frac{\sinh(a)\sin(\beta)}{\sin(\alpha)}$

\un{use lcII}:
$\sinh(b)=\ds\frac{\sinh(a)\sin(\beta)}{{\cos(\beta)}/{\cosh(b)}}
=\sinh(a)\cosh(b)\tan(\beta)$

So $\tanh(b)=\sinh(a)\tan(\beta)$ as desired. $(\star)$

\item
$\sinh(b)=\sinh(c)\sin(\beta) =
\ds\frac{\sinh(c)}{\sin(\beta)}\sin(\beta)$ $\left({\rm{with}}\
\gamma=\ds\frac{\pi}{2}\right)$

immediately from ls.

\item
from above $(\star)$: $\tanh(b)=\sinh(a)\tan(\beta)$

\un{from ls and lcII}:

$\cosh(c)=\cot(\alpha)\cot(\beta)$

(with $\gamma=\ds\frac{\pi}{2}$ and using

$\cos(\gamma)=-\cos(\alpha)\cos(\beta)+\sin(\alpha)\sin(\beta)\cosh(c))$

$\sinh(c)=\ds\frac{\sinh(a)}{\sinh(\alpha)}$

\begin{eqnarray*}
\tanh(c) &amp; = &amp;\ds\frac{\sinh(a)}{\sin(\alpha)} \cdot
\tan(\alpha)\tan(\beta)\\ &amp; = &amp; \sinh(a) \cdot \tan(\beta) \cdot
\ds\frac{1}{\cos(\alpha)} \end{eqnarray*}

and so \begin{eqnarray*} \tanh(c)\cos(\alpha) &amp; = &amp;
\sinh(a)\tanh(\beta)\\ &amp; = &amp; \tanh(b) \end{eqnarray*} (from
$(\star)$) (as desired)
\end{itemize}
\end{document}
</pre></body></html>