Precalculus · Chapter 5

Chapter 5
Geometry of triangles

Lectures 19–21  |  measuring what you cannot reach

In this chapter
  1. Right triangles, similarity, and eclipses
  2. Any angle, any triangle
  3. Triangles on a sphere, and what curvature means

Chapter 4 treated sine and cosine as coordinates on a circle, which is what they are and what makes them good at repetition. This chapter goes back to where they came from historically: the triangle, and the problem of measuring things that are too far away, too tall, or too large to put a ruler against.

That problem is older than algebra and it was solved, remarkably well, by people with no equipment beyond a stick and a shadow. By the end of the chapter we will have measured a building, the Earth, and the distance to the Moon, and then we will find a triangle whose angles add to more than \(180^{\circ}\) — at which point the geometry you have been using since primary school quietly stops being the whole story.


Lecture 19 — Right triangles, similarity, and eclipses

Cartoon: measuring a building from the groundA stick figure points at a building. The sun is at the upper right and both the figure and the building cast shadows along the ground. How tall is it?
“Measure its shadow. Then measure your own.”

Why a triangle at all?

idea

Seeing is a triangle. Light leaves the top of a tree, travels in a straight line to your eye, and light from the base does the same; those two rays plus the tree make a triangle, and so do you, your shadow, and the Sun. Every act of looking at something distant sets one up.

This is why geometry was the mathematics of sight, as Lecture 1 claimed. A triangle is the smallest rigid shape — fix three side lengths and the shape cannot flex, which is untrue of every other polygon — and rigidity is exactly what lets you deduce what you cannot reach from what you can.

Similar triangles: the engine of the whole subject

Two triangles are similar if they have the same three angles. They may be wildly different in size. The key fact, known to the Greeks and provable from parallel lines, is that similar triangles have proportional sides: if one is three times wider it is three times taller too.

Two similar right triangles A small triangle and a large triangle with the same angles. Corresponding sides are in the same ratio, so the ratio of height to base is identical in both. 10072 270194.4 72 / 100 = 0.72 194.4 / 270 = 0.72
Same angles, different sizes, identical ratios. The ratio depends only on the angle — and that observation is the whole of trigonometry. Give the ratio a name that depends only on the angle, and you can look it up instead of drawing anything.
definition

In a right triangle with acute angle \(\theta\), label the sides opposite, adjacent and hypotenuse. Then $$\sin\theta=\frac{\text{opp}}{\text{hyp}},\qquad \cos\theta=\frac{\text{adj}}{\text{hyp}},\qquad \tan\theta=\frac{\text{opp}}{\text{adj}}.$$ These are well defined precisely because similar triangles have proportional sides: any right triangle with that angle gives the same three numbers.

spot check

A right triangle has legs 3 and 4 and hypotenuse 5. Let \(\theta\) be the angle opposite the side of length 3. What is \(\sin\theta\)?

decimals, fractions, pi and sqrt( ) are all fine

This agrees with Chapter 4. Put the triangle inside the unit circle with \(\theta\) at the origin and the hypotenuse equal to 1, and the opposite side is the height of the terminal point, the adjacent side is its horizontal coordinate. One definition, two costumes. The circle version handles angles beyond \(90^{\circ}\), which no triangle can contain; the triangle version is what you use with a tape measure.

the Pythagorean theorem

In a right triangle with legs \(a,b\) and hypotenuse \(c\), $$a^{2}+b^{2}=c^{2}.$$

It is the identity \(\cos^{2}\theta+\sin^{2}\theta=1\) of Chapter 4, multiplied through by \(c^{2}\) — or, read the other way, that identity is Pythagoras applied to a triangle whose hypotenuse is 1.

idea — SOH-CAH-TOA

The three ratios are worth memorising by their initials, because you will reach for them constantly:

SOH\(\textbf{S}\)ine \(=\) \(\textbf{O}\)pposite \(\div\) \(\textbf{H}\)ypotenuse
CAH\(\textbf{C}\)osine \(=\) \(\textbf{A}\)djacent \(\div\) \(\textbf{H}\)ypotenuse
TOA\(\textbf{T}\)angent \(=\) \(\textbf{O}\)pposite \(\div\) \(\textbf{A}\)djacent

Which side counts as "opposite" and "adjacent" depends on which acute angle you are standing at. The hypotenuse never changes — it is always the side facing the right angle — but swap to the other acute angle and opposite and adjacent trade places. That is the single most common source of wrong answers in this lecture.

spot check

Same 3-4-5 triangle. Now stand at the other acute angle, \(\varphi\). What is \(\cos\varphi\)?

decimals, fractions, pi and sqrt( ) are all fine

Completing the triangle

A right triangle has six parts: three sides and three angles, one of which is the right angle. Completing it means finding all six from the few you are given. There are only three situations, and each has a standard opening move.

how to complete a right triangle
  1. Given one angle and one side. Find the third angle by subtracting from \(90^{\circ}\). Then pick the ratio that connects the side you have to the side you want — SOH, CAH or TOA — and solve.
  2. Given two sides. Find the third with Pythagoras. Then find an angle with whichever ratio uses the two sides you started with, undoing it with \(\sin^{-1}\), \(\cos^{-1}\) or \(\tan^{-1}\).
  3. Given two angles only. You cannot complete it. Angles fix the shape, never the size — that is exactly what similarity says. You need at least one length.
spot check
You are told a right triangle has angles \(30^{\circ}\), \(60^{\circ}\) and \(90^{\circ}\), and nothing else. Can you find its sides?
example 5.1 — one angle and one side

A right triangle has an angle of \(28^{\circ}\) and the side adjacent to it is 15 cm. Complete the triangle.

Third angle: \(90-28=62^{\circ}\).

Opposite side: the ratio connecting opposite to adjacent is TOA, so \(\tan28^{\circ}=\dfrac{\text{opp}}{15}\) and opp \(=15\tan28^{\circ}=7.98\) cm.

Hypotenuse: CAH connects adjacent to hypotenuse, so \(\cos28^{\circ}=\dfrac{15}{\text{hyp}}\) and hyp \(=\dfrac{15}{\cos28^{\circ}}=16.99\) cm.

Check with Pythagoras: \(15^{2}+7.98^{2}=225+63.7=288.7\), and \(16.99^{2}=288.7\). ✓

Notice that the hypotenuse came from the given side rather than from the one we had just computed. Where you have a choice, always build on the numbers you were handed, so that one slip does not poison everything after it.

example 5.2 — two sides, find the angles

A wheelchair ramp rises 0.45 m over a horizontal run of 5.4 m. Complete the triangle, and check it against the common building requirement that a ramp be no steeper than 1 in 12.

Hypotenuse: \(\sqrt{0.45^{2}+5.4^{2}}=\sqrt{0.2025+29.16}=5.419\) m.

Angle at the bottom: opposite and adjacent are known, so use TOA backwards: $$\tan\theta=\frac{0.45}{5.4}=0.08333,\qquad \theta=\tan^{-1}(0.08333)=4.76^{\circ}.$$

The remaining angle is \(85.24^{\circ}\).

A slope of 1 in 12 means a rise of 1 for a run of 12, which is \(\tan^{-1}(1/12)=4.76^{\circ}\). This ramp is exactly at the limit. The rule is written as a ratio rather than an angle precisely because a ratio can be checked on site with a tape measure and no instrument at all.

Two triangles you should know by heart

