Der Satz von Leonardo (englisch Leonardo’s Theorem) ist ein Lehrsatz der Absoluten Geometrie, der dem Mathematiker Hermann Weyl zufolge auf Leonardo da Vinci zurückzuführen ist. Der Satz behandelt die Frage der Struktur endlicher Isometriegruppen absoluter Ebenen.^[1]

Der Satz lässt sich in moderner Formulierung angeben wie folgt:^[2][3][4][5]

Gegeben sei eine Ebene ${\displaystyle E}$ der Absoluten Geometrie und zudem eine endliche Gruppe ${\displaystyle \Gamma \subset \operatorname {Sym} _{E}}$ von Isometrien auf ${\displaystyle E}$.

Dann gilt:

${\displaystyle \Gamma }$ ist entweder eine zyklische Gruppe oder ${\displaystyle \Gamma }$ ist isomorph zu einer Diedergruppe. Der erste Fall liegt vor, wenn ${\displaystyle \Gamma }$ lediglich aus Drehungen besteht, während der zweite Fall gegeben ist, wenn ${\displaystyle \Gamma }$ neben Drehungen mindestens eine Geradenspiegelung enthält, welche nicht die identische Abbildung ist.

Nach Hermann Weyl entdeckte Leonardo den Satz, als er in seinen Studien zur Architektur der Frage nachging, wie man einem Gebäude Kapellen und Nischen anfügen könne, ohne die Symmetrie des Gebäudekerns zu zerstören.^[2][6][7][8]

• Dreispiegelungssatz

• H. S. M. Coxeter: Unvergängliche Geometrie. Ins Deutsche übersetzt von J. J. Burckhardt (= Wissenschaft und Kultur. Band 17). Birkhäuser Verlag, Basel / Stuttgart 1963, S. 54 (MR0692941). 
• George E. Martin: The Foundations of Geometry and the Non-Euclidean Plane (= Undergraduate Texts in Mathematics). Springer Verlag, New York / Heidelberg / Berlin 1982, ISBN 0-387-90694-0, S. 386 ff. (MR0666074 – Reprint). 
• Daniel Pedoe: Geometry and the Visual Arts. Reprint of the edition 1976. Dover Publications, New York 1983, ISBN 0-486-24458-X, S. 95 ff., 258–261. 
• Hermann Weyl: Symmetrie. Birkhäuser Verlag, Basel / Stuttgart 1955, S. 71, 102 (MR0079586). 

1. ↑ George E. Martin: The Foundations of Geometry and the Non-Euclidean Plane. 1982, S. 386 ff
2. ↑ ^{a b} H. S. M. Coxeter: Unvergängliche Geometrie. 1963, S. 54
3. ↑ Martin, op. cit., S. 386, 391–392
4. ↑ Daniel Pedoe: Geometry and the Visual Arts. 1983, S. 258–261
5. ↑ David L. Johnson: Symmetries, Springer-Verlag, Berlin 2001, ISBN 1-85233-270-0, Kapitel 6.1: Leonardo’s Theorem.
6. ↑ Martin, op. cit., S. 392
7. ↑ Pedoe, op. cit., S. 96
8. ↑ Hermann Weyl: Symmetrie. 1955, S. 71,102