How high do you have to go?
Note: this article makes use of MathML, the standard XML markup for math formulas. Sadly, this is not properly supported on some allegedly ‘modern’ and ‘feature-rich’ browsers. If the formulas don't make sense in your browser, consider reporting the issue to the respective developers and/or switching to a standard-compliant browser.
You are standing on the beach of a great lake, and realize that the other side is far enough to not be visible. You'd have to get to a higher place. But how much higher?
To simplify things a little bit, let us assume that the Earth is spherical, so that the geodetic (shortest path on the surface) connecting any two points on the surface is the arc of a great circle, and let as denote the radius of this sphere by (which is something less of 6,400 km).
Let us denote by the distance (along the geodetic) between the place where we are and the place we want to see. Let be the distance above the Earth surface our eyes have to be to be able to see due to the curvature of the Earth.
Observe that the center of the earth , the place we want to see and the place we have to be at to see it represent a right triangle with hypothenuse and legs and . We also have , and the arc .
By definition of radian, the angle has amplitude (radians). As a side note, we remark that this whole construction only makes sense if , or (we will discuss this more later).
We also have that , and thus , that is and finally:
or
Approximation
To proceed further, let us assume that is very small compared to , so that the cosine of the angle is very close to 1. We can then make use of the small-angle approximation , which brings us to
or
and rememering that ,
Taking advantage of the fact that is probably easier to compute than for us, we can rewrite the previous expression as
A different formula
Let's go back to
and remember that, with , we can write , so:
or
simplifying to
or still again, dividing numerator and denomitator by ,
For small we can approximate and . This gives us
The only difference is that we're subtracting instead of 1 at the denominator. In fact, in most cases (small ) we can completely disregard the subtracting costant.
A historical note
When computers were not as common as they are today, and time-consuming accurate computations were optimized by the use of look-up tables, several derived trigonometric functions were in common usage. The one we care about is the exterior secant (exsec for short), that represents exactly the ratio of the length we are interested in to the radius of the circle:
The interesting thing about is that you can express it in terms of the tangent simply as
The first terms of the Taylor expansion around 0 for this function are:
as usual with .
If we stop at the first term (the same we would get from our knowledge of the first-order approximation of the tangent), we get an approximation of as
which, while written differently, is in fact the same expression that we've seen already, but with a null constant —as anticipated.
Knowing additional terms allows us to write higher order approximation (if we would ever need it):
If we wanted to express this in terms of the easier-to-compute-and-square , we would get:
Finally, since we know the next term in the series, let's do that (and stop there, since coefficients start becoming very large afterwards): expanding we get
and expressing this in terms of :
TL;DR summary
If you want to know how high you have to go over the surface of a sphere of radius to see a point which is at distance along the surface of the sphere, compute and then your height can be computed as
For higher-order terms, set . The second term then gives us
and if we want to push it further
(The formulas are in Horner's form, which makes for quicker computation and express elegantly the “extra contribution” from each new term.)
An example
As an example, let's say that is about 160 km, which puts at around 40, squared to 1,600, doubled to 3,200. Disregarding the subtracting constant (i.e. using the exsecant expansion), the final result is km. The correct value would be , so our approximation is good within half a meter out of 2km, a relative error of about 2.6%.
Limitations
You can't see further than a quarter circle in each direction, and that's only at infinite distance from the sphere surface; so we must have or . (Using the approximation , which is a slight overestimation, we get the easier condition ).
On the Earth, this would mean distances up to about 10,000km, which means you wouldn't be able to see Cape Town from Reykjavik (over 11,400km), but you could see Hong Kong from Rome (9,280km).
However, the formulas we presented aren't accurate in the whole domain: the error term for the higher order approximation is of order 6, and in the highest order we presented is of order 8, which is very good as long as your angles are less than 1 radian, but actually gets really bad really fast after that.
(Intuitively, you can tell that the formula doesn't work when the distance approaches its maximum because the exact formula diverges, while the ones we have proposed don't.)
To see this in action, consider the Rome to Hong Kong case. We have , squared to , doubled to .
Our lower-order estimate for is 1,522km. Our higher-order estimate for is 1,824km. Our highest-order estimate is 2,160km. The correct answer is 46,711km, over 20 times higher!
So, how far can you push the formula? How large can the angle be before the error you commit is too large? What would be a possible workaround? (Aside from the obvious: use the exact formula.)