Most angles give ugly ratios that only a calculator can supply. Two do not, and they come from shapes you already know.

The two special right triangles On the left, a unit square cut along its diagonal gives a right triangle with legs 1 and 1 and hypotenuse the square root of 2, with angles of 45, 45 and 90 degrees. On the right, an equilateral triangle of side 2 cut down the middle gives a right triangle with sides 1, the square root of 3, and 2, with angles of 30, 60 and 90 degrees. 1 1 √2 45° 45° cut a square along its diagonal 1 √3 2 60° 30° cut an equilateral triangle down the middle
Neither triangle needs a calculator. The first comes from a square, the second from an equilateral triangle, and between them they supply exact values for \(30^{\circ}\), \(45^{\circ}\) and \(60^{\circ}\) — the three angles that appear in almost every problem you will be set.
exact values
\(\theta\)\(\sin\theta\)\(\cos\theta\)\(\tan\theta\)
\(30^{\circ}\)\(\tfrac12\)\(\tfrac{\sqrt3}{2}\)\(\tfrac{1}{\sqrt3}\)
\(45^{\circ}\)\(\tfrac{1}{\sqrt2}\)\(\tfrac{1}{\sqrt2}\)\(1\)
\(60^{\circ}\)\(\tfrac{\sqrt3}{2}\)\(\tfrac12\)\(\sqrt3\)

Every entry is read straight off the two pictures above. Nothing has to be memorised separately — if you can draw a square and an equilateral triangle, you can rebuild this table in twenty seconds.

spot check

Without a calculator: what is \(10\sin30^{\circ}+4\cos60^{\circ}\)?

decimals, fractions, pi and sqrt( ) are all fine

example 5.3 — exact answers, no calculator

A guy wire runs from the top of a 12 m mast to the ground at \(60^{\circ}\) to the horizontal. Find the exact length of the wire and its exact distance from the base.

The mast is opposite the \(60^{\circ}\) angle, so \(\sin60^{\circ}=\dfrac{12}{L}\), giving $$L=\frac{12}{\sqrt3/2}=\frac{24}{\sqrt3}=8\sqrt3\ \text{m}\approx13.86\ \text{m}.$$

The base distance uses TOA: \(d=\dfrac{12}{\tan60^{\circ}}=\dfrac{12}{\sqrt3}=4\sqrt3\approx6.93\) m.

Note that \(L=2d\), which is the 30-60-90 triangle announcing itself: the hypotenuse is always twice the shortest side. Spotting that lets you write both answers down without touching a calculator.

The guy wire as a 30-60-90 triangleA right triangle with a vertical mast of 12 metres, a base of about 6.93 metres, and a hypotenuse of about 13.86 metres meeting the ground at 60 degrees. 60°12 m4√3 ≈ 6.93 m8√3 ≈ 13.86 mthe hypotenuse is exactlytwice the shortest sidethat is the 30-60-90triangle, scaled by 4√3
Recognising the 30-60-90 shape saves the arithmetic: the hypotenuse is always twice the shortest side, so once the base came out as \(4\sqrt3\), the wire had to be \(8\sqrt3\).

Standard position: where the triangle meets the circle

Chapter 4 defined sine and cosine as coordinates of a point on the unit circle. This lecture defined them as ratios of sides. Those look like two different definitions. They are one picture, and here it is.

Take any right triangle and place it in standard position: the vertex of the angle \(\theta\) at the origin, the adjacent side lying along the positive \(x\)-axis, the opposite side going straight up. Now scale the whole triangle until the hypotenuse has length exactly 1 — which similarity says changes no angle and no ratio.

A right triangle in standard position inside the unit circle A right triangle drawn with its adjacent side along the positive x-axis and its hypotenuse of length one running to a point on the unit circle. The horizontal leg has length cosine theta, the vertical leg has length sine theta, and the arc from the x-axis to that point has length theta in radians. θ cos θ sin θ 1 arc length = θ hypotenuse 1, so adjacent ÷ 1 = cos θ opposite ÷ 1 = sin θ the corner of the triangle sits at the point (cos θ, sin θ)
Put the triangle in standard position — right angle on the \(x\)-axis, adjacent side along the positive \(x\)-direction, hypotenuse of length 1 — and the triangle definition and the circle definition become the same picture. The legs are the coordinates, and the arc swept out is the angle itself, measured in radians.
idea

With the hypotenuse equal to 1, the ratios lose their denominators. The adjacent side is \(\cos\theta\) and the opposite side is \(\sin\theta\), so the far corner of the triangle sits at the point \((\cos\theta,\sin\theta)\) — exactly the terminal point of Chapter 4.

And there is a second thing to notice, which is the reason radians exist. The corner can be described two ways: by the angle turned, or by the distance travelled along the circle from \((1,0)\). On a circle of radius 1 those two numbers are equal, because arc length is \(r\theta\) and \(r=1\). Turning and travelling carry the same information.

That is the bridge. Triangles are what you use when you have a ruler and a distant object. The circle is what you use when the thing keeps coming back around. Projecting the moving point of the circle onto the axes gives you a triangle at every instant, and reading the triangle at every instant gives you back the circle.

spot check

A point on the unit circle has travelled an arc of length \(\tfrac{\pi}{4}\) from \((1,0)\). What are its coordinates?

2 numbers, separated by a comma: x, then y (sqrt(2)/2 is fine)

example 5.4 — the same angle, both ways

A point on the unit circle has travelled an arc of length \(\tfrac{\pi}{3}\) from \((1,0)\). Draw the right triangle it makes with the \(x\)-axis, give its three sides, and state the coordinates of the point.

An arc of \(\tfrac{\pi}{3}\) on the unit circle is an angle of \(\tfrac{\pi}{3}\) radians, which is \(60^{\circ}\).

Dropping a vertical line from the point to the \(x\)-axis makes a 30-60-90 triangle with hypotenuse 1. From the special triangle, the side adjacent to \(60^{\circ}\) is \(\tfrac12\) and the opposite side is \(\tfrac{\sqrt3}{2}\).

So the point is \(\left(\tfrac12,\tfrac{\sqrt3}{2}\right)\) — which is exactly the entry in the unit-circle table of Lecture 15, now derived from a cut-up equilateral triangle rather than quoted.

Measure a building with a stick

The Sun is at some angle you cannot easily measure. But you can measure two shadows. Move the Sun and watch both shadows change together — the ratio of height to shadow is the same for both objects, always.

1.8 m h = ?

example 5.5 — the oldest trick in the book

A 1.8 m person casts a 2.5 m shadow. At the same moment a building casts a 31 m shadow. How tall is the building, and what is the Sun's angle of elevation?

The Sun is so far away that its rays arrive parallel, so both triangles have the same angles — they are similar. Therefore $$\frac{h}{31}=\frac{1.8}{2.5}=0.72,\qquad h=22.3\ \text{m}.$$

The elevation is \(\tan\theta=0.72\), so \(\theta=35.8^{\circ}\).

Notice that the Sun's angle was never needed. The ratio did all the work, and the ratio came from a stick you could reach. Thales is said to have measured the Great Pyramid this way around 600 BCE, by waiting for the moment when his own shadow equalled his height — at which instant the pyramid's shadow equals the pyramid's height, and no arithmetic is required at all.

example 5.6 — solving a right triangle

