Geometric proofs and algebraic functions
arXiv:1612.08902
Abstract
In this paper I present a kind of proof for classical Euclidean geometric problems which relies on both synthetic and analytic geometry. Using the elementary tools of polynomial algebra and multivariate calculus we manage to reduce the proof of some general theorems to a finite number of particular cases.
arXiv comment15 pages