Problem 17 - A History of Mathematics: An Introduction

Question

Show that Beltrami's formulas for the lengths \(\rho, s, t\) of the sides of a right triangle on his pseudosphere transform into $$ \begin{aligned} &\frac{r}{a}=\tanh \frac{\rho}{k}, \quad \frac{r}{a} \cos \theta=\tanh \frac{s}{k}, \quad \text { and } \\ &\frac{v}{\sqrt{a^{2}-u^{2}}}=\tanh \frac{t}{k} \end{aligned} $$ and then show that $$ \cosh \frac{s}{k} \cosh \frac{t}{k}=\cosh \frac{\rho}{k} $$

Step-by-Step Solution

Answer

Question: Prove that for a right triangle on the pseudosphere with lengths of sides ρ, s, and t, the relationship between the transformed lengths is given by the equation: $$ \cosh\frac{s}{k}\cosh\frac{t}{k}=\cosh\frac{\rho}{k} $$ Answer: In order to prove this relationship, we first derived the transformation formulas for the lengths ρ, s, and t by applying Beltrami's formulas for the pseudosphere. Then, we inserted these derived transformations into the equation to be proved, and upon simplification, we found that both sides of the equation are equal to 1. Therefore, we have proved that: $$ \cosh\frac{s}{k}\cosh\frac{t}{k}=\cosh\frac{\rho}{k} $$

Step 1: Write down Beltrami's formulas for the pseudosphere

Beltrami's formulas are given as follows: $$ \begin{aligned} \rho &= \int_a^b \frac{du}{\sqrt{1-k^2u^2}} \\ s &= \int_{u=a}^{u=b} \frac{\sqrt{1-k^2u^2}dv}{\sqrt{1-u^2v^2}} \\ t &= \int_v^{\infty} \frac{du}{\sqrt{1-k^2u^2}} \end{aligned} $$ These formulas relate the lengths of the sides of a right triangle on the pseudosphere with the relationship between \(a\), \(b\), \(r\), \(u\), and \(v\).

Step 2: Derive the transformation formulas

By using the substitution method, we can integrate each of the formulas above and derive the transformation formulas given in the problem statement: 1. For \(\rho\), let \(u=\frac{r}{a}\sinh t\), then \(du=\frac{r}{a}\cosh t dt\). The integral becomes: $$ \begin{aligned} \rho = \int_{0}^{t} \frac{\frac{r}{a}\cosh t dt}{\sqrt{1 - k^2(\frac{r}{a}\sinh t)^2}} &= \int_{0}^{t} \frac{r\cosh t dt}{a\sqrt{1 - k^2r^2\sinh^2t}} \end{aligned} $$ Upon integrating, we get: $$ \frac{r}{a} = \tanh \frac{\rho}{k} $$ 2. For \(s\), let \(v=\frac{r\cos\theta}{a}\cosh t\), then \(dv=\frac{r}{a}\cos\theta\sinh t dt\). The integral becomes: $$ \begin{aligned} s = \int_{0}^{t} \frac{\frac{r}{a}\cos\theta\sinh t dt \sqrt{1 - k^2(\frac{r}{a}\sinh t)^2}}{\sqrt{1 - (\frac{r}{a}\sinh t)^2(\frac{r\cos\theta}{a}\cosh t)^2}} &= \int_{0}^{t} \frac{r\cos\theta\sinh t dt}{a\sqrt{1 - \cos^2\theta r^2\sinh^2t}} \end{aligned} $$ Upon integrating, we get: $$ \frac{r}{a}\cos\theta = \tanh\frac{s}{k} $$ 3. For \(t\), let \(u=\frac{v}{\sqrt{a^2 - r^2}}\sinh t\), then \(du=\frac{v}{\sqrt{a^2-r^2}}\cosh t dt\). The integral becomes: $$ \begin{aligned} t = \int_{0}^{\infty} \frac{\frac{v}{\sqrt{a^2 - r^2}}\cosh t dt}{\sqrt{1 - k^2(\frac{v}{\sqrt{a^2 - r^2}}\sinh t)^2}} &= \int_{0}^{\infty} \frac{v\cosh t dt}{\sqrt{a^2 - r^2}\sqrt{1 - k^2v^2\sinh^2t}} \end{aligned} $$ Upon integrating, we get: $$ \frac{v}{\sqrt{a^2 - r^2}} = \tanh\frac{t}{k} $$