A cable runs from the top of a 24 m mast to a point on the ground, making a \(52^{\circ}\) angle with the ground. Find the length of the cable and its distance from the base.

The mast is opposite the angle and the cable is the hypotenuse, so \(\sin 52^{\circ}=\dfrac{24}{c}\), giving $$c=\frac{24}{\sin52^{\circ}}=\frac{24}{0.7880}=30.5\ \text{m}.$$

The base distance is adjacent: \(\tan52^{\circ}=\dfrac{24}{d}\), so \(d=\dfrac{24}{1.2799}=18.8\) m.

Check with Pythagoras: \(24^{2}+18.8^{2}=576+353=929\), and \(30.5^{2}=930\). ✓ Always run that check; it catches a sine typed where a cosine was meant.

example 5.7 — angle of depression

From a cliff-top viewpoint 85 m above the sea, a boat is seen at an angle of depression of \(11^{\circ}\). How far is the boat from the base of the cliff? It then moves to an angle of depression of \(19^{\circ}\); how far has it travelled?

The angle of depression from the top equals the angle of elevation from the boat, since the two horizontals are parallel. So $$\tan 11^{\circ}=\frac{85}{d_1},\qquad d_1=\frac{85}{0.1944}=437\ \text{m}.$$

At \(19^{\circ}\): \(d_2=\dfrac{85}{0.3443}=247\) m. The boat has come \(190\) m closer.

Worth noticing: the same \(8^{\circ}\) change would correspond to a very different distance if the boat were further out. Near the horizon, small angle changes mean enormous distance changes — which is why judging distance at sea by eye is so unreliable, and why the tangent function shoots off to infinity.

A cliff, a boat, and two angles of depressionA vertical cliff 85 metres high with a horizontal dashed line at the top. Two sight lines run down to the sea, one at 11 degrees below the horizontal reaching a boat 437 metres out, the other at 19 degrees reaching 247 metres out. 11°19°85 m247 m437 mthe boat moves 190 m closer
The angle of depression from the cliff top equals the angle of elevation from the boat, because the two horizontals are parallel. Notice how much further the shallower sight line reaches — near the horizon a small change of angle is an enormous change of distance, which is the tangent function running away to infinity.

Eclipses: a coincidence worth checking

A total solar eclipse happens because the Moon, seen from the Earth, is almost exactly the same size as the Sun. Not actually the same size — the Sun is 400 times wider. But it is also about 400 times further away, and similar triangles say that is what matters.

definition

The angular size of an object of width \(D\) at distance \(d\) is the angle it takes up in your field of view. For \(D\) much smaller than \(d\), $$\theta\approx\frac{D}{d}\ \text{radians}.$$

This is the small-angle approximation of Lecture 15 doing real work: it is why the Moon and a coin held at arm's length can block the same amount of sky.

spot check

A 1 m object is 100 m away. Roughly what is its angular size, in radians?

decimals, fractions, pi and sqrt( ) are all fine

Why a small moon can cover a huge sun An eye on the left, with two lines of sight opening out to the right. A small disc near the eye and a much larger disc far away both exactly fill the gap between the lines. MoonSun one eye 400 times smaller, 400 times closer — same angle
Angular size is all that a single eye can judge. The Moon's diameter is 3,475 km at 384,400 km away; the Sun's is 1,392,000 km at 149,600,000 km. Both work out to about half a degree of sky.
example 5.8 — total or annular?

Compute the angular size of the Sun and of the Moon in degrees. Then repeat the Moon's calculation at its closest approach, 363,300 km, and at its furthest, 405,500 km. What do you conclude?

Sun: \(\theta=\dfrac{1{,}392{,}000}{149{,}600{,}000}=0.009305\) rad \(=0.533^{\circ}\).

Moon on average: \(\dfrac{3{,}475}{384{,}400}=0.009040\) rad \(=0.518^{\circ}\) — very slightly smaller than the Sun.

At its closest: \(0.548^{\circ}\), comfortably larger. At its furthest: \(0.491^{\circ}\), noticeably smaller.

So it depends on where the Moon is in its orbit. When it is near, it covers the Sun completely and you get a total eclipse with a visible corona. When it is far, a ring of Sun remains uncovered — an annular eclipse, from the Latin for ring, and one you must never look at directly.

The whole phenomenon hangs on a coincidence of two ratios, and it is temporary: the Moon recedes about 3.8 cm a year, so in roughly 600 million years total eclipses will stop happening. We are living in the era when they work.

Measuring the Earth

Around 240 BCE the librarian at Alexandria, Eratosthenes, measured the circumference of the planet to within a couple of per cent, using a stick, a well and a single angle. It is the best example there is of how far a triangle can be made to reach.

idea — how they knew it was round in the first place

It is worth being clear that the shape of the Earth was not in doubt among educated Greeks by then, and not because anyone had guessed. There were measurements.

That last observation is not merely evidence that the Earth is curved. Measure the difference and it tells you how much it curves — which is the whole method.

Eratosthenes measuring the Earth from two shadows A circle representing the Earth with its centre marked. Parallel rays of sunlight arrive from the upper right. At Syene the ray runs straight down a vertical well and casts no shadow. At Alexandria, further north, an identical vertical pole casts a shadow, and the ray makes an angle of 7.2 degrees with the pole. Because the rays are parallel, that same 7.2 degrees is the angle at the centre of the Earth between the two cities. 7.2° Syene: no shadow Alexandria: a shadow the two cities are 5,000 stadia apart, and 7.2° is one fiftieth of a full turn
The whole measurement in one picture. Sunlight arrives effectively parallel, so the angle a pole's shadow reveals at Alexandria is the same as the angle between the two cities at the centre of the Earth. One fiftieth of a turn spans 5,000 stadia, so the whole circumference is fifty times that.
spot check

Suppose the shadow angle at Alexandria had been \(3.6^{\circ}\) instead, with the cities still 5,000 stadia apart. What circumference, in stadia, would that give?

decimals, fractions, pi and sqrt( ) are all fine

example 5.9 — the circumference of the Earth

At noon on the summer solstice the Sun is directly overhead at Syene: a vertical pole casts no shadow and sunlight reaches the bottom of a deep well. At the same moment in Alexandria, 5,000 stadia to the north, an identical pole casts a shadow, and the Sun's rays make an angle of \(7.2^{\circ}\) with the pole. Find the circumference.

The Sun is so distant that its rays arrive parallel. A pole points straight at the centre of the Earth, so the angle between the ray and the pole at Alexandria equals the angle between the two cities measured at the centre — alternate angles across parallel lines, the same fact that made similar triangles work.

That angle is \(7.2^{\circ}\), and $$\frac{7.2}{360}=\frac{1}{50},$$ so the arc between the cities is one fiftieth of the whole way round: $$C=50\times5{,}000=250{,}000\ \text{stadia}.$$

A stadion was roughly 157.5 m, giving about 39,400 km against the true 40,075 km — an error under 2%. From the circumference the radius follows immediately: \(r=C/2\pi\approx6{,}270\) km.

Every step is in this lecture. What the calculation actually required was noticing that a shadow in one city and no shadow in another, at the same instant, is a measurement of the planet.

And then the Moon

With the size of the Earth known, the Moon falls next — and it takes two observations and a ratio.

