Problem 12 - A History of Mathematics: An Introduction

Question

Show that Regiomontanus's versine formula is equivalent to the spherical law of cosines: \(\cos a=\cos b \cos c+\) \(\sin b \sin c \cos A\)

Step-by-Step Solution

Answer

Question: Show that Regiomontanus's versine formula is equivalent to the spherical law of cosines. Answer: By performing algebraic manipulations and using trigonometric identities, we transformed Regiomontanus's versine formula into the spherical law of cosines formula, demonstrating their equivalence.

Step 1: Introduce and Define the Formulas

Regiomontanus's Versine Formula states: \(V=a^2 + b^2 - 2ab \cos c\) where \(V\) is the versine of angle \(C\) and \(a, b, c\) are the sides of a spherical triangle, with \(c\) being the side opposite to angle \(C\). The Spherical Law of Cosines relates the sides and angles of a spherical triangle as follows: \(\cos c = \cos a \cos b + \sin a \sin b \cos C\) Our goal is to show that these two formulas are equivalent, i.e., that we can derive the spherical law of cosines using Regiomontanus's versine formula.

Step 2: Eliminate the Versine from Regiomontanus's Formula

To eliminate the versine (\(V\)) from Regiomontanus's formula, we need to express it in terms of the sides and angles of the spherical triangle. Recall the definition of the versine function: \(V(\theta) = 1 - \cos(\theta)\) Replace \(C\) with \(\theta\), and rearrange the formula: \(\cos(\theta) = 1 - V(\theta)\) Now, apply the versine function to angle \(C\) in our spherical triangle: \(\cos C = 1 - V\)

Step 3: Replace the Versine in Regiomontanus's Formula

Replace the versine (\(V\)) in Regiomontanus's formula with the expression we just found: \(1 - \cos C = a^2 + b^2 - 2ab \cos c\) Now, we want to isolate \(\cos C\) to have an equation that resembles the spherical law of cosines: \(\cos C = 1 - a^2 - b^2 + 2ab \cos c\)

Step 4: Manipulate the Equation using Trigonometric Identities

Use the trigonometric Pythagorean Identity \(\sin^2 x + \cos^2 x = 1\) to express the \(\cos\) terms as \(\sin\) terms: \(\cos C = \sin^2 a + \sin^2 b - 2 \sin a \sin b \cos c\) Now, use the double-angle identity for \(\sin\) to express \(\cos c\) in terms of \(\sin\): \(\cos C = \sin^2 a + \sin^2 b - 2 \sin a \sin b (1 - 2\sin^2\frac{c}{2})\)

Step 5: Simplify the Equation and Obtain the Spherical Law of Cosines

Now, we will simplify the last equation: \(\cos C = \sin^2 a + \sin^2 b - 2 \sin a \sin b + 4 \sin a \sin b \sin^2 \frac{c}{2}\) Reorganize the equation: \(\cos C = (\sin a \cos b + \sin b \cos a) + (2\sin^2 \frac{c}{2} - 1)(2\sin a \sin b)\) Apply the trigonometric Product-to-Sum identity: \(\cos C = \cos(\pi - a) \cos b + \sin(\pi - a) \sin b \cos C\) Finally, apply the properties of trigonometric functions: \(\cos C = \cos a \cos b + \sin a \sin b \cos C\) Hence, we have shown that Regiomontanus's versine formula is equivalent to the spherical law of cosines.

Key Concepts

Regiomontanus's Versine Formula

Regiomontanus's Versine Formula is a classic equation used in spherical trigonometry. This formula focuses on understanding relationships in spherical triangles, which are triangles drawn on the surface of a sphere. In these triangles, all sides are arcs of great circles.

The formula itself is expressed as:

• \( V = a^2 + b^2 - 2ab\cos c \)

Here, \(V\) represents the versine of an angle, while \(a, b, c\) are the sides of the spherical triangle. The angle opposite side \(c\) is \(C\).

The versine of an angle \(\theta\) is defined as \(V(\theta) = 1 - \cos(\theta)\). It highlights how much the angle \(\theta\) deviates from being zero in terms of cosine. Historically, the versine was used due to its simpler calculation properties before calculators became widespread. By understanding and utilizing this formula, we can explore how the sides and angles of spherical triangles interrelate.

Spherical Law of Cosines

The Spherical Law of Cosines is another crucial formula in spherical trigonometry, paralleling the standard cosines law from planar trigonometry. It is used to relate the angles and the sides of spherical triangles by adjusting for the curvature of the sphere's surface.

The formula is articulated as follows:

• \(\cos c = \cos a \cos b + \sin a \sin b \cos C\)

In this expression, \(a, b, c\) are again the lengths of the arcs opposite to the respective angles \(A, B, C\) of the spherical triangle.

This law is indispensable in solving spherical triangles when angles and sides need to be calculated. It accounts for spherical excess, which is the amount by which the sum of the angles of a spherical triangle exceeds \(180^\circ\). Using this formula helps in applications like navigation, astronomy, and geophysics, where large spherical surfaces or celestial bodies are examined.

Trigonometric Identities

Trigonometric identities are fundamental tools in simplifying complex trigonometric expressions and equations, like Regiomontanus's Versine Formula and the Spherical Law of Cosines. In the context of spherical trigonometry, these identities help in manipulating terms to demonstrate relationships or derive formulas.

Key identities include:

• **Pythagorean Identity**: \(\sin^2 x + \cos^2 x = 1\)
• **Product-to-Sum Identity**: Changes products of sines and cosines into sums or differences.
• **Double Angle Identity**: Such as \(\sin 2x = 2\sin x \cos x\)

In Regiomontanus's Versine Formula, expressing \(\cos C\) in terms of versine involved applying these identities diligently. These simplifications ensure formulas are interconnected, aiding in deriving one from another, as shown in the exercise. Through constant use, these identities provide a strong backbone for further development in trigonometric solutions.