Their work joins a handful of other trigonometric proofs that were added to the mathematical archives over the years. Each sidestepped “circular logic” to prove the pivotal theorem. So what exactly is ...