Προβολή πηγαίου κώδικα για τη σελίδα Κατασκευάσιμος αριθμός

[[File:Square root of 2 triangle.svg|thumb|250px|Η [[τετραγωνική ρίζα]] του 2 είναι ίση με το μήκος της υποτείνουσας ενός [[Ορθογώνιο τρίγωνο|ορθογωνίου τριγώνου]] του οποίου οι πλευρές έχουν μήκος 1. Επομένως, είναι ένας κατασκευάσιμος αριθμός.]]

Στη [[γεωμετρία]] και την [[άλγεβρα]], ένας [[πραγματικός αριθμός]] <math>r</math> είναι '''κατασκευάσιμος αριθμός''' εάν και μόνον εάν, δεδομένου ενός [[Ευθύγραμμο τμήμα|ευθύγραμμου τμήματος]] μοναδιαίου μήκους, ένα ευθύγραμμο τμήμα μήκους <math>|r|</math>  μπορεί να κατασκευαστεί με διαβήτη και χάρακα σε πεπερασμένο αριθμό βημάτων. Ισοδύναμα, ο <math>r</math> είναι κατασκευάσιμος [[αν και μόνο αν]] υπάρχει έκφραση για τον <math>r</math> που χρησιμοποιοεί μόνο [[Ακέραιος αριθμός|ακέραιους αριθμούς]] και τις πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού, της διαίρεσης και της τετραγωνικής ρίζας.