Measuring the Moon during a lunar eclipse The Earth casts a shadow into space. The Moon passes through it. The width of the shadow where the Moon crosses it is about two and a half times the Moon's own diameter, which tells you how much smaller the Moon is than the Earth. Earth the Earth’s shadow, narrowing with distance the shadow is about 2.5 Moon-widths across here Moon
The Greeks timed how long the Moon took to cross the Earth's shadow and compared it with how long the Moon takes to move its own width. The shadow came out about two and a half times wider than the Moon — and that single ratio is enough to find the Moon's size, and then its distance.
example 5.10 — how big is the Moon, and how far?

During a lunar eclipse the Earth's shadow at the Moon's distance is measured to be about \(2.5\) Moon-diameters wide, and the shadow there is about \(0.72\) of the Earth's own diameter (it has narrowed on the way out). The Moon's angular size is \(0.52^{\circ}\). Taking the Earth's diameter as 12,742 km, find the Moon's diameter and its distance.

Size. The shadow at that distance is \(0.72\times12{,}742=9{,}174\) km across, and the Moon is 2.5 times narrower than that: $$D_{\text{Moon}}=\frac{9{,}174}{2.5}=3{,}670\ \text{km},$$ against the true 3,475 km. Close, from a stopwatch and an eclipse.

Distance. Now use angular size, which is the small-angle version of a very thin triangle: \(\theta\approx D/d\), with \(\theta\) in radians. Here \(0.52^{\circ}=0.00908\) rad, so $$d=\frac{D}{\theta}=\frac{3{,}475}{0.00908}=382{,}700\ \text{km},$$ against the true average of 384,400 km.

Stand back from what just happened. Two thousand two hundred years ago, with no telescope, no clock worth the name and no algebra, people established the size of the Earth, the size of the Moon and the distance between them — and got all three right to within a few per cent. The only equipment was a shadow, a stopwatch of sorts, and the fact that similar triangles have proportional sides.

history

Aristarchus of Samos, around 270 BCE, tried to measure the distance to the Sun. At the exact moment the Moon is half lit, the Earth–Moon–Sun angle at the Moon is a right angle, so the triangle is determined by the single angle at the Earth. He measured it as \(87^{\circ}\), giving a Sun roughly 19 times further than the Moon.

The true angle is \(89.85^{\circ}\) and the true ratio is about 390. His method was flawless and his answer was off by a factor of twenty, because near \(90^{\circ}\) the cosine is brutally sensitive: a fifth of a degree of measurement error moves the answer by a factor of two. Good mathematics plus an instrument that is not quite good enough gives a confident wrong answer, which is a lesson worth more than the number.

exercises 5.1
  1. In a right triangle, the side opposite a \(38^{\circ}\) angle is 12 cm. Find the hypotenuse, the other leg, and the remaining angle.
  2. A ladder 6.5 m long leans against a wall, reaching 5.9 m up. Find the angle it makes with the ground and how far its foot is from the wall.
  3. A 2 m pole casts a 3.4 m shadow. At the same time a flagpole casts a 27 m shadow. Find its height and the Sun's elevation.
  4. From a window 18 m up, the angle of elevation to the top of a taller building is \(24^{\circ}\) and the angle of depression to its base is \(31^{\circ}\). How tall is the other building?
  5. Jupiter has a diameter of 143,000 km and at its closest is 588 million km away. Find its angular size in degrees, and compare with the Moon's \(0.52^{\circ}\). Why does it look like a dot to the naked eye?
  6. A coin 2.4 cm across is held at arm's length, 70 cm from the eye. Compute its angular size, and decide whether it can cover the Moon.
  7. Explain, using similar triangles, why a pinhole camera produces an image that is upside down and why moving the screen further back makes the image larger.
  8. Aristarchus measured \(87^{\circ}\) where the true value is \(89.85^{\circ}\). Compute \(1/\cos\theta\) for both, and use the two answers to explain in one sentence why his method was so fragile.
  1. \(c=\dfrac{12}{\sin38^{\circ}}=19.5\) cm; other leg \(=\dfrac{12}{\tan38^{\circ}}=15.4\) cm; remaining angle \(52^{\circ}\).
  2. \(\sin\theta=\dfrac{5.9}{6.5}=0.9077\), so \(\theta=65.2^{\circ}\); the foot is \(\sqrt{6.5^{2}-5.9^{2}}=2.73\) m from the wall.
  3. \(h=27\times\dfrac{2}{3.4}=15.9\) m; elevation \(\arctan(2/3.4)=30.5^{\circ}\).
  4. The horizontal distance is \(d=\dfrac{18}{\tan31^{\circ}}=29.9\) m. The part above the window is \(29.9\tan24^{\circ}=13.3\) m, so the building is \(18+13.3=31.3\) m tall.
  5. \(\dfrac{143{,}000}{588{,}000{,}000}=2.43\times10^{-4}\) rad \(=0.0139^{\circ}\), about one thirty-seventh of the Moon's. The eye cannot resolve detail below roughly \(0.02^{\circ}\), so Jupiter sits right at the edge of being a disc and reads as a point.
  6. \(\dfrac{2.4}{70}=0.0343\) rad \(=1.96^{\circ}\), nearly four times the Moon's angular size. Yes — comfortably.
  7. Rays through the pinhole travel in straight lines, so a ray from the top of the object arrives at the bottom of the screen and vice versa: the image inverts. The object and image form two similar triangles meeting at the hole, so image size divided by screen distance equals object size divided by object distance — move the screen back and the image grows in proportion.
  8. \(1/\cos87^{\circ}=19.1\) and \(1/\cos89.85^{\circ}=382\). Near \(90^{\circ}\) the cosine is nearly zero, so dividing by it magnifies a tiny measurement error into an enormous error in the answer.

Lecture 20 — Any angle, any triangle

Cartoon: two sides and an angle giving two trianglesA stick figure thinks beside two different triangles drawn on the same base, one solid and one dashed. I know two sidesand one angle.
“Then you may know two triangles.”

Everything so far needed a right angle. Most triangles do not have one, and the fix is two formulas that between them solve any triangle at all.

Angles beyond the right angle

First, a definitional loose end. A triangle can contain an obtuse angle, and \(\sin 130^{\circ}\) means nothing in the opposite-over-hypotenuse picture — no right triangle has a \(130^{\circ}\) angle in it. The circle definition of Chapter 4 has no such difficulty: put the angle in standard position, read off the coordinates of the terminal point, done.

So we use the circle definition and the triangle one becomes a special case. The consequence worth memorising: \(\sin(180^{\circ}-\theta)=\sin\theta\), because reflecting a terminal point across the vertical axis leaves its height unchanged, while \(\cos(180^{\circ}-\theta)=-\cos\theta\), because the horizontal coordinate flips. Sine cannot tell an angle from its supplement. That fact will cause us trouble shortly, and it is honest trouble.

spot check

Without a calculator: what is \(\sin150^{\circ}\)?

decimals, fractions, pi and sqrt( ) are all fine

the Law of Sines

In any triangle with sides \(a,b,c\) opposite angles \(A,B,C\), $$\frac{\sin A}{a}=\frac{\sin B}{b}=\frac{\sin C}{c}.$$

Use it when a side and its opposite angle are known as a pair.

spot check

A triangle has \(A=30^{\circ}\), \(a=5\) and \(B=90^{\circ}\). What is \(b\)?

decimals, fractions, pi and sqrt( ) are all fine

the Law of Cosines $$c^{2}=a^{2}+b^{2}-2ab\cos C$$

