4 ms·

Also, John Cook recently blogged about it at https://www.johndcook.com/blog/2023/01/06/rational-trigonometry/ https://www.johndcook.com/blog/2023/01/06/rational

Also, John Cook recently blogged about it at https://www.johndcook.com/blog/2023/01/06/rational-trigonometry/ https://www.johndcook.com/blog/2023/01/06/rational-trigonome... and wrote: > I became interested in rational trigonometry when I was working on a project to formally verify drone collision avoidance software. Because all calculations are purely algebraic, involving no transcendental functions, theorems are easier to prove. ... > Another advantage is accuracy. Because a computer can carry out rational arithmetic exactly, rational trigonometry applied to rational points yields exact results. No need to be concerned about the complications of floating point numbers. > A less obvious advantage is that the theory of rational trigonometry is independent of the underlying field

prvc 4y ago
>A less obvious advantage is that the theory of rational trigonometry is independent of the underlying field What sort of interesting results come out of using a non-real field here?
- eesmith 4y ago
  You'll need to ask an actual mathematician. Cook recently wrote that blog post, so it's much better to ask him in the comment section of that post. Just because I can do a Google Scholar query using "rational trigonometry" and find papers saying things like: "Explicit tough Ramsey graphs" at https://arxiv.org/pdf/0807.2692.pdf https://arxiv.org/pdf/0807.2692.pdf . "We present here two new explicit constructions ... The first construction is based on a remarkable new approach of Wildberger to trigonometry and Euclidean geometry." does not mean I am qualified to judge what is "interesting", or figure out which use non-real fields.
deleted 4y ago
[deleted]
bigbillheck 4y ago
> Because all calculations are purely algebraic, involving no transcendental functions, theorems are easier to prove. ... Personally I would have said manipulation of trig identities and such is also purely algebraic.
- koningrobot 4y ago
  They meant algebraic in the sense of https://en.wikipedia.org/wiki/Algebraic_operation https://en.wikipedia.org/wiki/Algebraic_operation.
  - bigbillheck 4y ago
    Sure, but to be honest I'm a little bit boggled at the idea of a phd mathematician finding trig manipulation hard enough to be worth commenting on.
    - eesmith 4y ago
      This review of Wildberger's book at https://philarchive.org/archive/FRADPR https://philarchive.org/archive/FRADPR says the point isn't that the PhD mathematician finds trig hard, but rather to beginners: > ... very becoming-numerate generation invests enormous effort in the painful calculation of the lengths and angles of complicated figures. Surveying, navigation and computer graphics are intensive users of the results. Much of that effort is wasted, Wildberger argues. The concentration on angles, especially, is a result of the historical accident that serious study of the subject began with spherical trigonometry for astronomy and long-range navigation, which meant there was altogether too much attention given to circles. ... > Having things done better is one major payoff, but equally important would be a removal of a substantial blockage to the education of young mathematicians, the waterless badlands of traditional trigonometry that youth eager to reach the delights of higher mathematics must spend painful years crossing Whether that's correct is different. https://handwiki.org/wiki/Rational_trigonometry https://handwiki.org/wiki/Rational_trigonometry seems to give a good description of opposing views.
      - bigbillheck 4y ago
        I don't have a particularly high opinion of John D. Cook but I still wouldn't call him a 'beginner'.
        4y ago

prvc 4y ago

>A less obvious advantage is that the theory of rational trigonometry is independent of the underlying field What sort of interesting results come out of using a non-real field here?

eesmith 4y ago
You'll need to ask an actual mathematician. Cook recently wrote that blog post, so it's much better to ask him in the comment section of that post. Just because I can do a Google Scholar query using "rational trigonometry" and find papers saying things like: "Explicit tough Ramsey graphs" at https://arxiv.org/pdf/0807.2692.pdf https://arxiv.org/pdf/0807.2692.pdf . "We present here two new explicit constructions ... The first construction is based on a remarkable new approach of Wildberger to trigonometry and Euclidean geometry." does not mean I am qualified to judge what is "interesting", or figure out which use non-real fields.

deleted 4y ago

[deleted]

bigbillheck 4y ago

> Because all calculations are purely algebraic, involving no transcendental functions, theorems are easier to prove. ... Personally I would have said manipulation of trig identities and such is also purely algebraic.

koningrobot 4y ago
They meant algebraic in the sense of https://en.wikipedia.org/wiki/Algebraic_operation https://en.wikipedia.org/wiki/Algebraic_operation.
- bigbillheck 4y ago
  Sure, but to be honest I'm a little bit boggled at the idea of a phd mathematician finding trig manipulation hard enough to be worth commenting on.
  - eesmith 4y ago
    This review of Wildberger's book at https://philarchive.org/archive/FRADPR https://philarchive.org/archive/FRADPR says the point isn't that the PhD mathematician finds trig hard, but rather to beginners: > ... very becoming-numerate generation invests enormous effort in the painful calculation of the lengths and angles of complicated figures. Surveying, navigation and computer graphics are intensive users of the results. Much of that effort is wasted, Wildberger argues. The concentration on angles, especially, is a result of the historical accident that serious study of the subject began with spherical trigonometry for astronomy and long-range navigation, which meant there was altogether too much attention given to circles. ... > Having things done better is one major payoff, but equally important would be a removal of a substantial blockage to the education of young mathematicians, the waterless badlands of traditional trigonometry that youth eager to reach the delights of higher mathematics must spend painful years crossing Whether that's correct is different. https://handwiki.org/wiki/Rational_trigonometry https://handwiki.org/wiki/Rational_trigonometry seems to give a good description of opposing views.
    - bigbillheck 4y ago
      I don't have a particularly high opinion of John D. Cook but I still wouldn't call him a 'beginner'.
      - 4y ago