Rational trigonometry

Summary