Use it for three sides, or for two sides and the angle between them. When \(C=90^{\circ}\) the cosine is zero and this collapses to Pythagoras — so the Law of Cosines is Pythagoras with a correction term for the angle not being right.

spot check
You know all three sides of a triangle and none of its angles. Which tool finds an angle?
Labelling a general triangle A triangle with vertices labelled A, B and C, and the side opposite each vertex labelled with the matching lower case letter. A dropped height is shown as a dashed line. ABC cab h = b sin A the height h can be written from either side — and equating the two versions proves the Law of Sines
Both laws come from dropping a perpendicular and applying right-triangle trigonometry twice. The height is \(b\sin A\) from one side and \(a\sin B\) from the other; setting those equal and dividing gives the Law of Sines in one line.
example 5.11 — two angles and a side

A triangle has \(A=41^{\circ}\), \(B=77^{\circ}\) and \(a=13\) cm. Solve it completely.

\(C=180-41-77=62^{\circ}\).

By the Law of Sines, \(b=\dfrac{a\sin B}{\sin A}=\dfrac{13(0.9744)}{0.6561}=19.3\) cm and \(c=\dfrac{13(0.8829)}{0.6561}=17.5\) cm.

Sanity check: the largest angle is \(B\) and the largest side came out as \(b\). In any triangle the biggest side faces the biggest angle, and checking that ordering catches most arithmetic slips instantly.

example 5.12 — two sides and the angle between

Two roads leave a junction at an angle of \(60^{\circ}\). One town is 5 km along the first, another 7 km along the second. How far apart are they, and what angle does the connecting road make with the first?

The angle is between the two known sides, so use the Law of Cosines: $$d^{2}=5^{2}+7^{2}-2(5)(7)\cos60^{\circ}=25+49-35=39,$$ so \(d=6.245\) km.

For the angle at the first town, use the Law of Sines: \(\dfrac{\sin\theta}{7}=\dfrac{\sin60^{\circ}}{6.245}\), giving \(\sin\theta=0.9707\) and \(\theta=76.1^{\circ}\) (the obtuse alternative \(103.9^{\circ}\) is impossible here, since the remaining angles must sum to \(120^{\circ}\)).

Note how much shorter the direct road is than going back through the junction: 6.2 km against 12. That saving is the triangle inequality, and it is the same fact that made the diagonal across the park worth taking in Lecture 1.

Two roads from a junction and the direct link between the townsA triangle with a 60 degree angle at the junction, sides of 5 and 7 kilometres along the two roads, and the third side, 6.245 kilometres, joining the two towns directly. 60°junctiontown A, 5 kmtown B, 7 km576.245going back through thejunction: 12 kmdirect: 6.245 kmthe saving is the triangleinequality, in kilometres
The Law of Cosines is the tool because the known angle sits between the two known sides. And the answer makes the geometry vivid: the direct road is barely half the length of going back through the junction.
example 5.13 — three sides, no angles

A triangular plot has sides 8, 11 and 14 m. Find all three angles and the area.

Rearrange the Law of Cosines to find the angle opposite the side of length 8: $$\cos A=\frac{11^{2}+14^{2}-8^{2}}{2(11)(14)}=\frac{253}{308}=0.8214,\qquad A=34.8^{\circ}.$$

Similarly \(\cos B=\dfrac{8^{2}+14^{2}-11^{2}}{2(8)(14)}=0.6206\), so \(B=51.6^{\circ}\), and \(C=180-34.8-51.6=93.6^{\circ}\).

Area \(=\tfrac12ab\sin C=\tfrac12(8)(11)\sin93.6^{\circ}=43.9\) m².

Always find the largest angle with the cosine rule, not the sine rule. Cosine distinguishes acute from obtuse by its sign; sine does not, and here \(C\) is obtuse by a hair — the sine rule would have quietly offered you \(86.4^{\circ}\).

Why a triangle is the unit of area

There is only one area anybody really knows how to find, and it is the rectangle: lay out \(b\) columns of \(h\) unit squares and count them. Every other area in mathematics is obtained by reducing it to that one, and the tool for the reduction is the triangle.

Why the area of a triangle is half the base times the height On the left, a rectangle of base b and height h filled with a grid of unit squares. On the right, the same rectangle with a triangle drawn inside it; the two leftover pieces together are congruent to the triangle, so the triangle is exactly half the rectangle. bh area = b × h, by counting squares halfhalf area = ½ b × h, whatever the triangle’s shape
The rectangle is the only area we really define: so many rows of so many unit squares. Everything else is reduced to it. Drop the height and each half of the rectangle is split by the triangle into two matching pieces, so the triangle takes exactly half — and this stays true when the apex slides sideways, even past the ends of the base.
Cutting a polygon into triangles An irregular six-sided polygon with straight lines drawn from one vertex to every non-adjacent vertex, dividing it into four triangles. any polygon with n sides splits into n − 2 triangles so its area is a sum of n − 2 numbers of the form ½bh
Fan out from any one corner and the polygon falls apart into triangles. No new idea is needed and no new formula — which is why the triangle, not the square, is the real unit of area.
areas, in order of difficulty
spot check

Cutting a hexagon into triangles from one corner gives how many triangles?

decimals, fractions, pi and sqrt( ) are all fine

That last line is the interesting one, and the circle is the case everybody wants.

The circle, cut into triangles

Slice a circle into \(n\) equal wedges from the centre. Each wedge is nearly a triangle: two straight sides of length \(r\), and a third side that is very slightly curved. Pretend it is straight and you can find its area exactly. Add up all \(n\) of them and you have an estimate of the circle's area — an underestimate, because each chord cuts off a thin sliver of the circle that you left out.

the inscribed polygon

Joining the \(n\) points around a circle of radius \(r\) makes a polygon of \(n\) triangles, each with two sides \(r\) and an included angle \(\dfrac{2\pi}{n}\). By the area formula of this lecture, $$A_n=n\cdot\frac12 r^{2}\sin\!\left(\frac{2\pi}{n}\right).$$ Since the true area is \(\pi r^{2}\), the quantity \(\dfrac{n}{2}\sin\!\left(\dfrac{2\pi}{n}\right)\) is an estimate of \(\pi\) — one you can compute with nothing but the sine of a small angle.

spot check

Use \(n=4\) wedges (an inscribed square). What estimate of \(\pi\) does \(\dfrac{n}{2}\sin\!\left(\dfrac{2\pi}{n}\right)\) give?

decimals, fractions, pi and sqrt( ) are all fine

Estimating π with triangles

Slide the number of wedges. The shaded triangles are what you can measure; the pale slivers between them and the circle are what you are missing. Watch the missing part shrink.

example 5.14 — Archimedes’ estimate

Compute the inscribed estimate of \(\pi\) for \(n=6\), \(12\), \(24\) and \(96\), and compare with Archimedes’ published bounds of \(3\tfrac{10}{71}\) and \(3\tfrac17\).

\(n\)\(\tfrac{n}{2}\sin(2\pi/n)\)error
62.59808−0.543
123.00000−0.142
243.10583−0.036
963.13935−0.0022

Archimedes did exactly this around 250 BCE, starting from a hexagon and doubling four times to reach 96 sides. He also did the same with polygons drawn outside the circle, which overestimate, and so trapped \(\pi\) between two numbers: $$3\tfrac{10}{71}=3.1408\ <\ \pi\ <\ 3\tfrac17=3.1429.$$

