# Geometrografie

Onder geometrografie wordt in de wiskunde verstaan de studie van de complexiteit van constructies van meetkundige figuren met passer en (ongemerkte) liniaal (verder afgekort als p&l). Een constructie van een figuur gebaseerd op deze theorie is een geometrografische constructie.

## P&L-constructies

De basis voor de geometrografie is in 1888 gelegd door de Franse civiel ingenieur en wiskundige Émile Lemoine (1890-1912). Hij noemde zijn theorie géométrographie. Eerder hebben wiskundigen als Lorenzo Mascheroni (1750-1800) en Jakob Steiner (1796-1863) zich met de theorie van de p&l-constructies bezig gehouden.
Het is bekend dat een p&l-constructie van een figuur vaak op meer manieren (in een verschillend aantal stappen, met andere ‘tussenobjecten’) kan worden uitgevoerd.

### Een constructie

De opdracht luidt: Construeer met p&l de loodlijn $n$ op een gegeven lijn $l$ in een gegeven punt $A$ van die lijn $l$. Hieronder staan de constructiestappen, in twee verschillende gevallen (zie figuur ${\rm {I}}$ en figuur ${\rm {II}}$):
| Constructiestap | ${\rm {I}}\,$ (links) | ${\rm {II}}\,$ (rechts) |
| 1. | Punt $B$ op $l$ | Punt $M$ buiten $l$ |
| 2. | Cirkel$(A,AB)={\Gamma _{1}}$ | Cirkel$(M,MA)={\Gamma }$ |
| 3. | Snijpunt(en)$(l,{\Gamma _{1}})=C$ | Snijpunt(en)$(l,{\Gamma })=B$ |
| 4. | Cirkel$(C,CB)={\Gamma _{2}}$ | Lijn$(B,M)=m$ |
| 5. | Cirkel$(B,BC)={\Gamma _{3}}$ | Snijpunt(en)$(m,\Gamma )=C$ |
| 6. | Snijpunt(en)$(\Gamma _{2},\Gamma _{3})=D$ | Lijn$(C,A)=n$ |
| 7. | Lijn$(D,A)=n$ | |
Op de vraag welke van deze beide p&l-constructies, objectief gezien, de grootste complexiteit heeft, geeft de door Lemoine ontwikkelde methode in ieder geval een antwoord.
Overigens, de geometrografische methode is slechts korte tijd en in een klein aantal landen (Frankrijk, Engeland, België, Duitsland) gebruikt. De theorie staat evenwel weer in de belangstelling vanwege het onderzoek naar de complexiteit bij computergestuurd construeren.

## Geometrografische basisconstructies

In de geometrografie beperkt men zich bij de geometrografische beschrijving tot vijf elementaire constructies, waarmee, zo nodig herhaald, alle p&l-constructies kunnen worden beschreven.
| | Bewerking | Notatie |
| 1. | Het leggen van de liniaal door één bestaand punt | $R_{1}$ |
| 2. | Daadwerkelijk tekenen van een rechte lijn door twee bestaande punten | $R_{2}$ |
| 3. | Een passerpunt plaatsen op een bestaand punt | $C_{1}$ |
| 4. | Een passerpunt plaatsen op een willekeurig punt van een rechte lijn of van een cirkel | $C_{2}$ |
| 5. | Daadwerkelijk tekenen van een cirkel | $C_{3}$ |
Indien de bewerking $X\;(={R_{i}},{C_{i}})$ in een constructiebeschrijving $n$ keer voorkomt, dan wordt dat genoteerd als $nX$. Daarbij is: $R$ = (fr) règle = liniaal en $C$ = (fr) cercle = cirkel.

### Voorbeelden

* Het leggen van de liniaal door twee gegeven punten wordt geschreven als $2R_{1}$. Als daarna, zonder de liniaal te verplaatsen, de rechte lijn door die twee punten getekend wordt, dan wordt dat geschreven als $2R_{1}+R_{2}$.
* Het tekenen van een driehoek als de hoekpunten gegeven zijn, geeft $4R_{1}+3R_{2}$.
* Het plaatsen van een passerpunt in een bepaald punt om vervolgens de andere passerpunt in een ander bepaald punt te plaatsen is $2C_{1}$ (“een afstand in de passer nemen”). Een constructie beginnen met het tekenen van een willekeurige cirkel wordt beschreven met $C_{3}$.
Elke meetkundige constructie leidt dan tot een uitdrukking van de vorm:
    $G=p_{1}R_{1}+p_{2}R_{2}+q_{1}C_{1}+q_{2}C_{2}+q_{3}C_{3}$
waarin de coëfficiënten $p_{i}$, $q_{i}$ het aantal keer aangeven dat de bijbehorende bewerking is uitgevoerd.

## Complexiteit

Lemoine noemde het getal $B=p_{1}+p_{2}+q_{1}+q_{2}+q_{3}$ – dat is dus het aantal bewerkingen $(B)$ – de coefficient de simplicité (kortweg simplicité), maar dat lijkt tegenstrijdig, omdat de ‘eenvoud’ van de constructie groter is naarmate het getal $B$ kleiner is.
De nauwkeurigheid (exactheid, $E$) van de constructie is slechts afhankelijk van de bewerkingen $R_{1}$, $C_{1}$ en $C_{2}$. Dit zijn immers de bewerkingen waarbij, met het in de praktijk uitvoeren van de constructie, fouten kunnen worden gemaakt. Lemoine noemde het getal $E=p_{1}+q_{1}+q_{2}$ coefficient d’exactitude (kortweg exactitude) van de constructie.

### G, B en E

Lemoine behandelde in zijn boek Géométrographie meer dan 60 constructies uit de elementaire meetkunde, zoals (en let wel, de volgorde van de constructiestappen is uit $G$ niet af te leiden):
* De constructie van een rechte hoek (waarvan niets gegeven is), met:
    $G=4R_{1}+3R_{2}+C_{3};B=8;E=4$
* De constructie van het middelpunt van een gegeven cirkel, als het middelpunt niet zichtbaar is, met:
    $G=4R_{1}+2R_{2}+3C_{2}+3C_{3};B=12;E=7$
* De constructie van het lijnstuk met lengte $x$, dat middelevenredig is tussen twee gegeven lijnstukken met lengte $a$ en $b$ (dus zo dat ${x^{2}}=ab$), met:
    $G=4R_{1}+3R_{2}+12C_{1}+C_{2}+8C_{3};B=28;E=17$