Quote Originally Posted by Quizatzhaderac View Post
There was no formal proof, but most of the basic rules of trigonometry depend on the Pythagorean theorem, so any proof involving them would be circular.
But you can get trigonometric functions from complex numbers and the exponential, and derive sin^2 + cos^2 = 1 that way without going through geometry...