He had no decimals, no trigonometric tables and no algebra. The doubling was done with square roots computed by hand. And notice what the method gives that a single estimate never can: a guarantee, with the answer caught between a number known to be too small and a number known to be too big.

idea — the missing slivers

Look at what the estimate is doing. Each wedge has area \(\tfrac12r^{2}\sin\theta\) where \(\theta=2\pi/n\), and we saw in Lecture 15 that \(\sin\theta\approx\theta\) for small angles. So for large \(n\), $$A_n\approx n\cdot\tfrac12 r^{2}\cdot\frac{2\pi}{n}=\pi r^{2}.$$ The \(n\) cancels. The formula for the area of a circle is not a separate fact to memorise — it is what the triangle formula turns into when the wedges get thin.

But it is only exactly \(\pi r^{2}\) in the limit. For any finite \(n\), however large, the slivers are still there and the answer is still too small. This is the fourth time this course has run the same argument: shrink the pieces, watch the estimate settle, and name the destination. Rectangles under a curve in Lecture 10 did it, polynomial approximations in Lecture 11 did it, secant lines in Lecture 8 did it, and here it is again with triangles in a circle. Calculus is the subject that makes the last step legal.

The ambiguous case

Given two sides and an angle not between them, the triangle may not be determined at all. Sine cannot distinguish \(\theta\) from \(180^{\circ}-\theta\), and sometimes both genuinely work.

spot check
Which set of measurements can produce two different triangles?

Two triangles from the same three measurements

Angle \(A\) and side \(c\) are fixed. Slide the length of side \(a\) — the one opposite the known angle — and watch how many triangles can be built from it: none, one, or two.

A = 35°

example 5.15 — both answers are right

A triangle has \(A=35^{\circ}\), \(a=6\) and \(b=8\). Solve it.

\(\sin B=\dfrac{b\sin A}{a}=\dfrac{8(0.5736)}{6}=0.7648\).

That gives \(B=49.9^{\circ}\) or \(B=130.1^{\circ}\), and both leave room for a third angle:

\(B\)\(C\)\(c\)
first triangle49.9°95.1°10.42
second triangle130.1°14.9°2.69

Two different triangles, both with a \(35^{\circ}\) angle, a side of 6 opposite it, and a side of 8. The data does not determine the shape, and no amount of care with the algebra will make it.

This is why surveyors prefer to measure the angle between two known sides. Three sides, or two sides with the included angle, always give exactly one triangle. Two sides and a stray angle may give two — the same ambiguity that makes SSA useless as a congruence rule in geometry class.

example 5.16 — finding yourself from three towers

A phone is 4.0 km from tower P and 6.5 km from tower Q, which are 8.0 km apart. Find the angle at P, and explain why two towers are not enough to locate the phone.

Three sides are known, so use the Law of Cosines at P: $$\cos P=\frac{4.0^{2}+8.0^{2}-6.5^{2}}{2(4.0)(8.0)}=\frac{37.75}{64}=0.5898,\qquad P=53.8^{\circ}.$$

But the angle could open to either side of the line PQ: the phone might be 53.8° above it or 53.8° below it. Two distances place you on a circle around each tower, and two circles meet in two points.

A third tower breaks the tie, because a third circle passes through only one of them. That is the whole principle of trilateration, and it is what GPS does with satellites instead of towers — using four rather than three, because the clock in your phone is not accurate enough and the fourth measurement is spent working out what time it actually is.

idea

Triangulation is how large distances have been measured for four hundred years. Pick two points you can reach, measure the distance between them precisely once — this is the hard part, and the one measurement everything else rests on — then measure angles to a distant landmark from both ends. The Law of Sines gives the distance. Now use that landmark as one end of a new baseline and repeat, chaining triangles across a country.

The Great Trigonometrical Survey of India ran this from 1802 for seventy years, measured the subcontinent, and in the process found that a peak catalogued as XV was the highest in the world. The same idea, with the Earth's orbit as the baseline, gives the distance to nearby stars. One measured length plus a pile of angles is enough to map anything.

exercises 5.2
  1. Solve the triangle with \(A=52^{\circ}\), \(C=74^{\circ}\), \(b=9\) cm.
  2. Two sides of a triangle are 11 and 16 with an included angle of \(43^{\circ}\). Find the third side and the remaining angles.
  3. Find all angles of the triangle with sides 6, 9, 13, and its area.
  4. Decide how many triangles satisfy \(A=42^{\circ}\), \(a=9\), \(b=12\), and solve each one you find.
  5. Show that if \(a\ge b\) in the previous set-up, there can never be two triangles. Explain the result in terms of the picture in the widget.
  6. A ship sails 24 km on a bearing of \(035^{\circ}\), then 31 km on a bearing of \(120^{\circ}\). How far is it from port, and on what bearing?
  7. Two observers 500 m apart on level ground measure the angle of elevation to a balloon between them as \(58^{\circ}\) and \(47^{\circ}\). Find the balloon's height.
  8. Prove the Law of Cosines for an acute triangle by dropping a height and using Pythagoras twice. Then check that setting \(C=90^{\circ}\) recovers Pythagoras exactly.
  1. \(B=54^{\circ}\). Then \(a=\dfrac{9\sin52^{\circ}}{\sin54^{\circ}}=8.77\) cm and \(c=\dfrac{9\sin74^{\circ}}{\sin54^{\circ}}=10.69\) cm.
  2. \(c^{2}=121+256-2(11)(16)\cos43^{\circ}=377-257.4=119.6\), so \(c=10.94\). Then \(\cos A=\dfrac{256+119.6-121}{2(16)(10.94)}=0.7268\), giving \(A=43.4^{\circ}\) and \(B=93.6^{\circ}\).
  3. The largest angle faces 13: \(\cos C=\dfrac{36+81-169}{2(6)(9)}=-0.4815\), so \(C=118.8^{\circ}\). Then \(\sin A=\dfrac{6\sin118.8^{\circ}}{13}=0.4045\), \(A=23.9^{\circ}\), \(B=37.3^{\circ}\). Area \(=\tfrac12(6)(9)\sin118.8^{\circ}=23.7\).
  4. \(\sin B=\dfrac{12\sin42^{\circ}}{9}=0.8921\), so \(B=63.1^{\circ}\) or \(116.9^{\circ}\); both leave a positive third angle, so there are two triangles. First: \(C=74.9^{\circ}\), \(c=12.98\). Second: \(C=21.1^{\circ}\), \(c=4.85\).
  5. If \(a\ge b\) then \(\sin B=\dfrac{b\sin A}{a}\le\sin A\), so \(B\le A\), and the obtuse alternative \(180^{\circ}-B\) would make the angles exceed \(180^{\circ}\). In the picture: when the swinging side is long enough to reach past the foot of the perpendicular, the circle cuts the ray only once.
  6. The turn between the two legs is \(120-35=85^{\circ}\), so the interior angle of the triangle is \(95^{\circ}\). Then \(d^{2}=24^{2}+31^{2}-2(24)(31)\cos95^{\circ}=1537+129.7=1666.7\), giving \(d=40.8\) km. The angle at port satisfies \(\sin\theta=\dfrac{31\sin95^{\circ}}{40.8}=0.7569\), so \(\theta=49.2^{\circ}\) and the bearing is \(035+049=084^{\circ}\).
  7. The angle at the balloon is \(180-58-47=75^{\circ}\). The distance from the first observer is \(\dfrac{500\sin47^{\circ}}{\sin75^{\circ}}=378.6\) m, so the height is \(378.6\sin58^{\circ}=321\) m.
  8. Drop the height \(h\) from \(B\) to side \(b\), splitting it into \(x=a\cos C\) and \(b-x\). Then \(h^{2}=a^{2}-x^{2}\), and Pythagoras on the other piece gives \(c^{2}=h^{2}+(b-x)^{2}=a^{2}-x^{2}+b^{2}-2bx+x^{2}=a^{2}+b^{2}-2ab\cos C\). At \(C=90^{\circ}\), \(\cos C=0\) and the correction term vanishes.

