So all those theorems you've proven in the last 45 videos should be equally valid in red geometry. That is really impressive. What I'm wondering is if that is a striking coincidence or not, I mean, would the same be the case no matter how you defined perpendicularity? Then I think of the affine geometry that didn't even have a notion of perpendicular. I guess it's going to take a while to solidify in my mind.
@benthurston27 Correct, a lot of the theorems also hold in red geometry, once you state them correctly in that framework. It is an aspect of the universality of rational trigonometry.
@njwildberger My thinking was everything you'd proven up to this point you had used the cross rule and the rules derived from it to prove it, so the cross rule being the same in red geometry meant all of those proofs still held, but now I'm thinking maybe somewhere along the way you might have used something like just the definition of the spread which is different between the two. Anyway thanks for all your replies!
So all those theorems you've proven in the last 45 videos should be equally valid in red geometry. That is really impressive. What I'm wondering is if that is a striking coincidence or not, I mean, would the same be the case no matter how you defined perpendicularity? Then I think of the affine geometry that didn't even have a notion of perpendicular. I guess it's going to take a while to solidify in my mind.
benthurston27 6 months ago
@benthurston27 Correct, a lot of the theorems also hold in red geometry, once you state them correctly in that framework. It is an aspect of the universality of rational trigonometry.
njwildberger 6 months ago
@njwildberger My thinking was everything you'd proven up to this point you had used the cross rule and the rules derived from it to prove it, so the cross rule being the same in red geometry meant all of those proofs still held, but now I'm thinking maybe somewhere along the way you might have used something like just the definition of the spread which is different between the two. Anyway thanks for all your replies!
benthurston27 6 months ago