NJ Wildberger, who is behind rational trigonometry, has some radical ideas. However, I do not think there is anything wrong with his results (at least most of t

NJ Wildberger, who is behind rational trigonometry, has some radical ideas. However, I do not think there is anything wrong with his results (at least most of them, his videos are great too!) and most of them could probably be applied in a more formal framework. In my opinion, this paper is a good example.