Lecture 21 — Triangles on a sphere, and what curvature means

Cartoon: a triangle whose angles add to 270 degreesA stick figure shrugs beside a sphere on which a triangle with three right angles has been drawn. The angles addto 270 degrees.
“That is not allowed.” “It is on a sphere.”

Everything in the last two lectures assumed the triangle was drawn on a flat surface. Almost nothing important is. The Earth is round, and once the triangle gets large enough, every rule you have just learned becomes false — not slightly inaccurate, but false in an interesting and measurable way.

What counts as a straight line on a sphere?

You cannot draw a straight line on a sphere; nothing in the surface is straight. What you can do is ask for the shortest path between two points, staying on the surface, and that turns out to be a piece of a great circle — a circle whose centre is the centre of the sphere. The equator is one. Every line of longitude is one. Lines of latitude, apart from the equator, are not.

Great circles on a turning globe

Spin the globe with the slider. Three of the curves drawn on it are great circles — their centres are the centre of the sphere. The dashed one is a line of latitude, which is not. Watch how the flight path stays a great circle while the parallel does not.

equator a meridian New York to Madrid the 40°N parallel the first three are great circles: each one cuts the sphere exactly in half the parallel does not, which is why it is not the shortest route

definition

A geodesic is the straightest available path in a curved space: the route you get by never turning left or right, only following the surface. On a plane the geodesics are straight lines; on a sphere they are great circles.

Replacing "straight line" with "geodesic" is the move that lets all of geometry be rebuilt on curved surfaces.

spot check
On a globe, which of these is a geodesic?
A great circle route compared with following a line of latitude On a flattened world map, the straight route along the parallel of latitude between New York and Madrid, and the great circle route which bows northward and is shorter. New YorkMadrid along the parallel: 5,945 km great circle: 5,769 km on a flat map the shorter route looks longer, which is the map’s fault, not the route’s
Flying "straight east" along the line of latitude is not the shortest way. The great circle bows toward the pole and saves 176 km — which is why the moving map on a seat-back screen shows the plane apparently wandering north.
example 5.17 — the law of cosines, on a sphere

There is a spherical version of the Law of Cosines. For a triangle on a unit sphere with sides \(a,b,c\) measured as angles at the centre, $$\cos c=\cos a\cos b+\sin a\sin b\cos C.$$ Use it to find the distance from New York (\(40.7^{\circ}\)N, \(74.0^{\circ}\)W) to Madrid (\(40.4^{\circ}\)N, \(3.7^{\circ}\)W), taking the Earth's radius as 6,371 km.

Use the North Pole as the third vertex. The two sides from the pole are the co-latitudes, \(90-40.7=49.3^{\circ}\) and \(90-40.4=49.6^{\circ}\), and the angle at the pole is the difference in longitude, \(74.0-3.7=70.3^{\circ}\).

$$\cos c=\cos49.3^{\circ}\cos49.6^{\circ}+\sin49.3^{\circ}\sin49.6^{\circ}\cos70.3^{\circ}=0.4225+0.1949=0.6174$$

So \(c=51.89^{\circ}=0.9056\) rad, and the distance is \(6371\times0.9056=5{,}769\) km.

Compare the flat version: it had the same shape, \(c^{2}=a^{2}+b^{2}-2ab\cos C\), with sides multiplying instead of adding. That is a general pattern — spherical formulas look like flat ones with the sides wrapped in sines and cosines, and they collapse back to the flat versions when the triangle is small.

The angles do not add to 180

Start at the North Pole. Travel straight south to the equator. Turn left through a right angle and travel a quarter of the way round the equator. Turn left again through a right angle and travel straight north. You arrive back at the pole, having walked a triangle with three right angles.

A spherical triangle with three right angles A sphere with a triangle drawn on it: one vertex at the north pole and two on the equator a quarter turn apart. All three of its angles are right angles, so they sum to 270 degrees. 90°90°90° three right angles sum = 270°, which is 90° too many the triangle covers one eighth of the sphere — and one eighth of 4πr² is exactly πr²/2 excess (in radians) × r² = area
Not a trick and not a distortion. Each side is a genuine geodesic, each corner is a genuine right angle, and the angles add to \(270^{\circ}\). On a sphere, the familiar \(180^{\circ}\) is simply not true.
the spherical excess

On a sphere of radius \(r\), a triangle with angles \(A,B,C\) measured in radians has $$\text{area}=(A+B+C-\pi)\,r^{2}.$$

The quantity \(E=A+B+C-\pi\) is the excess. It is zero only for a triangle of zero area, so on a sphere every triangle has too much angle, and the bigger the triangle the worse it gets.

spot check

The pole-to-equator triangle has three right angles. What is its excess \(E\), in radians?

decimals, fractions, pi and sqrt( ) are all fine

Grow the triangle

A triangle on the globe with one vertex at the pole, grown from tiny to an eighth of the sphere. Watch the angle sum climb away from 180°.

pole

example 5.18 — when can a surveyor ignore this?

Estimate the angle excess for an equilateral triangle on the Earth with sides of 100 km, 1,000 km and 5,000 km, using excess \(\approx\) area \(/\,r^{2}\) with \(r=6{,}371\) km.

A flat equilateral triangle of side \(s\) has area \(\tfrac{\sqrt3}{4}s^{2}\).

sidearea (km²)excess (rad)excess (degrees)
100 km4,3300.000110.006°
1,000 km433,0000.01070.61°
5,000 km10,825,0000.26715.3°

At 100 km the excess is a fiftieth of a degree — smaller than most surveying instruments of the nineteenth century could see, so plane trigonometry was fine. At 1,000 km it is over half a degree, which no serious survey can ignore. At 5,000 km it is enormous.

So the flat rules are not wrong, they are local. They are the small-triangle approximation to the real thing, in exactly the way a tangent line is the small-interval approximation to a curve. You have seen this shape of statement several times now, and it is the same shape every time.

Curvature, measured from the inside

idea

Here is the thing that makes this more than a curiosity about globes. Imagine a creature living in a surface, unable to leave it or look at it from outside. It cannot see that its world is curved. But it can do experiments.

It can walk a triangle and add up the angles. It can pace out a circle of radius \(r\) and measure the circumference, comparing it with the \(2\pi r\) that flatness demands — on a sphere it comes up short, on a saddle it comes out long. Every one of these tests is performed entirely inside the surface, with a ruler and a protractor, and every one of them detects curvature.

That is what makes curvature intrinsic. It is not a statement about how the surface sits in space; it is a property of distances within the surface itself, and it can be measured by inhabitants who have no idea there is an outside.

