Is there some book, or systematic theory, that proves theorems of euclidean geometry by viewing them as invariable properties of certain geometric configurations ?
So that from an easy special case, because of invariance, we conclude the validity of the more difficult general case.
(Like, for example, in http://www.alainconnes.org/docs/morley.pdf where Morley's theorem is proved with fixed points and group theory.)