Loading [MathJax]/jax/output/HTML-CSS/jax.js

Saturday, October 16, 2010

Whence 4?

Time for some more math! At my (new! yay!) supervisor's behest I've been trying like a primordial lungfish to breath the fresh air called spectral sequences --- how they ever managed to acclimate to such thin and rarefied reference to anything tangible is beyond me; but then, the calculations themselves are thick as water to my more-terrestrial brain.

Today is not about spectral sequences, but back to geometric measure theory. Some time ago I got as far as to outline the proportion of surface areas vs. angles
S(qrs):S(S)::qrs+rsq+sqrπ:4π
for a spherical triangle qrs --- although for reasons of presentation, that tale refered to the hemispheres A,B,C described by the arcs qr, rs, sq and containing the triangle qrs. (Do you see some ambiguity creeping into the tale? Don't worry: make your choices and then show that they aren't important!)

So, our task today is to improve the proportionality by establishing, for a unit sphere S, an equality S(qrs)=qrs+rsq+sqrπ, which by the complementary proportion will give S(S)=4π.

For simplicity, we'll assume the angle at s --- that is, rsq is a right angle, also known as π2, or half of π. (Not, btw, half a pie... half a pie is a whole π, and we're also trying to show today that half a unit pea has rounded area 2π!). This means reducing our problem to the study of qrs+sqrπ2, a form which should resonate in the mind of anyone who has thought seriously about right triangles in the more extraordinary, flat world.

A logician I once knew exulted in declaring that Man's office of naming things is also the mathematician's first tool: it does wonders to our reasoning to give a short name to otherwise clunky perilocutions as "the angle subtended at the spherical center by the arc sq" --- this angle I will call σ. The other arc's angle, that of rs will be τ. For similar reasons, the angles at q and r will become ϕ and θ. One more angle needs a name, that of the altitude from s to the hypotenuse, which I shall call ζ. Its sole purpose is to simplify the formulae following our sketch of the situation thus far:
with this picture, we have the two equations
sinτcosθ=cosτsinζ
sinσcosϕ=cosσsinζ
Incidentally, it's quickest to derive this formula if you already know ---as we do--- that great circles lie in planes through the origin, each of which is a set of points (x,y,z) satisfying an equation like xcosϕ+ycosθ=zsinζ. By far the simplest situation to deal with is when you have some relation like cos2ϕ+cos2θ+sin2ζ=1 --- and as I've described the angles ϕ,θ,ζ above, that's exactly the case here. Why? Hmm... it's more linear algebra. There ought to be auxiliary diagrams that clear it all up...

Anyways, The Trick, at this point, is to study the area of our triangle, and compare it to other things that are similar. For instance, when σ<1 we have

σσ36<sinσ<σ<tanσ<σ1σ2/2


This means, for instance, that the area of a rectangle with sides tanτ and tanσ is very close to τσ, which itself looks very close to twice the area of our spherical triangle --- how close? Well, in this case, it means if we fix θ, and then imagine ζ decreasing to zero, then τ,σ also tend to zero, so that 1<tanσσ<11σ2/2 squeezes the middle ratio to 1, sandwich-wise. The use of the accidental simplicity cos2θ+cos2ϕ+sin2ζ=1 is that it can equally be written sin2ζ=sin2θcos2ϕ, which if you remember your double-angle formulas, and your heterodyne equation, is
sin2ζ=cos2θ+cos2ϕ2=cos(θ+ϕ)cos(θϕ)
What good is that? Well, it's handy that we can (again) just as well write
sin(θ+ϕπ2)=cos(θ+ϕ)...
oh dear, that's getting clunky, again... let α=θ+ϕπ2. Note that this *is* the angle excess which we know to be exactly proportional to the area of our triangle.
Then sin2ζ=sin(α)cos(θϕ).
This is nifty, because on the one side we actually have tanσtanτcosϕcosθ, which is proportional to our imagined rectangle, and the proportion only depends on θ and ϕ; the other side is proportional to sinα --- which is nearly α when α gets small, as it will --- so it seems we're left with comparing
cosϕcosθ vs. cos(θϕ).
Now, you can't see --- because I skipped the step --- but what I've been writing cos(θϕ) once used to be cosϕcosθ+sinϕsinθ. Oh! hooray! there's a cosϕcosθ! Oh! drat! there's another term! What is that other term?
Well, with the new name (α) at our disposal, it's easily rewritten
cos(θα)cos(ϕα).

Compiling our results so far, we're at the point where we can say
tanσtanτsinα=1+cos(θα)cosθcos(ϕα)cosϕ
In other words, the ratio of rectangle to angle-excess is 1 plus that other thing --- that the other thing tends to 1 as ζ tends to 0 is yet more of these angle-sum and -difference rules, but as you can probably see, we're not far off.

The rough rectangle to roughly the angle excess is roughly 2, so the triangle to the angle excess is exactly 1.

We're done.

0 comments:

Post a Comment