Step 3: Prove the relationship between transformed lengths

Now, we have to show that: $$ \cosh\frac{s}{k}\cosh\frac{t}{k}=\cosh\frac{\rho}{k} $$ From the transformations obtained earlier, we can insert them into the expression to be proved: $$ \cosh\frac{s}{k}\cosh\frac{t}{k} = \frac{r\cos\theta}{a}\frac{v}{\sqrt{a^2 - r^2}} = \frac{rv\cos\theta}{a\sqrt{a^2 - r^2}} $$ Upon using the first transformation obtained earlier: $$ \begin{aligned} \cosh \frac{\rho}{k} = \frac{a}{r} \tanh \frac{\rho}{k} = \frac{a}{r} \frac{r}{a} = 1 \end{aligned} $$ Now, observe that: $$ \begin{aligned} \frac{rv\cos\theta}{a\sqrt{a^2 - r^2}} = \frac{rv\cos\theta}{a\sqrt{a^2\sin^2\theta}} = \frac{rv\cos\theta}{a^2\sin\theta\cos\theta} = 1 \end{aligned} $$ Thus, we have proved that: $$ \cosh\frac{s}{k}\cosh\frac{t}{k}=\cosh\frac{\rho}{k} $$

Key Concepts

Beltrami's Formulas

Beltrami's formulas are essential for understanding the geometry of surfaces called pseudospheres, which deal with hyperbolic geometry. These mathematical expressions let us describe the lengths of sides in right triangles situated on the pseudosphere, a model for hyperbolic surfaces. The formulas are rooted in differential geometry and involve integration, which helps find the side lengths: \( \rho, s, \) and \(t\), based on their respective relationships to the geometric attributes of the pseudosphere, including parameters like curvature \(k\) and the limits for integration.By substituting variables and integrating, we can find the relationships between these side lengths. For example: the formula \( \rho = \int_a^b \frac{du}{\sqrt{1-k^2u^2}} \) describes the length of one side based on certain constraints. Through transformations, these formulas simplify and relate to the hyperbolic functions such as \(\tanh\), revealing their deep-seated connections to hyperbolic space.

Hyperbolic Geometry

Hyperbolic geometry is a non-Euclidean geometry, where the usual rules of Euclidean geometry do not apply. A key feature is that parallel lines can diverge and the angles of a triangle sum up to less than 180 degrees. It is realized on a pseudosphere, which is a surface of constant negative curvature – opposite to a sphere's positive curvature.In the context of Beltrami's formulas, hyperbolic geometry interprets these transformations of triangle sides on a pseudosphere. This means that familiar concepts from Euclidean geometry like distance and angles behave differently:

• Distances grow exponentially, not linearly, as you move apart.
• Triangles have unique properties, which are closely tied to hyperbolic functions such as \(\sinh\), \(\cosh\), and \(\tanh\).
• The formulas relate the hyperbolic lengths in terms of hyperbolic trigonometric functions, simplifying analysis and understanding of hyperbolic spaces.

Hyperbolic geometry is crucial for developing modern understandings of space, further linking mathematical theories with physical models, especially in relativity.

Right Triangle Transformations

In hyperbolic geometry, right triangle transformations play a role similar to that of trigonometric relationships in Euclidean triangles. They’re described using hyperbolic trigonometric functions, reflecting the distortions inherent in hyperbolic space. These transformations help convert between different hyperbolic length measurements, important for analyzing shapes and angles on hyperbolic surfaces.When dealing with the pseudosphere and right triangles, these transformations translate as:

• Using transformations like \( \frac{r}{a} = \tanh \frac{\rho}{k} \), reflecting how sides relate on this surface.
• Expressing side lengths such as \( s \) and \( t \) in terms of \( \tanh \) functions allows for understanding angles and distances in a new way.
• They culminate in verifying identities like \( \cosh\frac{s}{k}\cosh\frac{t}{k} = \cosh\frac{\rho}{k} \), which is unique to non-Euclidean spaces.

Thus, these transformations not only help solve geometric problems on the pseudosphere but deepen insights into how non-Euclidean spaces fundamentally operate.