Ο γεωμετρικός ορισμός των κατασκευάσιμων αριθμών οδηγεί σε αντίστοιχο ορισμό των κατασκευάσιμων [[σημείο|σημείων]], τα οποία μπορούν και πάλι να περιγραφούν είτε γεωμετρικά είτε αλγεβρικά. Ένα σημείο είναι κατασκευάσιμο εάν μπορεί να παραχθεί ως ένα από τα σημεία κατασκευής ενός διαβήτη και ενός χάρακα (τελικό σημείο ενός ευθύγραμμου τμήματος ή σημείο τομής δύο ευθειών ή κύκλων), από ένα τμήμα δεδομένου μοναδιαίου μήκους. Εναλλακτικά και ισοδύναμα, θεωρώντας τα δύο άκρα του δεδομένου τμήματος ως τα σημεία (0, 0) και (1, 0) ενός καρτεσιανού συστήματος συντεταγμένων, ένα σημείο είναι κατασκευάσιμο εάν και μόνο εάν οι καρτεσιανές συντεταγμένες του είναι και οι δύο κατασκευάσιμοι αριθμοί.<ref>{{harvtxt|Kazarinoff|2003|pages=10 & 15}}; {{harvtxt|Martin|1998}}, Corollary 2.16, σελ. 41.</ref> Οι κατασκευάσιμοι αριθμοί και σημεία λέγονται επίσης αριθμοί κατασκευάσιμοι με χάρακα και διαβήτη και σημεία κατασκευάσιμα με χάρακα και διαβήτη, για να διακριθούν από τους αριθμούς και τα σημεία που μπορούν να κατασκευαστούν με άλλες διαδικασίες.<ref>{{cite book |last=Martin |first=George E. |year=1998 |title=Geometric Constructions |url=https://archive.org/details/geometricconstru0000mart |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4612-0629-3 |ISBN=0-387-98276-0 |mr=1483895 }}</ref>

Το [[σύνολο]] των κατασκευάσιμων αριθμών αποτελεί ένα [[Σώμα (άλγεβρα)|πεδίο]]: εφαρμόζοντας μία από τις τέσσερις βασικές αριθμητικές πράξεις στα μέλη αυτού του συνόλου, λαμβάνουμε έναν άλλο κατασκευάσιμο αριθμό.<ref name=":0">{{cite book |last1=Courant |first1=Richard |last2=Robbins |first2=Herbert |year=1996 |chapter=Chapter III: Geometrical constructions, the algebra of number fields |title=What is Mathematics? An elementary approach to ideas and methods |url=https://archive.org/details/whatismathematic0000cour |edition=2η |publisher=Oxford University Press |pages=[https://archive.org/details/whatismathematic0000cour/page/117 117]–164 |ISBN=0-19-510519-2 }}</ref> Το πεδίο αυτό αποτελεί επέκταση των [[ρητός αριθμός|ρητών αριθμών]] και περιέχεται με τη σειρά του στο πεδίο των [[αλγεβρικός αριθμός|αλγεβρικών αριθμών]].<ref name=":0" /> Είναι το Ευκλείδειο κλείσιμο των ρητών αριθμών, η μικρότερη επέκταση των ρητών αριθμών που περιλαμβάνει τις τετραγωνικές ρίζες όλων των θετικών αριθμών της.<ref name="K70">{{cite book |last=Kazarinoff |first=Nicholas D. |year=2003 |orig-year=1970 |title=Ruler and the Round: Classic Problems in Geometric Constructions |url=https://archive.org/details/rulerroundclassi0000kaza |publisher=Dover |ISBN=0-486-42515-0 |MR=1963960}}</ref>

Η απόδειξη της ισοδυναμίας μεταξύ αλγεβρικού και γεωμετρικού ορισμού των κατασκευάσιμων αριθμών είχε ως αποτέλεσμα να μετατραπούν γεωμετρικά ερωτήματα σχετικά με τις κατασκευές με διαβήτη και χάρακα σε αλγεβρικά, συμπεριλαμβανομένων πολλών διάσημων προβλημάτων από τα [[Ελληνικά μαθηματικά|αρχαία ελληνικά μαθηματικά]]. Η αλγεβρική διατύπωση αυτών των ερωτημάτων απέδειξε ότι οι λύσεις τους δεν είναι κατασκευάσιμες, στην γεωμετρική τους μορφή έμειναν άλυτα για αιώνες.

==Γεωμετρικός Ορισμός==
===Γεωμετρικά κατασκευάσιμα σημεία===
Έστω <math>\rm O</math> και <math>\rm A</math> δύο διαφορετικά σημεία στο ευκλείδειο επίπεδο και ορίζουμε <math>S</math> ως το σύνολο των σημείων που μπορούν να κατασκευαστούν με διαβήτη και χάρακα, ξεκινώντας από το <math>\rm O</math> και το <math>\rm A</math>. Τα σημεία του <math>S</math> ονομάζονται τότε κατασκευάσιμα σημεία. Τα <math>\rm O</math> και <math>\rm A</math> είναι, εξ ορισμού, στοιχεία του <math>S</math>. Για να περιγράψουμε με μεγαλύτερη ακρίβεια τα άλλα στοιχεία του <math>S</math>, δίνουμε τους ακόλουθους δύο ορισμούς:{{r|K70}}

*ένα ευθύγραμμο τμήμα του οποίου τα άκρα βρίσκονται στο <math>S</math> ονομάζεται ''κατασκευάσιμο ευθύγραμμο τμήμα'', και
*ένας [[κύκλος]] του οποίου το κέντρο βρίσκεται στο <math>S</math> και ο οποίος διέρχεται από ένα σημείο του <math>S</math> (ή του οποίου η [[Ακτίνα (γεωμετρία)|ακτίνα]] είναι η απόσταση μεταξύ δύο διαφορετικών σημείων του <math>S</math>) ονομάζεται ''κατασκευάσιμος κύκλος''.

Τότε τα σημεία του <math>S</math>, εκτός από τα <math>\rm O</math> και <math>\rm A</math> είναι:{{r|K70}}<ref name=":2">{{cite book |last=Martin |first=George E. |year=1998 |title=Geometric Constructions |url=https://archive.org/details/geometricconstru0000mart |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4612-0629-3 |ISBN=0-387-98276-0 |mr=1483895 }}</ref>
*το σημείο τομής δύο μη παράλληλων κατασκευάσιμων τμημάτων ή γραμμών που διέρχονται από κατασκευάσιμα τμήματα,
*τα σηµεία τοµής ενός κατασκευάσιμου κύκλου και ενός κατασκευάσιμου τµήµατος, ή µιας ευθείας που διέρχεται από ένα κατασκευάσιμο τµήµα, ή
*τα σημεία τομής δύο διαφορετικών κατασευάσιμων κύκλων.

Παραδείγματος χάριν, το [[Μέσο (σημείο)|μέσο]] του κατασκευάσιμου τμήματος <math>\rm OA</math> είναι ένα κατασκευάσιμο σημείο. Μια κατασκευή για αυτό το σημείο είναι να κατασκευαστούν δύο κύκλοι με (αρκετά μεγάλη) ακτίνα το <math>\rm OA</math> και η ευθεία που διέρχεται από τα δύο σημεία τομής αυτών των δύο κύκλων. Το μέσο του τμήματος <math>\rm OA</math> είναι τότε το σημείο όπου το τμήμα αυτό τέμνεται από την κατασκευασμένη ευθεία<ref>Αυτή η κατασκευή για το μέσο δίνεται στο πρώτο βιβλίο στο Πόρισμα 10 των [[Στοιχεία|Στοιχείων]] του [[Ευκλείδης|Ευκλείδη]].</ref>.

===Γεωμετρικά κατασκευάσιμοι αριθμοί===
Οι αρχικές πληροφορίες για τη γεωμετρική διατύπωση μπορούν να χρησιμοποιηθούν για τον ορισμό ενός [[Καρτεσιανό σύστημα συντεταγμένων|καρτεσιανού συστήματος συντεταγμένων]] στο οποίο το σημείο <math>\rm O</math>  συνδέεται με την αρχή που έχει τις συντεταγμένες  <math>(0,0)</math> και στο οποίο το σημείο <math>\rm A</math> συνδέεται με τις συντεταγμένες <math>(1, 0)</math>. Τα σημεία του <math>S</math> μπορούν τώρα να χρησιμοποιηθούν για τη σύνδεση γεωμετρίας και άλγεβρας με τον ορισμό ενός κατασκευάσιμου αριθμού ως συντεταγμένη ενός κατασκευάσιμου σημείου.{{r|K70}}

Σύμφωνα με ισοδύναμους ορισμούς, ένας κατασκευάσιμος αριθμός είναι η συντεταγμένη <math>x</math> ενός κατασκευάσιμου σημείου <math>(x,0)</math><ref name=":2" />ή το μήκος ενός κατασκευάσιμου ευθύγραμμου τμήματος.<ref>Herstein (1986, σελ. 237). Για να χρησιμοποιηθεί ο ορισμός με βάση το μήκος, είναι απαραίτητο να συμπεριλησθεί ο αριθμός 0 σαν ειδική περίπτωση.</ref> Κατά μία έννοια αυτής της ισοδυναμίας, αν ένα κατασκευάσιμο σημείο έχει συντεταγμένες <math>(x,y)</math>, τότε το σημείο <math>(x,0)</math> μπορεί να κατασκευαστεί ως η κάθετη προβολή του στον άξονα <math>x</math>, και το τμήμα από την αρχή μέχρι το σημείο αυτό έχει μήκος <math>x</math>. Αντίστροφα, αν <math>x</math> είναι το μήκος ενός κατασκευάσιμου ευθύγραμμου τμήματος, η τομή του άξονα <math>x</math> με έναν κύκλο με κέντρο το <math>O</math>  ακτίνας <math>x</math> δίνει το σημείο <math>(x,0)</math>. Από την ισοδυναμία αυτή προκύπτει ότι κάθε σημείο του οποίου οι καρτεσιανές συντεταγμένες είναι γεωμετρικά κατασκευάσιμοι αριθμοί είναι το ίδιο γεωμετρικά κατασκευάσιμο σημείο. Πράγματι, όταν <math>x</math> και <math>y</math>  είναι γεωμετρικά κατασκευάσιμοι αριθμοί, το σημείο <math>(x,y)</math> μπορεί να κατασκευαστεί ως η τομή των ευθειών που διέρχονται από τις γραμμές <math>(x,0)</math> και <math>(0,y)</math>, κάθετες στους άξονες συντεταγμένων<ref>{{cite book |last=Moise |first=Edwin E. |year=1974 |title=Elementary Geometry from an Advanced Standpoint |edition=2 |publisher=Addison Wesley |ISBN=0-201-04793-4 |mr=0344984 }}</ref>.

==Αλγεβρικοί ορισμοί==
===Αλγεβρικά κατασκευάσιμοι αριθμοί===
Οι αλγεβρικά κατασκευάσιμοι πραγματικοί αριθμοί είναι το υποσύνολο των πραγματικών αριθμών που μπορούν να περιγραφούν με τύπους που συνδυάζουν ακέραιους αριθμούς χρησιμοποιώντας τις πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού, της πολλαπλασιαστικής αντιστροφής και της τετραγωνικής ρίζας θετικών αριθμών. Ακόμη πιο απλά, (αν επιμηκύνουμε λίγο αυτούς τους τύπους), οι ακέραιοι αριθμοί μπορούν να περιοριστούν στο 0 και στο 1.<ref>{{cite book |last=Martin |first=George E. |year=1998 |title=Geometric Constructions  |url=https://archive.org/details/geometricconstru0000mart |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4612-0629-3 |ISBN=0-387-98276-0 |MR=1483895 }}</ref> Για παράδειγμα, η [[τετραγωνική ρίζα του 2]] είναι κατασκευάσιμη, αφού μπορεί να περιγραφεί από τους τύπους <math>\sqrt2</math> ή <math>\sqrt{1+1}</math>.

Με παρόμοιο τρόπο, οι αλγεβρικά κατασκευάσιμοι [[μιγαδικός αριθμός|μιγαδικοί αριθμοί]] είναι το υποσύνολο των μιγαδικών αριθμών που έχουν τύπους του ίδιου τύπου, χρησιμοποιώντας μια πιο γενική εκδοχή της τετραγωνικής ρίζας που δεν περιορίζεται σε θετικούς αριθμούς, αλλά μπορεί να λάβει αυθαίρετους [[Μιγαδικός αριθμός|μιγαδικούς αριθμούς]] ως όρισμα και παράγει την κύρια τετραγωνική ρίζα της εισόδου της. Το ίδιο σύστημα μιγαδικών αριθμών μπορεί επίσης να οριστεί ως οι μιγαδικοί αριθμοί των οποίων το πραγματικό και το φανταστικό μέρος είναι και οι δύο κατασκευάσιμοι πραγματικοί αριθμοί.<ref>{{cite book |last=Roman |first=Steven |year=1995 |title=Field Theory |url=https://archive.org/details/fieldtheory0000roma |publisher=Springer-Verlag |ISBN=978-0-387-94408-1 |mr=1329733 }}</ref>. Για παράδειγμα, ο μιγαδικός αριθμός <math>i</math> έχει τύπους <math>\sqrt{-1}</math> ή <math>\sqrt{0-1}</math>, και το πραγματικό και το φανταστικό μέρος του είναι κατασκευάσιμοι αριθμοί <math>0</math> και <math>1</math> αντίστοιχα.

Αυτοί οι δύο ορισμοί των κατασκευάσιμων μιγαδικών αριθμών είναι ισοδύναμοι <ref name=lz440>{{harvtxt|Lawrence|Zorzitto|2021}}, [https://books.google.com/books?id=-koyEAAAQBAJ&pg=PA440 σελ. 440].</ref>. Κατά μία έννοια, αν  <math>q=x+iy</math> είναι ένας μιγαδικός αριθμός του οποίου το πραγματικό μέρος <math>x</math> και το φανταστικό μέρος <math>y</math> είναι αμφότεροι κατασκευάσιμοι πραγματικοί αριθμοί, τότε αντικαθιστώντας τα <math>x</math> και <math>y</math> με τους τύπους τους στον μεγαλύτερο τύπο <math>x+y\sqrt{-1}</math>, λαμβάνουμε έναν τύπο για τον <math>q</math> ως μιγαδικό αριθμό. Με την άλλη έννοια, οποιοσδήποτε τύπος για έναν αλγεβρικά κατασκευάσιμο μιγαδικό αριθμό μπορεί να μετατραπεί σε τύπους για το πραγματικό και το φανταστικό μέρος του, αναπτύσσοντας αναδρομικά κάθε πράξη του τύπου σε πράξεις πάνω στο πραγματικό και το φανταστικό μέρος των επιχειρημάτων του, χρησιμοποιώντας αναπτύγματα<ref>Για τον τύπο για την πρόσθεση και τον πολλαπλασιασμό, δείτε {{harvtxt|Kay|2021}}, Theorem 8.1.10, σελ. 187. Για τον τύπο για την διαίρεση, δείτε {{harvtxt|Kay|2021}}, Εξισώσεις 8.8, σελ. 188, και 9.2, σελ. 224. Το ανάπτυγμα της τετραγωνικής ρίζας προκύπτει από τις {{Ελλιπής ελληνική μετάφραση|half-angle formula}} στην τριγωνομετρία. Δείτε έναν αντίστοιχο τύπο στο {{harvtxt|Lawrence|Zorzitto|2021}}, [https://books.google.com/books?id=-koyEAAAQBAJ&pg=PA440 σελ. 440].</ref>
*<math>(a+ib)\pm (c+id)=(a \pm c)+i(b \pm d)</math>
*<math>(a+ib)(c+id)=(ac-bd) + i(ad+bc)</math>
*<math>\frac{1}{a+ib}=\frac{a}{a^2+b^2} + i \frac{-b}{a^2+b^2}</math>
*<math>\sqrt{a+ib} = \frac{(a+r)\sqrt{r}}{s} + i\frac{b\sqrt{r}}{s}</math>, όπου <math>r=\sqrt{a^2+b^2{}_{\!}}</math> και <math>s=\sqrt{(a+r)^2+b^2}</math>.

===Αλγεβρικά κατασκευάσιμα σημεία===
Τα αλγεβρικά κατασκευάσιμα σημεία μπορούν να οριστούν ως σημεία των οποίων οι δύο πραγματικές καρτεσιανές συντεταγμένες είναι και οι δύο αλγεβρικά κατασκευάσιμοι πραγματικοί αριθμοί. Μπορούν επίσης να οριστούν ως σημεία στο μιγαδικό επίπεδο που δίνονται από αλγεβρικά κατασκευάσιμους μιγαδικούς αριθμούς. Λόγω της ισοδυναμίας μεταξύ των δύο ορισμών των αλγεβρικά κατασκευάσιμων μιγαδικών αριθμών, οι δύο αυτοί ορισμοί των αλγεβρικά κατασκευάσιμων σημείων είναι επίσης ισοδύναμοι<ref name="lz440" />.

==Ισοδυναμία αλγεβρικών και γεωμετρικών ορισμών==
Αν <math>a</math> και <math>b</math> είναι τα μη μηδενικά μήκη γεωμετρικά κατασκευασμένων τμημάτων, μπορούμε να χρησιμοποιήσουμε στοιχειώδεις κατασκευές με διαβήτη και χάρακα για να λάβουμε κατασκευασμένα τμήματα μήκους <math>a+b</math>, <math>|a-b|</math>, <math>ab</math> και <math>a/b</math>. Τα δύο τελευταία μπορούν να πραγματοποιηθούν χρησιμοποιώντας μια κατασκευή βασισμένη στο θεώρημα τομής. Μια ελαφρώς λιγότερο στοιχειώδης κατασκευή που χρησιμοποιεί αυτά τα εργαλεία βασίζεται στο θεώρημα του γεωμετρικού μέσου και θα κατασκευάσει ένα τμήμα μήκους <math>\sqrt{a}</math> από ένα κατασκευασμένο τμήμα μήκους <math>a</math>. Προκύπτει ότι οποιοσδήποτε αλγεβρικά κατασκευάσιμος αριθμός είναι γεωμετρικά κατασκευάσιμος, χρησιμοποιώντας αυτές τις τεχνικές για να μεταφράσουμε έναν τύπο για τον αριθμό σε μια κατασκευή για τον αριθμό. <ref>{{harvtxt|Herstein|1986|pp=236-237}}- {{harvtxt|Moise|1974|p=224}}- {{harvtxt|Fraleigh|1994|pp=426-427}}- {{harvtxt|Courant|Robbins|1996|loc=Τμήμα III.1 .1, "Κατασκευή πεδίων και εξαγωγή τετραγωνικών ριζών", σελ. 120-122}}.</ref>.

{{multiple image|total_width=720|align=center|header=Κατασκευές με χρήση διαβήτη και χάρακα για κατασκευάσιμους αριθμούς
|image1=Number construction multiplication.svg|caption1=<math>ab</math> με βάση το θεώρημα της τομής
|image2=Number construction division.svg|caption2=<math>\frac{a}{b} </math> με βάση το θεώρημα της τομής
|image3=Root_construction_geometric_mean5.svg|caption3=<math>\sqrt{p}</math> με βάση το θεώρημα του γεωμετρικού μέσου όρου}}

Κατά την άλλη έννοια, ένα σύνολο γεωμετρικών αντικειμένων μπορεί να προσδιοριστεί με αλγεβρικά κατασκευάσιμους πραγματικούς αριθμούς: συντεταγμένες για σημεία, κλίση και <math>y</math>-διακοπή για ευθείες γραμμές, κέντρο και ακτίνα για κύκλους. Είναι δυνατό (αλλά κουραστικό) να αναπτυχθούν τύποι ως προς αυτές τις τιμές, χρησιμοποιώντας μόνο αριθμητική και τετραγωνικές ρίζες, για κάθε πρόσθετο αντικείμενο που μπορεί να προστεθεί σε ένα μόνο βήμα κατασκευής με διαβήτη και χάρακα. Από αυτούς τους τύπους προκύπτει ότι κάθε γεωμετρικά κατασκευάσιμος αριθμός είναι αλγεβρικά κατασκευάσιμος.<ref>{{harvtxt|Martin|1998|pp=38–39}}; {{harvtxt|Courant|Robbins|1996|pp=131–132}}.</ref>

==Αλγεβρικές ιδιότητες==
Ο ορισμός των αλγεβρικά κατασκευάσιμων αριθμών περιλαμβάνει το άθροισμα, τη διαφορά, το γινόμενο και το πολλαπλασιαστικό αντίστροφο οποιουδήποτε από αυτούς τους αριθμούς, τις ίδιες πράξεις που ορίζουν ένα πεδίο στην αφηρημένη άλγεβρα. Έτσι, οι κατασκευάσιμοι αριθμοί (που ορίζονται με οποιονδήποτε από τους παραπάνω τρόπους) σχηματίζουν ένα πεδίο. Πιο συγκεκριμένα, οι κατασκευάσιμοι πραγματικοί αριθμοί σχηματίζουν ένα ευκλείδειο πεδίο, ένα διατεταγμένο πεδίο που περιέχει μια τετραγωνική ρίζα κάθε θετικού στοιχείου του<ref>Martin, George E. (1998), Geometric Constructions, Undergraduate Texts in Mathematics, Springer-Verlag, New York, doi:10.1007/978-1-4612-0629-3, ISBN 0-387-98276-0, [https://mathscinet.ams.org/mathscinet/relay-station?mr=1483895 MR 1483895]</ref>. Η εξέταση των ιδιοτήτων αυτού του πεδίου και των υποπεδίων του οδηγεί σε αναγκαίες συνθήκες για να είναι ένας αριθμός κατασκευάσιμος, οι οποίες μπορούν να χρησιμοποιηθούν για να δείξουν ότι συγκεκριμένοι αριθμοί που εμφανίζονται σε κλασικά γεωμετρικά προβλήματα κατασκευής δεν είναι κατασκευάσιμοι.

Είναι βολικό να θεωρήσουμε, αντί για ολόκληρο το πεδίο των κατασκευάσιμων αριθμών, το υποπεδίο <math>\mathbb{Q}(\gamma)</math> που παράγεται από οποιονδήποτε δεδομένο κατασκευάσιμο αριθμό <math>\gamma</math> και να χρησιμοποιήσουμε την αλγεβρική κατασκευή του <math>\gamma</math> για να αποσυνθέσουμε αυτό το πεδίο. Εάν ο <math>\gamma</math> είναι ένας κατασκευάσιμος πραγματικός αριθμός, τότε οι τιμές που εμφανίζονται σε έναν τύπο που τον κατασκευάζει μπορούν να χρησιμοποιηθούν για να παραχθεί μια πεπερασμένη ακολουθία πραγματικών αριθμών <math>\alpha_1,\dots, a_n=\gamma</math> έτσι ώστε, για κάθε <math>i</math>, η <math>\mathbb{Q}(\alpha_1,\dots,a_i)</math> είναι μια επέκταση της <math>\mathbb{Q}(\alpha_1,\dots,a_{i-1})</math> βαθμού 2. <ref>Fraleigh, John B. (1994), A First Course in Abstract Algebra (5th ed.), Addison Wesley, ISBN 978-0-201-53467-2, [https://mathscinet.ams.org/mathscinet/relay-station?mr=0225619 MR 0225619]</ref> Χρησιμοποιώντας ελαφρώς διαφορετική ορολογία, ένας πραγματικός αριθμός είναι κατασκευάσιμος αν και μόνο αν βρίσκεται σε ένα πεδίο στην κορυφή ενός πεπερασμένου πύργου πραγματικών τετραγωνικών επεκτάσεων,

<math display=block>\mathbb{Q} = K_0 \subseteq K_1 \subseteq \dots \subseteq K_n,</math>
ξεκινώντας από το ορθολογικό πεδίο <math>\mathbb{Q}</math> όπου <math>\gamma</math> είναι στο <math>K_n</math> και για όλα τα <math>0< j\le n</math>, <math>[K_j:K_{j-1}]=2</math>.{{sfnp|Roman|1995|page=59}} Από την αποσύνθεση αυτή προκύπτει ότι ο βαθμός επέκτασης πεδίου <math>[\mathbb{Q}(\gamma):\mathbb{Q}]</math> είναι <math>2^r</math>, όπου <math>r</math> μετρά το πλήθος των τετραγωνικών βημάτων της επέκτασης.{{sfnp|Neumann|1998}}

Αντίστοιχα με την περίπτωση του πραγματικού αριθμού, ένας μιγαδικός αριθμός είναι κατασκευάσιμος αν και μόνο αν βρίσκεται σε ένα πεδίο στην κορυφή ενός πεπερασμένου πύργου μιγαδικών τετραγωνικών επεκτάσεων<ref>Rotman, Joseph J. (2006), A First Course in Abstract Algebra with Applications (3rd ed.), Prentice Hall, ISBN 978-0-13-186267-8</ref>. Πιο συγκεκριμένα, <math>\gamma</math> είναι κατασκευάσιμος εάν και μόνο εάν υπάρχει ένας ιστός από πεδία.
<math display=block>\mathbb{Q} = F_0 \subseteq F_1 \subseteq \dots \subseteq F_n,</math>

όπου <math>\gamma</math> είναι στο <math>F_n</math>, και για όλα τα <math>0<j\le n</math>, <math>[F_j:F_{j-1}]= 2</math>. Η διαφορά μεταξύ αυτού του χαρακτηρισμού και αυτού των πραγματικών κατασκευάσιμων αριθμών είναι μόνο ότι τα πεδία σε αυτόν τον πύργο δεν περιορίζονται στο να είναι πραγματικά. Συνεπώς, αν ένας μιγαδικός αριθμός <math>\gamma</math> είναι κατασκευάσιμος, τότε <math>[\mathbb{Q}(\gamma):\mathbb{Q}]</math> είναι δύναμη του δύο. Ωστόσο, αυτή η αναγκαία συνθήκη δεν είναι επαρκής: υπάρχουν επεκτάσεις πεδίου των οποίων ο βαθμός είναι δύναμη του δύο που δεν μπορούν να παραγοντοποιηθούν σε μια ακολουθία τετραγωνικών επεκτάσεων.{{sfnp|Rotman|2006|page=362}}

Τα πεδία που μπορούν να παραχθούν με αυτόν τον τρόπο από πύργους τετραγωνικών επεκτάσεων του <math>\mathbb{Q}</math> ονομάζονται ''επαναλαμβανόμενες τετραγωνικές επεκτάσεις'' του <math>\mathbb{Q}</math>. Τα πεδία των πραγματικών και μιγαδικών κατασκευάσιμων αριθμών είναι οι ενώσεις όλων των πραγματικών ή μιγαδικών επαναλαμβανόμενων τετραγωνικών επεκτάσεων του <math>\mathbb{Q}</math>.{{sfnp|Martin|1998|loc=Theorem 2.10, p. 37}}

==Τριγωνομετρικοί αριθμοί==
Οι τριγωνομετρικοί αριθμοί είναι τα συνημίτονα ή τα ημίτονα των γωνιών που είναι λογικά πολλαπλάσια του <math>\pi</math>. Αυτοί οι αριθμοί είναι πάντα αλγεβρικοί, αλλά μπορεί να μην είναι κατασκευάσιμοι. Το συνημίτονο ή το ημίτονο της γωνίας <math>2\pi/n</math> είναι κατασκευάσιμο μόνο για ορισμένους ειδικούς αριθμούς <math>n</math>:{{sfnp|Martin|1998|p=46}}
*Οι δυνάμεις του δύο
*Οι πρώτοι αριθμοί του Φερμά, πρώτοι αριθμοί που είναι το ένα συν μια δύναμη του δύο.
*Τα γινόμενα των δυνάμεων του δύο και των διαφορετικών [[Πρώτος αριθμός|πρώτων αριθμών]] Φερμά.
Παραδείγματος χάριν, ο <math>\cos(\pi/15)</math> είναι κατασκευάσιμος επειδή το 15 είναι το γινόμενο δύο πρώτων αριθμών Φερμά, του 3 και του 5.

== Αδύνατες κατασκευές ==
{{multiple image|total_width=600
|image1=01-Würfelverdoppelung-Menaichmos-1.svg|caption1=Ένας κύβος και ο διπλός του
|image2=01 Dreiteilung-Winkel Einleitungsbild.svg|caption2=Μια γωνία και η τριχοτόμησή της
|image3=SquareCircle.svg|caption3=Κύκλος και τετράγωνο με την ίδια επιφάνεια}}
Οι αρχαίοι Έλληνες πίστευαν ότι ορισμένα προβλήματα κατασκευής με χάρακα και διαβήτη που δεν μπορούσαν να λύσουν ήταν απλώς επίμονα, όχι άλυτα.<ref>{{cite book |last=Stewart |first=Ian |year=1989 |title=Galois Theory |edition=2 |publisher=Chapman and Hall |ISBN=978-0-412-34550-0 |MR=1036521 }}</ref> Ωστόσο, η μη κατασκευασιμότητα ορισμένων αριθμών αποδεικνύει ότι οι κατασκευές αυτές είναι λογικά αδύνατο να επιτευχθούν<ref>{{Cite book|title=Famous Problems of Elementary Geometry: The Duplication of the Cube, the Trisection of an Angle ...|last=University of Michigan|publisher=Ginn & Co.|date=1897|url=http://archive.org/details/famousproblemse00kleigoog}}</ref> (τα ίδια τα προβλήματα, ωστόσο, μπορούν να λυθούν με μεθόδους που υπερβαίνουν τους περιορισμούς  μόνο με χάρακα και διαβήτη, και οι Έλληνες γνώριζαν πώς να τα λύνουν με αυτόν τον τρόπο. Η λύση του Αρχιμήδη στο πρόβλημα της τριχοτόμησης της γωνίας με τη χρήση της κατασκευής "Νεῦσις" είναι ένα παράδειγμα).<ref>Πολλές από αυτές τις εναλλακτικές λύσεις είναι το κύριο θέμα του Knorr (1986).</ref>

Αναλυτικότερα, η αλγεβρική διατύπωση των κατασκευάσιμων αριθμών οδηγεί στην απόδειξη της αδυναμίας των ακόλουθων προβλημάτων κατασκευής:

=== Διπλασιασμός του κύβου ===
{{κύριο|Διπλασιασμός του κύβου}}
Το πρόβλημα του διπλασιασμού του μοναδιαίου τετραγώνου λύνεται με την κατασκευή ενός άλλου τετραγώνου στη διαγώνιο του πρώτου, με μήκος πλευράς <math>\sqrt2</math> και εμβαδόν <math>2</math>. Αντίστοιχα, το πρόβλημα του διπλασιασμού του κύβου απαιτεί την κατασκευή του μήκους <math>\sqrt[3]{2}</math> της πλευράς ενός κύβου όγκου <math>2</math>. Δεν είναι δυνατό να κατασκευαστεί, επειδή το [[ελάχιστο πολυώνυμο]] αυτού του μήκους, <math>x^3-2</math>, είναι βαθμού 3 στο <math>\Q</math>. <ref>{{harvtxt|Klein|1897|p=13}}- {{harvtxt|Fraleigh|1994|pp=429-430}}</ref> Ως κυβικό πολυώνυμο του οποίου η μόνη πραγματική ρίζα είναι άρρητη, το πολυώνυμο αυτό πρέπει να είναι μη αναγώγιμο, διότι αν είχε μια τετραγωνική πραγματική ρίζα, η συζυγή τετραγωνική ρίζα θα παρείχε μια δεύτερη πραγματική ρίζα. {{sfnp|Courant|Robbins|1996|loc=Τμήμα III.3 .1, "Διπλασιασμός του κύβου", σελ. 134-135}}

=== Τριχοτόμηση της γωνίας ===
Σε αυτό το πρόβλημα, από μια δεδομένη γωνία <math>\theta</math>, πρόκειται να κατασκευαστεί μια γωνία <math>\theta/3</math>. Αλγεβρικά, οι γωνίες μπορούν να αναπαρασταθούν από τις [[τριγωνομετρικές συναρτήσεις]] τους, όπως τα ημιτόνια ή τα συνημίτονά τους, οι οποίες δίνουν τις καρτεσιανές συντεταγμένες του τελικού σημείου ενός ευθύγραμμου τμήματος που σχηματίζει τη δεδομένη γωνία με το αρχικό τμήμα. Έτσι, μια γωνία <math>\theta</math> είναι κατασκευάσιμη όταν <math>x=\cos\theta</math> είναι ένας κατασκευάσιμος αριθμός, και το πρόβλημα της τριχοτόμησης της γωνίας μπορεί να διατυπωθεί ως ένα πρόβλημα κατασκευής του <math>\cos(\tfrac{1}{3}\arccos x)</math>. Για παράδειγμα, η γωνία <math>\theta=\pi/3=60^\circ</math> ενός [[ισόπλευρο τρίγωνο|ισόπλευρου τριγώνου]] μπορεί να κατασκευαστεί με διαβήτη και χάρακα, με <math>x=\cos\theta=\tfrac12</math>. Ωστόσο, η τριχοτόμησή του <math>\theta/3=\pi/9=20^\circ</math> δεν μπορεί να κατασκευαστεί, επειδή το <math>\cos\pi/9</math> έχει ελάχιστο πολυώνυμο <math>8x^3-6x-1</math> βαθμού 3 πάνω στο <math>\Q</math>. Επειδή αυτή η συγκεκριμένη περίπτωση του προβλήματος της τριχοτόμησης δεν μπορεί να επιλυθεί με διαβήτη και χάρακα, το γενικό πρόβλημα επίσης δεν μπορεί να επιλυθεί.<ref>{{harvtxt|Fraleigh|1994|pages=429-430}}- {{harvtxt|Courant|Robbins|1996|loc=Τμήμα III.3.3, "Η τριχοτόμηση της γωνίας", σελ. 137-138}}</ref>

=== Τετραγωνισμός του κύκλου ===
{{Κύριο|Τετραγωνισμός του κύκλου}}
Ένα τετράγωνο με εμβαδόν <math>\pi</math>, το ίδιο εμβαδόν με έναν μοναδιαίο κύκλο, θα είχε μήκος πλευράς <math>\sqrt\pi</math>, έναν υπερβατικό αριθμό. Επομένως, αυτό το τετράγωνο και το μήκος πλευράς του δεν είναι κατασκευάσιμα, επειδή δεν είναι αλγεβρικά πάνω στο <math>\Q</math>.{{sfnp|Fraleigh|1994|pages=429-430}}

=== Κατασκευάσιμο πολύγωνο ===
Αν ένα κανονικό <math>n</math>-γωνο κατασκευαστεί με το κέντρο του στην αρχή των αξόνων, οι γωνίες μεταξύ των τμημάτων από το κέντρο σε διαδοχικές κορυφές είναι <math>2\pi/n</math>. Το πολύγωνο μπορεί να κατασκευαστεί μόνο όταν το συνημίτονο αυτής της γωνίας είναι ένας τριγωνομετρικός αριθμός. Παραδείγματος χάριν, ένα 15-γωνο είναι κατασκευάσιμο, αλλά το κανονικό [[επτάγωνο]] δεν είναι κατασκευάσιμο, επειδή το 7 είναι πρώτος αριθμός αλλά όχι πρώτος αριθμός Φερμά.{{sfnp|Fraleigh|1994|page=504}} Για μια πιο άμεση απόδειξη της μη κατασκευασιμότητάς του, αναπαραστήστε τις κορυφές ενός κανονικού επταγώνου ως τις μιγαδικές ρίζες του πολυωνύμου <math>x^7-1</math>. Αφαιρώντας τον παράγοντα <math>x-1</math>, διαιρώντας με το <math>x^3</math> και αντικαθιστώντας το <math>y=x+1/x</math> προκύπτει το απλούστερο πολυώνυμο <math>y^3+y^2-2y-1</math>, ένα μη αναγώγιμο κυβικό με τρεις πραγματικές ρίζες, κάθε μία από τις οποίες είναι δύο φορές το πραγματικό μέρος μιας κορυφής μιγαδικού αριθμού. Οι ρίζες του δεν είναι κατασκευάσιμες, άρα και το επτάγωνο δεν είναι κατασκευάσιμο.{{sfnp|Courant|Robbins|1996|loc=Τμήμα III.3.4 "Το κανονικό επτάγωνο", σελ. 138-139}}

=== Το πρόβλημα του Αλχαζέν ===
Αν δίνονται δύο σημεία και ένας κυκλικός καθρέφτης, σε ποιο σημείο του κύκλου το ένα από τα συγκεκριμένα σημεία βλέπει το είδωλο του άλλου; Γεωμετρικά, οι ευθείες που ξεκινούν από κάθε δεδομένο σημείο και καταλήγουν στο σημείο της αντανάκλασης συναντούν τον κύκλο σε ίσες γωνίες και σε χορδές ίσου μήκους. Ωστόσο, είναι αδύνατο να κατασκευάσουμε ένα σημείο ανάκλασης χρησιμοποιώντας μόνο διαβήτη και χάρακα. Ειδικότερα, για έναν μοναδιαίο κύκλο με τα δύο σημεία <math>(\tfrac16,\tfrac16)</math> και <math>(-\tfrac12,\tfrac12)</math> στο εσωτερικό του, η λύση εμφανίζει συντεταγμένες που σχηματίζουν τις ρίζες ενός μη αναγώγιμου πολυωνύμου τετάρτου βαθμού <math>x^4-2x^3+4x^2+2x-1</math>. Αν και ο βαθμός του είναι δύναμη του δύο, το πεδίο διαίρεσης αυτού του πολυωνύμου έχει βαθμό διαιρετό με το τρία, οπότε δεν προέρχεται από μια επαναληπτική τετραγωνική επέκταση και το πρόβλημα του Αλχαζέν δεν έχει λύση με διαβήτη και χάρακα.<ref>{{harvtxt|Neumann|1998}}. {{harvtxt|Elkin|1965}} καταλήγει στο ίδιο συμπέρασμα χρησιμοποιώντας διαφορετικά σημεία και ένα διαφορετικό πολυώνυμο.</ref>.

==Ιστορία==
Η γέννηση της έννοιας των κατασκευάσιμων αριθμών είναι άρρηκτα συνδεδεμένη με την ιστορία των τριών κατασκευών που είναι αδύνατες με τη χρήση μόνο χάρακα και διαβήτη: ο [[Διπλασιασμός του κύβου|διπλασιασμός ενός κύβου]], η [[τριχοτόμηση μίας γωνίας]] και ο [[Τετραγωνισμός του κύκλου|τετραγωνισμός ενός κύκλου]]. Ο περιορισμός της χρήσης μόνο χάρακα και διαβήτη στις γεωμετρικές κατασκευές αποδίδεται συχνά στον [[Πλάτων|Πλάτωνα]] λόγω ενός χωρίου στον [[Πλούταρχος|Πλούταρχο]]. Σύμφωνα με τον Πλούταρχο, ο [[Πλάτων]] ανέθεσε τον διπλασιασμό του προβλήματος του κύβου (Δηλιανού προβλήματος) στον [[Εύδοξος ο Κνίδιος|Εύδοξο]], τον [[Αρχύτας ο Ταραντίνος|Αρχύτα]] και τον [[Μέναιχμος (μαθηματικός)|Μέναιχμο]], οι οποίοι έλυσαν το πρόβλημα χρησιμοποιώντας μηχανικά μέσα, κερδίζοντας έτσι μια επίπληξη από τον Πλάτωνα επειδή δεν έλυσαν το πρόβλημα χρησιμοποιώντας καθαρή γεωμετρία.<ref>{{cite book |url=https://catholiclibrary.org/library/view?docId=/Antiquities-EN/Antiquities.plutarch-symposiacs.html;chunk.id=00000165 |author=Πλούταρχος |title=Συμποσιακά }}</ref> Ωστόσο, η απόδοση αυτή αμφισβητείται,{{sfnp|Kazarinoff|2003|page=28}} εν μέρει λόγω της υπάρξεως μιας άλλης εκδοχής της ιστορίας (που αποδίδεται στον [[Ερατοσθένης ο Κυρηναίος|Ερατοσθένη]] από τον [[Ευτόκιος ο Ασκαλώνιος|Ευτόκιο του Ασκαλώνου]]), η οποία αναφέρει ότι οι τρεις τους βρήκαν λύσεις αλλά ήταν πολύ θεωρητικές για να έχουν πρακτική αξία.<ref>{{cite book |last=Knorr |first=Wilbur Richard |year=1986 |title=The Ancient Tradition of Geometric Problems |publisher=Courier Dover Publications |ISBN=978-0-486-67532-9 |MR=0884893 }}</ref> Ο [[Πρόκλος]], παραθέτοντας τον [[Εύδημος ο Ρόδιος|Ευδήμο της Ρόδου]], αποδίδει δύο κατασκευές με χάρακα και διαβήτη στον [[Οινοπίδης ο Χίος|Οινοπίδη]] (περ. 450 π.Χ.), γεγονός που έχει οδηγήσει ορισμένους συγγραφείς να υποθέσουν ότι ο Οινοπίδης ήταν ο εμπνευστής του περιορισμού.{{sfnp|Knorr|1986|pp=15–17}} Ο περιορισμός σε χάρακα και διαβήτη είναι ουσιώδης για την αδυναμία επίλυσης των κλασικών κατασκευαστικών προβλημάτων. Η τριχοτόμηση μιας γωνίας, για παράδειγμα, μπορεί να επιτευχθεί με πολλούς τρόπους, πολλοί από τους οποίους ήταν γνωστοί στους αρχαίους Έλληνες. Χρησιμοποιήθηκαν η τετραγωνίζουσα του [[Ιππίας ο Ηλείος|Ιππία]], οι κωνικές του [[Μέναιχμος (μαθηματικός)|Μενέχμου]] και ο σημαδεμένος χάρακας του [[Αρχιμήδης|Αρχιμήδη]] ("νεύσις"), καθώς και μια πιο σύγχρονη προσέγγιση με τη χρήση αναδίπλωσης χαρτιού.{{sfnp|Friedman|2018|pp=1–3}}

Αν και δεν είναι ένα από τα τρία κλασικά προβλήματα κατασκευής, το πρόβλημα της κατασκευής κανονικών πολυγώνων με τη χρήση χάρακα και διαβήτη αντιμετωπίζεται συχνά παράλληλα. Οι Έλληνες ήξεραν πώς να κατασκευάσουν κανονικά {{nowrap|<math>n</math>-γωνα}} για <math>n=2^h</math> (για κάθε [[φυσικός αριθμός|φυσικό αριθμό]] <math>h\ge 2</math>), 3, 5, ή το γινόμενο δύο ή τριών από αυτούς τους αριθμούς, αλλά τα υπόλοιπα κανονικά <math>n</math>-γωνα τους διέφευγαν. Το 1796, ο [[Καρλ Φρίντριχ Γκάους]], δεκαοκτάχρονος τότε φοιτητής, ανακοίνωσε σε μια εφημερίδα ότι είχε κατασκευάσει ένα κανονικό [[Δεκαεπτάγωνο|17-γωνο]] χρησιμοποιώντας χάρακα και διαβήτη.{{r|K70}} Η προσέγγιση του Γκάους ήταν αλγεβρική παρά γεωμετρική- στην πραγματικότητα, δεν κατασκεύασε το πολύγωνο, αλλά έδειξε ότι το [[συνημίτονο]] μιας κεντρικής γωνίας ήταν ένας κατασκευάσιμος αριθμός. Το επιχείρημα γενικεύτηκε στο βιβλίο του ''Disquisitiones Arithmeticae'' του 1801, δίνοντας την ικανή συνθήκη για την κατασκευή ενός κανονικού <math>n</math>-γώνου. Ο [[Καρλ Φρίντριχ Γκάους|Γκάους]] υποστήριξε, χωρίς να αποδείξει, ότι η συνθήκη αυτή ήταν επίσης αναγκαία και αρκετοί συγγραφείς, ιδίως ο [[Φέλιξ Κλάιν]] {{sfnp|Klein|1897|page=16}}, του αποδίδουν και αυτό το μέρος της απόδειξης.{{sfnp|Kazarinoff|2003|page=30}} Το [[πρόβλημα του Αλχαζέν]] επίσης δεν είναι ένα από τα τρία κλασικά προβλήματα, αλλά παρόλο που πήρε το όνομά του από τον [[Αλχαζέν]], έναν μεσαιωνικό ισλαμιστή μαθηματικό, εμφανίζεται ήδη στο έργο του [[Κλαύδιος Πτολεμαίος|Πτολεμαίου]] του δεύτερου αιώνα για την [[οπτική]].{{sfnp|Neumann|1998}}

Ο Πιερ Βαντσέλ (1837) απέδειξε αλγεβρικά ότι τα προβλήματα του διπλασιασμού του κύβου και του τριγωνισμού της γωνίας είναι αδύνατο να λυθούν μόνο με διαβήτη και χάρακα. Στην ίδια δημοσίευση, έλυσε επίσης το πρόβλημα του προσδιορισμού των κανονικών πολυγώνων που μπορούν να κατασκευαστούν: ένα [[κανονικό πολύγωνο]] είναι κατασκευάσιμο εάν και μόνο εάν ο αριθμός των πλευρών του είναι το γινόμενο μιας δύναμης του δύο και οποιουδήποτε αριθμού διαφορετικών [[Αριθμός Φερμά|πρώτων αριθμών του Φερμά]] (δηλαδή οι ικανές συνθήκες που έδωσε ο [[Καρλ Φρίντριχ Γκάους|Γκάους]] ισχύουν και για την κατασκευή ενός κανονικού πολυγώνου), Μια προσπάθεια απόδειξης της αδυναμίας τετραγωνισμού του κύκλου δόθηκε από τον Τζέιμς Γκρέγκορι στο ''Vera Circuli et Hyperbolae Quadratura'' (Ο αληθινός τετραγωνισμός του κύκλου και της υπερβολής) το 1667. Αν και η απόδειξή του ήταν λανθασμένη, αυτή ήταν η πρώτη εργασία που προσπάθησε να λύσει το πρόβλημα χρησιμοποιώντας τις αλγεβρικές ιδιότητες του {{pi}}. Τελικά, το 1882 ο [[Φέρντιναντ φον Λίντεμαν]] απέδειξε αυστηρά την αδυναμία του, επεκτείνοντας το έργο του [[Σαρλ Ερμίτ]] και αποδεικνύοντας ότι το {{pi}} είναι [[υπερβατικός αριθμός]].{{sfnp|Martin|1998|p=44}}{{sfnp|Klein|1897|loc=Chapter IV: The transcendence of the number {{pi}}, pp. 68–77.}} Μόνο με το έργο του Έλκιν (1965) κατέστη αδύνατο να λυθεί το πρόβλημα του [[Αλχαζέν]] με τη χρήση διαβήτη και χάρακα.<ref>{{harvtxt|Elkin|1965}}; δείτε επίδης {{harvtxt|Neumann|1998}} για μία διαφορετική λύση και με πειραιτέρω ιστορικά στοιχεία για το πρόβλημα.</ref>

Η μελέτη των κατασκευάσιμων αριθμών ως τέτοιων ξεκίνησε από τον [[Ρενέ Ντεκάρτ]] στο έργο του ''La Géométrie'' (Η γεωμετρία), ένα παράρτημα στο έργο του ''Discours de la méthode'' (Λόγος περί της Μεθόδου) που δημοσιεύθηκε το 1637. Σε αυτό, ο Ντεκάρτ συνδέει τους αριθμούς με τμήματα γεωμετρικών ευθειών προκειμένου να επιδείξει τη δύναμη της φιλοσοφικής του μεθόδου επιλύοντας ένα αρχαίο κατασκευαστικό πρόβλημα με χάρακα και διαβήτη που έθεσε ο [[Πάππος]].{{sfnp|Boyer|2004|pages=83–88}}

== Δείτε επίσης ==
*[[Οικοδομήσιμο Σύμπαν]]

==Παραπομπές==
<references />


{{authority control}} 
{{Portal bar|Μαθηματικά}} 

[[Κατηγορία:Ευκλείδεια επιπεδομετρία]]
[[Κατηγορία:Περιοχές των μαθηματικών]]
[[Κατηγορία:Φιλοσοφία των μαθηματικών]]
[[Κατηγορία:Κανόνας και διαβήτης]]