In Phillip Harris' (U. Sussex) post on special relativity he includes on p. 45 an algebraic proof of invariance of spacetime intervals. He starts with the definition S^2 =c^t^2 - x^2 -y^2 -z^2, he inserts the Lorentz transform expressions fot t and x, and he does some algebra to show that one...