Three surfaces with different curvature On the left a sphere with a triangle drawn on it, whose angles add to more than 180 degrees. In the middle a flat plane with an ordinary triangle, whose angles add to exactly 180. On the right a saddle drawn as a curved mesh, with a triangle whose sides bow inward and whose angles add to less than 180. sphereangles add to more than 180° planeangles add to exactly 180° saddleangles add to less than 180°
Three worlds, each with a triangle made of the straightest available paths. On the sphere the sides bow outward and the corners open up; on the saddle they bow inward and the corners pinch. An inhabitant who can only measure angles, and can never leave the surface, can still tell which world they are in.
Gauss’s remarkable theorem

The intrinsic curvature of a surface is unchanged by bending, as long as nothing is stretched, compressed or torn.

Gauss proved this in 1827 and called it the theorema egregium — the remarkable theorem. He was not a man given to exclamation, and he named it that because it says something no one expected: curvature, which looks like a fact about how a surface sits in space, is really a fact about distances measured within it.

spot check
A flat sheet of paper is rolled into a tube without stretching. What is the tube’s intrinsic curvature?

Three consequences, all of which you have already met or can check over lunch.

idea — where this goes

A surface that looks flat if you stand close enough, but need not be flat overall, is called a manifold. You have been standing on one all your life and it took humanity a surprisingly long time to notice.

The mathematics of these objects — geodesics instead of straight lines, curvature instead of flatness, a triangle's excess telling you how much space is bending underneath it — is differential geometry, and it is the language in which general relativity is written. In that theory gravity is not a force pulling planets into orbit; it is curvature in the geometry of space and time, and a planet moving "straight ahead" along a geodesic traces an ellipse for the same reason a plane flying straight from New York to Madrid bows north on the map.

You are four ideas away from that: limits, derivatives, several variables, and tensors. But the picture — the actual conceptual content — is the octant triangle you just looked at. Nothing about it required anything beyond this chapter.

Mass curving space, and a planet following the curve A flat grid of lines drawn in perspective, sagging into a deep well around a heavy star at the centre. A planet travels a closed orbit that follows the shape of the sagging grid rather than being pulled by any visible string. the planet is not held by a string — it goes as straight as it can, on a surface that is not flat mass tells space how to curve; curved space tells mass how to move
A two-dimensional cartoon of what general relativity says. The grid is space, the star's mass makes it sag, and the planet simply follows the straightest available path across the sagged grid — a geodesic, exactly like the great-circle route of an aircraft. Nothing is pulling it sideways. The geometry is doing the work.
history

For two thousand years, mathematicians tried to prove Euclid's fifth postulate — essentially that parallel lines never meet — from the other four. The effort was enormous and it always failed. In the 1820s Bolyai in Hungary and Lobachevsky in Russia independently stopped trying to prove it and asked what happens if you assume it is false. What happens is: a complete, consistent geometry, describing a saddle-shaped world where triangles have too little angle.

Gauss had reached the same conclusion years earlier and published nothing, fearing what he called the outcry of the Boeotians. Bolyai's father, who had spent his own life on the problem, wrote to his son begging him to abandon it: it may take all your time, and deprive you of your health and peace of mind. The son ignored him, and geometry stopped being one thing.

Ninety years later Einstein needed a geometry in which space itself bends. It was already built and waiting.

exercises 5.3
  1. A spherical triangle has angles \(100^{\circ}\), \(85^{\circ}\) and \(70^{\circ}\). Find its excess in radians and its area on the Earth (\(r=6{,}371\) km).
  2. What fraction of the Earth’s surface is covered by a triangle with three angles of \(120^{\circ}\)?
  3. Explain why a spherical triangle can have two right angles, and sketch one. Can a flat triangle?
  4. Using the spherical law of cosines, find the distance from Quito (\(0^{\circ}\)N, \(78.5^{\circ}\)W) to Nairobi (\(1.3^{\circ}\)S, \(36.8^{\circ}\)E).
  5. A circle of radius \(r\) drawn on a sphere has a circumference slightly less than \(2\pi r\). Explain why, using the fact that the circle’s radius must be measured along the surface.
  6. An ant on a cylinder measures the angles of a large triangle and gets exactly \(180^{\circ}\). What does it conclude, and is it right?
  7. Greenland appears about the same size as Africa on a Mercator map, but is about one fourteenth of its area. Which property does Mercator preserve, and what does it sacrifice? Why can no projection preserve both?
  8. A triangle with sides of 40 km is surveyed on the Earth. Estimate its angle excess in seconds of arc, and decide whether an instrument accurate to one second would detect it.
  1. Sum \(=255^{\circ}\), excess \(=75^{\circ}=1.309\) rad. Area \(=1.309(6371)^{2}=5.31\times10^{7}\) km² \(\approx\) 53 million km², roughly a tenth of the Earth.
  2. Sum \(=360^{\circ}\), excess \(=180^{\circ}=\pi\) rad, so area \(=\pi r^{2}\). The sphere has area \(4\pi r^{2}\), so the triangle covers exactly one quarter.
  3. Take both vertices on the equator and the third at the pole: the two lines of longitude meet the equator at right angles, whatever the angle at the pole. A flat triangle cannot — two right angles already use up the whole \(180^{\circ}\).
  4. Co-latitudes \(90^{\circ}\) and \(91.3^{\circ}\); longitude difference \(78.5+36.8=115.3^{\circ}\). Then \(\cos c=\cos90^{\circ}\cos91.3^{\circ}+\sin90^{\circ}\sin91.3^{\circ}\cos115.3^{\circ}=-0.4275\), so \(c=115.3^{\circ}=2.012\) rad and the distance is 12,820 km.
  5. The radius is measured along the curved surface, so it is longer than the straight-line radius of the flat circle it bounds. The circumference belongs to that smaller flat circle, so it falls short of \(2\pi r\) — and the shortfall is a measurement of curvature made entirely from inside.
  6. It concludes it is living in a flat world, and for the purposes of geometry it is right: a cylinder is intrinsically flat, because it was rolled from a flat sheet without stretching. Only by walking all the way round and returning to its starting point would it learn anything was unusual, and that is a fact about the shape’s connectivity, not its curvature.
  7. Mercator preserves angles, which is why it was invaluable for navigation — a constant compass bearing is a straight line on the map. It sacrifices area, increasingly badly toward the poles. No projection can preserve both, because that would make the sphere intrinsically flat, which Gauss’s theorem forbids.
  8. Area \(\approx\dfrac{\sqrt3}{4}(40)^{2}=693\) km². Excess \(\approx693/6371^{2}=1.71\times10^{-5}\) rad \(=3.5\) seconds of arc. An instrument good to one second would detect it comfortably — and nineteenth-century surveyors did exactly this, using the excess as a check on their own measurements.

Where this chapter leaves you

Similar triangles let you trade a measurement you can make for one you cannot, which is how a stick measures a building and a shadow measures a planet. The Law of Sines and the Law of Cosines finish the job for triangles with no right angle, with one honest warning about the case where the data does not determine the answer.

And then the sphere, where the angles come out wrong, geodesics replace straight lines, and curvature turns out to be something the inhabitants of a surface can measure without ever leaving it. That is the door to the geometry of curved spaces, and you have walked up to it using nothing beyond a protractor and the contents of Chapter 4.

Chapter 6 goes back inside the circle to collect the identities — the many different ways of writing the same quantity that the circle’s symmetry makes possible.

Next: Chapter 6 — Trigonometric identities.