So this comes up in Relativity, it having been noted that, in a space-time diagram, velocities are essentially slopes and, as such, don't add/subtract the way you'd think, that the Right Thing with velocities in one dimension is to project them onto the 1-Year Later hyperbola and measure the distances along that — what we've been calling the "velocity angles" — i.e., adding/subtracting those quantities instead.
One is then inspired to ask what happens in two (and three) spatial dimensions where you can now have velocity vectors with some (ordinary) angle between them that's not 0° or 180°; how do you combine those? Normally, we'd be doing trigonometry at this point (two magnitudes, angle between them, Law of Cosines, turn the crank, done), but it's going to need to be a different kind of trigonometry, because the hyperboloid thing that the 2D velocities project onto isn't flat,…
… just like combining displacements along a sphere needs spherical trigonometry.
Except this isn't a sphere, but maybe there's some other kind of geometry out there.
Anyway, that would be a use-case. If you badly want to see a worked example up front, I did one a while back.
(Or you could just be curious about what's going on in all of those M. C. Escher drawings. Whatever works.)
But, in fact, we won't be depending on that. This will be more of an axiom wanking approach parallel to what we did here for Spherical Geometry,
… and, to be completely lazy about it, we'll just copy-paste in the initial bits of text we need from there. Like this:
The Geometry Axiom Everybody Hates
Start with a line ℓ and a point A not on it. How do you put a line through A that doesn't intersect ℓ?
(blah blah blah … feel free to go back and read everything here about the parallel postulate up to "Taking Red Pill #1" since it's probably been, like, 7 years since you read it.)
… fast forward through 2000 years of Greeks, Romans, Arabs, and basically everybody, beating their heads against the wall trying to prove [the proposition that there will always be exactly one line through A that doesn't intersect ℓ] … and failing … perhaps because (drumroll…) there exist ways to have this Not Be True.
Once you start thinking along these lines, it's not actually that hard to come up with alternatives — everything is, of course, easy once somebody has thought to do it and figured out how. So let's try out an alternative and see where it gets us. (… cue Twilight Zone music …)
Taking Red Pill #1
[There is no such line]. All pairs of lines intersect. No exceptions. [All straight lines are actually circles with radius 90°, etc… blah blah blah… Spherical Geometry. And there was much rejoicing.]
(… insert record-scratch noise.
Uh oh. McCoy found the Guardian of Forever,
went back in time,
Edith Keeler is no longer road-kill,
and now the Universe is completely different.
Shit …)
Taking Red Pill #2
We'll give you multiple lines, i.e., we'll not only give you a second line, we'll let you tilt it through a whole range of angles, none of which will make it intersect the first line.
Oddly enough, this will also have consequences.
(…and now the pink elephants can really come screaming out of the walls.)
( Read more... )