Η τετραγωνική ρίζα του 2 είναι ίση με το μήκος της υποτείνουσας ενός ορθογωνίου τριγώνου του οποίου οι πλευρές έχουν μήκος 1. Επομένως, είναι ένας κατασκευάσιμος αριθμός.
Στη γεωμετρία και την άλγεβρα, ένας πραγματικός αριθμός {\displaystyle r} είναι **κατασκευάσιμος** **αριθμός** εάν και μόνον εάν, δεδομένου ενός ευθύγραμμου τμήματος μοναδιαίου μήκους, ένα ευθύγραμμο τμήμα μήκους {\displaystyle |r|} μπορεί να κατασκευαστεί με πυξίδα και χάρακα σε πεπερασμένο αριθμό βημάτων. Ισοδύναμα, ο {\displaystyle r} είναι κατασκευάσιμος αν και μόνο αν υπάρχει έκφραση κλειστού τύπου για τον {\displaystyle r} χρησιμοποιώντας μόνο ακέραιους αριθμούς και τις πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού, της διαίρεσης και της τετραγωνικής ρίζας.

Ο γεωμετρικός ορισμός των κατασκευάσιμων αριθμών οδηγεί σε αντίστοιχο ορισμό των κατασκευάσιμων σημείων, τα οποία μπορούν και πάλι να περιγραφούν είτε γεωμετρικά είτε αλγεβρικά. Ένα σημείο είναι κατασκευάσιμο εάν μπορεί να παραχθεί ως ένα από τα σημεία κατασκευής μιας πυξίδας και ενός χάρακα (τελικό σημείο ενός ευθύγραμμου τμήματος ή σημείο τομής δύο ευθειών ή κύκλων), από ένα τμήμα δεδομένου μοναδιαίου μήκους. Εναλλακτικά και ισοδύναμα, θεωρώντας τα δύο άκρα του δεδομένου τμήματος ως τα σημεία (0, 0) και (1, 0) ενός καρτεσιανού συστήματος συντεταγμένων, ένα σημείο είναι κατασκευάσιμο εάν και μόνο εάν οι καρτεσιανές συντεταγμένες του είναι και οι δύο κατασκευάσιμοι αριθμοί . Οι κατασκευάσιμοι αριθμοί και σημεία έχουν επίσης ονομαστεί αριθμοί με χάρακα και πυξίδα και σημεία με χάρακα και πυξίδα, για να διακριθούν από τους αριθμούς και τα σημεία που μπορούν να κατασκευαστούν με άλλες διαδικασίες .

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

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

Γεωμετρικός Ορισμός
-------------------

### Γεωμετρικά κατασκευάσιμα σημεία

Έστω {\displaystyle O} και {\displaystyle A} δύο διαφορετικά σημεία στο ευκλείδειο επίπεδο και ορίζουμε {\displaystyle S} ως το σύνολο των σημείων που μπορούν να κατασκευαστούν με πυξίδα και χάρακα, ξεκινώντας από το {\displaystyle O} και το {\displaystyle A}. Τα σημεία του {\displaystyle S} ονομάζονται τότε κατασκευάσιμα σημεία. Τα {\displaystyle O} και {\displaystyle A} είναι, εξ ορισμού, στοιχεία του {\displaystyle S}. Για να περιγράψουμε με μεγαλύτερη ακρίβεια τα άλλα στοιχεία του {\displaystyle S}, δίνουμε τους ακόλουθους δύο ορισμούς:

* ένα ευθύγραμμο τμήμα του οποίου τα άκρα βρίσκονται στο {\displaystyle S} ονομάζεται κατασκευάσιμο τμήμα, και
* ένας κύκλος του οποίου το κέντρο βρίσκεται στο {\displaystyle S} και ο οποίος διέρχεται από ένα σημείο του {\displaystyle S} (ή του οποίου η ακτίνα είναι η απόσταση μεταξύ δύο διαφορετικών σημείων του {\displaystyle S}) ονομάζεται κατασκευαστικός κύκλος.

Τότε τα σημεία του {\displaystyle S}, εκτός από τα {\displaystyle O} και {\displaystyle A} είναι:

* το σημείο τομής δύο μη παράλληλων κατασκευασμένων τμημάτων ή γραμμών που διέρχονται από κατασκευασμένα τμήματα,
* τα σηµεία τοµής ενός κατασκευασµένου κύκλου και ενός κατασκευασµένου τµήµατος, ή µιας ευθείας που διέρχεται από ένα κατασκευασµένο τµήµα, ή
* τα σημεία τομής δύο διαφορετικών κατασκευασμένων κύκλων.

Παραδείγματος χάριν, το μέσο του κατασκευασμένου τμήματος {\displaystyle OA} είναι ένα κατασκευάσιμο σημείο. Μια κατασκευή για αυτό το σημείο είναι να κατασκευαστούν δύο κύκλοι με ακτίνα το {\displaystyle OA} και η ευθεία που διέρχεται από τα δύο σημεία τομής αυτών των δύο κύκλων. Το μέσο του τμήματος {\displaystyle OA} είναι τότε το σημείο όπου το τμήμα αυτό τέμνεται από την κατασκευασμένη ευθεία.

### Γεωμετρικά κατασκευάσιμοι αριθμοί

Οι αρχικές πληροφορίες για τη γεωμετρική διατύπωση μπορούν να χρησιμοποιηθούν για τον ορισμό ενός καρτεσιανού συστήματος συντεταγμένων στο οποίο το σημείο {\displaystyle O} συνδέεται με την αρχή που έχει τις συντεταγμένες {\displaystyle (0,0)} και στο οποίο το σημείο {\displaystyle A} συνδέεται με τις συντεταγμένες {\displaystyle (1,0)}. Τα σημεία του {\displaystyle S} μπορούν τώρα να χρησιμοποιηθούν για τη σύνδεση γεωμετρίας και άλγεβρας με τον ορισμό ενός κατασκευάσιμου αριθμού ως συντεταγμένη ενός κατασκευάσιμου σημείου.

Σύμφωνα με ισοδύναμους ορισμούς, ένας κατασκευάσιμος αριθμός είναι η συντεταγμένη {\displaystyle x} ενός κατασκευάσιμου σημείου {\displaystyle (x,0)}ή το μήκος ενός κατασκευάσιμου ευθύγραμμου τμήματος. Κατά μία έννοια αυτής της ισοδυναμίας, αν ένα κατασκευάσιμο σημείο έχει συντεταγμένες {\displaystyle (x,y)}, τότε το σημείο {\displaystyle (x,0)} μπορεί να κατασκευαστεί ως η κάθετη προβολή του στον άξονα {\displaystyle x}, και το τμήμα από την αρχή μέχρι το σημείο αυτό έχει μήκος {\displaystyle x}. Αντίστροφα, αν {\displaystyle x} είναι το μήκος ενός κατασκευάσιμου ευθύγραμμου τμήματος, η τομή του άξονα {\displaystyle x} με έναν κύκλο με κέντρο το {\displaystyle O} ακτίνας {\displaystyle x} δίνει το σημείο {\displaystyle (x,0)}. Από την ισοδυναμία αυτή προκύπτει ότι κάθε σημείο του οποίου οι καρτεσιανές συντεταγμένες είναι γεωμετρικά κατασκευάσιμοι αριθμοί είναι το ίδιο γεωμετρικά κατασκευάσιμο σημείο. Πράγματι, όταν {\displaystyle x} και {\displaystyle y} είναι γεωμετρικά κατασκευάσιμοι αριθμοί, το σημείο {\displaystyle (x,y)} μπορεί να κατασκευαστεί ως η τομή των ευθειών που διέρχονται από τις γραμμές {\displaystyle (x,0)} και {\displaystyle (0,y)}, κάθετες στους άξονες συντεταγμένων.

Αλγεβρικοί ορισμοί
------------------

### Αλγεβρικά κατασκευάσιμοι αριθμοί

Οι αλγεβρικά κατασκευάσιμοι πραγματικοί αριθμοί είναι το υποσύνολο των πραγματικών αριθμών που μπορούν να περιγραφούν με τύπους που συνδυάζουν ακέραιους αριθμούς χρησιμοποιώντας τις πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού, της πολλαπλασιαστικής αντιστροφής και της τετραγωνικής ρίζας θετικών αριθμών. Ακόμη πιο απλά, με κόστος την επιμήκυνση αυτών των τύπων, οι ακέραιοι αριθμοί σε αυτούς τους τύπους μπορούν να περιοριστούν στο 0 και στο 1. Για παράδειγμα, η τετραγωνική ρίζα του 2 είναι κατασκευάσιμη, αφού μπορεί να περιγραφεί από τους τύπους {\displaystyle {\sqrt {2}}} or {\displaystyle {\sqrt {1+1}}}.

Με παρόμοιο τρόπο, οι αλγεβρικά κατασκευάσιμοι μιγαδικοί αριθμοί είναι το υποσύνολο των μιγαδικών αριθμών που έχουν τύπους του ίδιου τύπου, χρησιμοποιώντας μια πιο γενική εκδοχή της τετραγωνικής ρίζας που δεν περιορίζεται σε θετικούς αριθμούς, αλλά μπορεί να λάβει αυθαίρετους μιγαδικούς αριθμούς ως όρισμα και παράγει την κύρια τετραγωνική ρίζα του επιχειρήματός της. Το ίδιο σύστημα μιγαδικών αριθμών μπορεί επίσης να οριστεί ως οι μιγαδικοί αριθμοί των οποίων το πραγματικό και το φανταστικό μέρος είναι και οι δύο κατασκευάσιμοι πραγματικοί αριθμοί. Για παράδειγμα, ο μιγαδικός αριθμός i i έχει τύπους {\displaystyle {\sqrt {-1}}} ή{\displaystyle {\sqrt {0-1}}}, και το πραγματικό και το φανταστικό μέρος του είναι κατασκευάσιμοι αριθμοί 0 και 1 αντίστοιχα.

Αυτοί οι δύο ορισμοί των κατασκευάσιμων μιγαδικών αριθμών είναι ισοδύναμοι. Κατά μία έννοια, αν {\displaystyle q=x+iy} είναι ένας μιγαδικός αριθμός του οποίου το πραγματικό μέρος {\displaystyle x} και το φανταστικό μέρος {\displaystyle y} είναι αμφότεροι κατασκευάσιμοι πραγματικοί αριθμοί, τότε αντικαθιστώντας τα {\displaystyle x} και {\displaystyle y} με τους τύπους τους στον μεγαλύτερο τύπο {\displaystyle x+y{\sqrt {-1}}}, λαμβάνουμε έναν τύπο για τον {\displaystyle q} ως μιγαδικό αριθμό. Με την άλλη έννοια, οποιοσδήποτε τύπος για έναν αλγεβρικά κατασκευάσιμο μιγαδικό αριθμό μπορεί να μετατραπεί σε τύπους για το πραγματικό και το φανταστικό μέρος του, αναπτύσσοντας αναδρομικά κάθε πράξη του τύπου σε πράξεις πάνω στο πραγματικό και το φανταστικό μέρος των επιχειρημάτων του, χρησιμοποιώντας αναπτύγματα

* {\displaystyle (a+ib)\pm (c+id)=(a\pm c)+i(b\pm d)}
* {\displaystyle (a+ib)(c+id)=(ac-bd)+i(ad+bc)}
* {\displaystyle {\frac {1}{a+ib}}={\frac {a}{a^{2}+b^{2}}}+i{\frac {-b}{a^{2}+b^{2}}}}
* {\displaystyle {\sqrt {a+ib}}={\frac {(a+r){\sqrt {r}}}{s}}+i{\frac {b{\sqrt {r}}}{s}}}, όπου {\displaystyle r={\sqrt {a^{2}+b^{2}{}\_{\!}}}} και {\displaystyle s={\sqrt {(a+r)^{2}+b^{2}}}}.

### Αλγεβρικά κατασκευάσιμα σημεία

Τα αλγεβρικά κατασκευάσιμα σημεία μπορούν να οριστούν ως σημεία των οποίων οι δύο πραγματικές καρτεσιανές συντεταγμένες είναι και οι δύο αλγεβρικά κατασκευάσιμοι πραγματικοί αριθμοί. Μπορούν επίσης να οριστούν ως σημεία στο μιγαδικό επίπεδο που δίνονται από αλγεβρικά κατασκευάσιμους μιγαδικούς αριθμούς. Λόγω της ισοδυναμίας μεταξύ των δύο ορισμών των αλγεβρικά κατασκευάσιμων μιγαδικών αριθμών, οι δύο αυτοί ορισμοί των αλγεβρικά κατασκευάσιμων σημείων είναι επίσης ισοδύναμοι.

Ισοδυναμία αλγεβρικών και γεωμετρικών ορισμών
---------------------------------------------

Αν {\displaystyle a} και {\displaystyle b} είναι τα μη μηδενικά μήκη γεωμετρικά κατασκευασμένων τμημάτων, μπορούμε να χρησιμοποιήσουμε στοιχειώδεις κατασκευές με πυξίδα και ευθεία για να λάβουμε κατασκευασμένα τμήματα μήκους {\displaystyle a+b}, {\displaystyle |a-b|}, {\displaystyle ab} και {\displaystyle a/b}. Τα δύο τελευταία μπορούν να πραγματοποιηθούν χρησιμοποιώντας μια κατασκευή βασισμένη στο θεώρημα τομής. Μια ελαφρώς λιγότερο στοιχειώδης κατασκευή που χρησιμοποιεί αυτά τα εργαλεία βασίζεται στο θεώρημα του γεωμετρικού μέσου και θα κατασκευάσει ένα τμήμα μήκους {\displaystyle {\sqrt {a}}} από ένα κατασκευασμένο τμήμα μήκους {\displaystyle a}. Προκύπτει ότι οποιοσδήποτε αλγεβρικά κατασκευάσιμος αριθμός είναι γεωμετρικά κατασκευάσιμος, χρησιμοποιώντας αυτές τις τεχνικές για να μεταφράσουμε έναν τύπο για τον αριθμό σε μια κατασκευή για τον αριθμό. .

Κατασκευές με χρήση πυξίδας και χάρακα για κατασκευάσιμους αριθμούς{\displaystyle ab} με βάση το θεώρημα της τομής{\displaystyle {\frac {a}{b}}} με βάση το θεώρημα της τομής{\displaystyle {\sqrt {p}}} με βάση το θεώρημα του γεωμετρικού μέσου όρου
Κατά την άλλη έννοια, ένα σύνολο γεωμετρικών αντικειμένων μπορεί να προσδιοριστεί με αλγεβρικά κατασκευάσιμους πραγματικούς αριθμούς: συντεταγμένες για σημεία, κλίση και {\displaystyle y}-διακοπή για ευθείες γραμμές, κέντρο και ακτίνα για κύκλους. Είναι δυνατό (αλλά κουραστικό) να αναπτυχθούν τύποι ως προς αυτές τις τιμές, χρησιμοποιώντας μόνο αριθμητική και τετραγωνικές ρίζες, για κάθε πρόσθετο αντικείμενο που μπορεί να προστεθεί σε ένα μόνο βήμα κατασκευής με πυξίδα και ευθεία. Από αυτούς τους τύπους προκύπτει ότι κάθε γεωμετρικά κατασκευάσιμος αριθμός είναι αλγεβρικά κατασκευάσιμος.

Αλγεβρικές ιδιότητες
--------------------

Ο ορισμός των αλγεβρικά κατασκευάσιμων αριθμών περιλαμβάνει το άθροισμα, τη διαφορά, το γινόμενο και το πολλαπλασιαστικό αντίστροφο οποιουδήποτε από αυτούς τους αριθμούς, τις ίδιες πράξεις που ορίζουν ένα πεδίο στην αφηρημένη άλγεβρα. Έτσι, οι κατασκευάσιμοι αριθμοί (που ορίζονται με οποιονδήποτε από τους παραπάνω τρόπους) σχηματίζουν ένα πεδίο. Πιο συγκεκριμένα, οι κατασκευάσιμοι πραγματικοί αριθμοί σχηματίζουν ένα ευκλείδειο πεδίο, ένα διατεταγμένο πεδίο που περιέχει μια τετραγωνική ρίζα κάθε θετικού στοιχείου του. Η εξέταση των ιδιοτήτων αυτού του πεδίου και των υποπεδίων του οδηγεί σε αναγκαίες συνθήκες για να είναι ένας αριθμός κατασκευάσιμος, οι οποίες μπορούν να χρησιμοποιηθούν για να δείξουν ότι συγκεκριμένοι αριθμοί που εμφανίζονται σε κλασικά γεωμετρικά προβλήματα κατασκευής δεν είναι κατασκευάσιμοι.

Είναι βολικό να θεωρήσουμε, αντί για ολόκληρο το πεδίο των κατασκευάσιμων αριθμών, το υποπεδίο {\displaystyle \mathbb {Q} (\gamma )} που παράγεται από οποιονδήποτε δεδομένο κατασκευάσιμο αριθμό {\displaystyle \gamma } και να χρησιμοποιήσουμε την αλγεβρική κατασκευή του {\displaystyle \gamma } για να αποσυνθέσουμε αυτό το πεδίο. Εάν ο {\displaystyle \gamma } είναι ένας κατασκευάσιμος πραγματικός αριθμός, τότε οι τιμές που εμφανίζονται σε έναν τύπο που τον κατασκευάζει μπορούν να χρησιμοποιηθούν για να παραχθεί μια πεπερασμένη ακολουθία πραγματικών αριθμών {\displaystyle \alpha \_{1},\dots ,a\_{n}=\gamma } έτσι ώστε, για κάθε {\displaystyle i}, η {\displaystyle \mathbb {Q} (\alpha \_{1},\dots ,a\_{i})} είναι μια επέκταση της {\displaystyle \mathbb {Q} (\alpha \_{1},\dots ,a\_{i-1})} βαθμού 2.  Χρησιμοποιώντας ελαφρώς διαφορετική ορολογία, ένας πραγματικός αριθμός είναι κατασκευάσιμος αν και μόνο αν βρίσκεται σε ένα πεδίο στην κορυφή ενός πεπερασμένου πύργου πραγματικών τετραγωνικών επεκτάσεων,


Q

=

K

0

⊆

K

1

⊆
⋯
⊆

K

n

,

{\displaystyle \mathbb {Q} =K\_{0}\subseteq K\_{1}\subseteq \dots \subseteq K\_{n},}

{\displaystyle \mathbb {Q} =K_{0}\subseteq K_{1}\subseteq \dots \subseteq K_{n},}
ξεκινώντας από το ορθολογικό πεδίο {\displaystyle \mathbb {Q} } όπου {\displaystyle \gamma } είναι στο {\displaystyle K\_{n}} και για όλα τα {\displaystyle 0<j\leq n}, {\displaystyle [K\_{j}:K\_{j-1}]=2}. Από την αποσύνθεση αυτή προκύπτει ότι ο βαθμός επέκτασης πεδίου {\displaystyle [\mathbb {Q} (\gamma ):\mathbb {Q} ]} είναι {\displaystyle 2^{r}}, όπου {\displaystyle r} μετρά το πλήθος των τετραγωνικών βημάτων της επέκτασης.

Αντίστοιχα με την περίπτωση του πραγματικού αριθμού, ένας μιγαδικός αριθμός είναι κατασκευάσιμος αν και μόνο αν βρίσκεται σε ένα πεδίο στην κορυφή ενός πεπερασμένου πύργου μιγαδικών τετραγωνικών επεκτάσεων. Πιο συγκεκριμένα, {\displaystyle \gamma } είναι κατασκευάσιμος εάν και μόνο εάν υπάρχει ένας ιστός από πεδία.


Q

=

F

0

⊆

F

1

⊆
⋯
⊆

F

n

,

{\displaystyle \mathbb {Q} =F\_{0}\subseteq F\_{1}\subseteq \dots \subseteq F\_{n},}

{\displaystyle \mathbb {Q} =F_{0}\subseteq F_{1}\subseteq \dots \subseteq F_{n},}
όπου {\displaystyle \gamma } είναι στο {\displaystyle F\_{n}}, και για όλα τα {\displaystyle 0<j\leq n}, {\displaystyle [F\_{j}:F\_{j-1}]=2}. Η διαφορά μεταξύ αυτού του χαρακτηρισμού και αυτού των πραγματικών κατασκευάσιμων αριθμών είναι μόνο ότι τα πεδία σε αυτόν τον πύργο δεν περιορίζονται στο να είναι πραγματικά. Συνεπώς, αν ένας μιγαδικός αριθμός {\displaystyle \gamma } είναι κατασκευάσιμος, τότε {\displaystyle [\mathbb {Q} (\gamma ):\mathbb {Q} ]} είναι δύναμη του δύο. Ωστόσο, αυτή η αναγκαία συνθήκη δεν είναι επαρκής: υπάρχουν επεκτάσεις πεδίου των οποίων ο βαθμός είναι δύναμη του δύο που δεν μπορούν να παραγοντοποιηθούν σε μια ακολουθία τετραγωνικών επεκτάσεων.

Τα πεδία που μπορούν να παραχθούν με αυτόν τον τρόπο από πύργους τετραγωνικών επεκτάσεων του {\displaystyle \mathbb {Q} } ονομάζονται *επαναλαμβανόμενες τετραγωνικές επεκτάσεις* του {\displaystyle \mathbb {Q} }. Τα πεδία των πραγματικών και μιγαδικών κατασκευάσιμων αριθμών είναι οι ενώσεις όλων των πραγματικών ή μιγαδικών επαναλαμβανόμενων τετραγωνικών επεκτάσεων του {\displaystyle \mathbb {Q} }.

Τριγωνομετρικοί αριθμοί
-----------------------

Οι τριγωνομετρικοί αριθμοί είναι τα συνημίτονα ή τα ημίτονα των γωνιών που είναι λογικά πολλαπλάσια του {\displaystyle \pi }. Αυτοί οι αριθμοί είναι πάντα αλγεβρικοί, αλλά μπορεί να μην είναι κατασκευάσιμοι. Το συνημίτονο ή το ημίτονο της γωνίας {\displaystyle 2\pi /n} είναι κατασκευάσιμο μόνο για ορισμένους ειδικούς αριθμούς {\displaystyle n}:

* Οι δυνάμεις του δύο
* Οι πρώτοι αριθμοί του Φερμά, πρώτοι αριθμοί που είναι το ένα συν μια δύναμη του δύο.
* Τα γινόμενα των δυνάμεων του δύο και των διαφορετικών πρώτων αριθμών Φερμά.

Παραδείγματος χάριν, ο {\displaystyle \cos(\pi /15)} είναι κατασκευάσιμος επειδή το 15 είναι το γινόμενο δύο πρώτων αριθμών Φερμά, του 3 και του 5.

Αδύνατες κατασκευές
-------------------

Ένας κύβος και ο διπλός τουΜια γωνία και η τριχοτόμησή τηςΚύκλος και τετράγωνο με την ίδια επιφάνεια
Οι αρχαίοι Έλληνες πίστευαν ότι ορισμένα προβλήματα κατασκευής με χάρακα και πυξίδα που δεν μπορούσαν να λύσουν ήταν απλώς επίμονα, όχι άλυτα. Ωστόσο, η μη κατασκευασιμότητα ορισμένων αριθμών αποδεικνύει ότι οι κατασκευές αυτές είναι λογικά αδύνατο να επιτευχθούν (τα ίδια τα προβλήματα, ωστόσο, μπορούν να λυθούν με μεθόδους που υπερβαίνουν τους περιορισμούς μόνο με χάρακα και πυξίδα, και οι Έλληνες γνώριζαν πώς να τα λύνουν με αυτόν τον τρόπο. Η λύση του Αρχιμήδη στο πρόβλημα της τριχοτόμησης της γωνίας με τη χρήση της κατασκευής "Νεῦσις" είναι ένα παράδειγμα).

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

**Διπλασιασμός του κύβου**

Το πρόβλημα του διπλασιασμού του μοναδιαίου τετραγώνου λύνεται με την κατασκευή ενός άλλου τετραγώνου στη διαγώνιο του πρώτου, με μήκος πλευράς {\displaystyle {\sqrt {2}}} και εμβαδόν {\displaystyle 2}. Αντίστοιχα, το πρόβλημα του διπλασιασμού του κύβου απαιτεί την κατασκευή του μήκους {\displaystyle {\sqrt[{3}]{2}}} της πλευράς ενός κύβου όγκου {\displaystyle 2}. Δεν είναι δυνατό να κατασκευαστεί, επειδή το ελάχιστο πολυώνυμο αυτού του μήκους, {\displaystyle x^{3}-2}, είναι βαθμού 3 στο {\displaystyle \mathbb {Q} }.  Ως κυβικό πολυώνυμο του οποίου η μόνη πραγματική ρίζα είναι άρρητη, το πολυώνυμο αυτό πρέπει να είναι μη αναγώγιμο, διότι αν είχε μια τετραγωνική πραγματική ρίζα, η συζυγή τετραγωνική ρίζα θα παρείχε μια δεύτερη πραγματική ρίζα. 
**Γωνιακή τριχοτόμηση**

Σε αυτό το πρόβλημα, από μια δεδομένη γωνία {\displaystyle \theta }, πρόκειται να κατασκευαστεί μια γωνία {\displaystyle \theta /3}. Αλγεβρικά, οι γωνίες μπορούν να αναπαρασταθούν από τις τριγωνομετρικές συναρτήσεις τους, όπως τα ημιτόνια ή τα συνημίτονά τους, οι οποίες δίνουν τις καρτεσιανές συντεταγμένες του τελικού σημείου ενός ευθύγραμμου τμήματος που σχηματίζει τη δεδομένη γωνία με το αρχικό τμήμα. Έτσι, μια γωνία {\displaystyle \theta } είναι κατασκευάσιμη όταν {\displaystyle x=\cos \theta } είναι ένας κατασκευάσιμος αριθμός, και το πρόβλημα της τριχοτόμησης της γωνίας μπορεί να διατυπωθεί ως ένα πρόβλημα κατασκευής του {\displaystyle \cos({\tfrac {1}{3}}\arccos x)}. Για παράδειγμα, η γωνία {\displaystyle \theta =\pi /3=60^{\circ }} ενός ισόπλευρου τριγώνου μπορεί να κατασκευαστεί με πυξίδα και ευθεία, με {\displaystyle x=\cos \theta ={\tfrac {1}{2}}}. Ωστόσο, η τριχοτόμησή του {\displaystyle \theta /3=\pi /9=20^{\circ }} δεν μπορεί να κατασκευαστεί, επειδή το {\displaystyle \cos \pi /9} έχει ελάχιστο πολυώνυμο {\displaystyle 8x^{3}-6x-1} βαθμού 3 πάνω στο {\displaystyle \mathbb {Q} }. Επειδή αυτή η συγκεκριμένη περίπτωση του προβλήματος της τριχοτόμησης δεν μπορεί να επιλυθεί με πυξίδα και ευθεία, το γενικό πρόβλημα επίσης δεν μπορεί να επιλυθεί.
**Τετραγωνισμός του κύκλου**

Ένα τετράγωνο με εμβαδόν {\displaystyle \pi }, το ίδιο εμβαδόν με έναν μοναδιαίο κύκλο, θα είχε μήκος πλευράς {\displaystyle {\sqrt {\pi }}}, έναν υπερβατικό αριθμό. Επομένως, αυτό το τετράγωνο και το μήκος πλευράς του δεν είναι κατασκευάσιμα, επειδή δεν είναι αλγεβρικά πάνω στο {\displaystyle \mathbb {Q} }.
**Κατασκευάσιμο πολύγωνο**

Αν ένα κανονικό {\displaystyle n}-gon κατασκευαστεί με το κέντρο του στην αρχή, οι γωνίες μεταξύ των τμημάτων από το κέντρο σε διαδοχικές κορυφές είναι {\displaystyle 2\pi /n}. Το πολύγωνο μπορεί να κατασκευαστεί μόνο όταν το συνημίτονο αυτής της γωνίας είναι ένας τριγωνομετρικός αριθμός. Παραδείγματος χάριν, ένα 15-gon είναι κατασκευάσιμο, αλλά το κανονικό επτάγωνο δεν είναι κατασκευάσιμο, επειδή το 7 είναι πρώτος αριθμός αλλά όχι πρώτος αριθμός Φερμά. Για μια πιο άμεση απόδειξη της μη κατασκευασιμότητάς του, αναπαραστήστε τις κορυφές ενός κανονικού επταγώνου ως τις μιγαδικές ρίζες του πολυωνύμου {\displaystyle x^{7}-1}. Αφαιρώντας τον παράγοντα {\displaystyle x-1}, διαιρώντας με το {\displaystyle x^{3}} και αντικαθιστώντας το {\displaystyle y=x+1/x} προκύπτει το απλούστερο πολυώνυμο {\displaystyle y^{3}+y^{2}-2y-1}, ένα μη αναγώγιμο κυβικό με τρεις πραγματικές ρίζες, κάθε μία από τις οποίες είναι δύο φορές το πραγματικό μέρος μιας κορυφής μιγαδικού αριθμού. Οι ρίζες του δεν είναι κατασκευάσιμες, άρα και το επτάγωνο δεν είναι κατασκευάσιμο.
**Το πρόβλημα του Αλχαζέν**

Αν δίνονται δύο σημεία και ένας κυκλικός καθρέφτης, σε ποιο σημείο του κύκλου το ένα από τα συγκεκριμένα σημεία βλέπει το είδωλο του άλλου; Γεωμετρικά, οι ευθείες που ξεκινούν από κάθε δεδομένο σημείο και καταλήγουν στο σημείο της αντανάκλασης συναντούν τον κύκλο σε ίσες γωνίες και σε χορδές ίσου μήκους. Ωστόσο, είναι αδύνατο να κατασκευάσουμε ένα σημείο ανάκλασης χρησιμοποιώντας μια πυξίδα και έναν χάρακα. Ειδικότερα, για έναν μοναδιαίο κύκλο με τα δύο σημεία {\displaystyle ({\tfrac {1}{6}},{\tfrac {1}{6}})} και {\displaystyle (-{\tfrac {1}{2}},{\tfrac {1}{2}})} στο εσωτερικό του, η λύση εμφανίζει συντεταγμένες που σχηματίζουν τις ρίζες ενός μη αναγώγιμου πολυωνύμου τετάρτου βαθμού {\displaystyle x^{4}-2x^{3}+4x^{2}+2x-1}. Αν και ο βαθμός του είναι δύναμη του δύο, το πεδίο διαίρεσης αυτού του πολυωνύμου έχει βαθμό διαιρετό με το τρία, οπότε δεν προέρχεται από μια επαναληπτική τετραγωνική επέκταση και το πρόβλημα του Αλχαζέν δεν έχει λύση με πυξίδα και χάρακα..

Ιστορία
-------

Η γέννηση της έννοιας των κατασκευάσιμων αριθμών είναι άρρηκτα συνδεδεμένη με την ιστορία των τριών κατασκευών που ήταν αδύνατες με τη χρήση πυξίδας και χάρακα: ο διπλασιασμός ενός κύβου, η τριχοτόμηση της γωνίας και ο τετραγωνισμός του κύκλου. Ο περιορισμός της χρήσης της πυξίδας και του χάρακα στις γεωμετρικές κατασκευές αποδίδεται συχνά στον Πλάτωνα λόγω ενός χωρίου στον Πλούταρχο. Σύμφωνα με τον Πλούταρχο, ο Πλάτων ανέθεσε τον διπλασιασμό του προβλήματος του κύβου (Δελιανός) στους Εύδοξο, Αρχύτα και Μέναχο, οι οποίοι έλυσαν το πρόβλημα χρησιμοποιώντας μηχανικά μέσα, κερδίζοντας έτσι μια επίπληξη από τον Πλάτωνα επειδή δεν έλυσαν το πρόβλημα χρησιμοποιώντας καθαρή γεωμετρία. Ωστόσο, η απόδοση αυτή αμφισβητείται, εν μέρει λόγω της υπάρξεως μιας άλλης εκδοχής της ιστορίας (που αποδίδεται στον Ερατοσθένη από τον Ευτόκιο του Ασκαλώνου), η οποία αναφέρει ότι οι τρεις τους βρήκαν λύσεις αλλά ήταν πολύ αφηρημένες για να έχουν πρακτική αξία. Ο Πρόκλος, παραθέτοντας τον Ευδήμο της Ρόδου, αποδίδει δύο κατασκευές με χάρακα και πυξίδα στον Οινοπίδη (περ. 450 π.Χ.), γεγονός που έχει οδηγήσει ορισμένους συγγραφείς να υποθέσουν ότι ο Οινοπίδης ήταν ο εμπνευστής του περιορισμού. Ο περιορισμός σε πυξίδα και χάρακα είναι ουσιώδης για την αδυναμία αντιμετώπισης των κλασικών κατασκευαστικών προβλημάτων. Η τριχοτόμηση μιας γωνίας, για παράδειγμα, μπορεί να επιτευχθεί με πολλούς τρόπους, πολλοί από τους οποίους ήταν γνωστοί στους αρχαίους Έλληνες. Χρησιμοποιήθηκαν η Τετραγωνίζουσα του Ιππία της Ήλιδας, οι κωνικές του Μενέχμου και η κατασκευή του σημαδεμένου χάρακα του Αρχιμήδη ("νεύσις"), καθώς και μια πιο σύγχρονη προσέγγιση με τη χρήση αναδίπλωσης χαρτιού.

Αν και δεν είναι ένα από τα τρία κλασικά προβλήματα κατασκευής, το πρόβλημα της κατασκευής κανονικών πολυγώνων με τη χρήση χάρακα και πυξίδας αντιμετωπίζεται συχνά παράλληλα. Οι Έλληνες ήξεραν πώς να κατασκευάσουν n κανονικά {\displaystyle n}-gons με {\displaystyle n=2^{h}} (για κάθε ακέραιο {\displaystyle h\geq 2}), 3, 5, ή το γινόμενο δύο ή τριών από αυτούς τους αριθμούς, αλλά άλλα κανονικά n-gon τους διέφευγαν. Το 1796, ο Καρλ Φρίντριχ Γκάους, δεκαοκτάχρονος τότε φοιτητής, ανακοίνωσε σε μια εφημερίδα ότι είχε κατασκευάσει ένα κανονικό 17-γωνο χρησιμοποιώντας ένα χάρακα και μια πυξίδα Η αντιμετώπιση του Γκάους ήταν αλγεβρική παρά γεωμετρική- στην πραγματικότητα, δεν κατασκεύασε το πολύγωνο, αλλά έδειξε ότι το συνημίτονο μιας κεντρικής γωνίας ήταν ένας κατασκευάσιμος αριθμός. Το επιχείρημα γενικεύτηκε στο βιβλίο του Disquisitiones Arithmeticae του 1801, δίνοντας την ικανή συνθήκη για την κατασκευή ενός κανονικού n-γωνο. Ο Γκάους υποστήριξε, χωρίς να αποδείξει, ότι η συνθήκη αυτή ήταν επίσης αναγκαία και αρκετοί συγγραφείς, ιδίως ο Φέλιξ Κλάιν , του απέδωσαν και αυτό το μέρος της απόδειξης. Το πρόβλημα του Αλχαζέν δεν είναι επίσης ένα από τα τρία κλασικά προβλήματα, αλλά παρόλο που πήρε το όνομά του από τον Ibn al-Haytham ("Αλχαζέν"), έναν μεσαιωνικό ισλαμιστή μαθηματικό, εμφανίζεται ήδη στο έργο του Πτολεμαίου του δεύτερου αιώνα για την οπτική .

Ο Πιερ Γουάντσελ (1837) απέδειξε αλγεβρικά ότι τα προβλήματα του διπλασιασμού του κύβου και του τριγωνισμού της γωνίας είναι αδύνατο να λυθούν μόνο με την πυξίδα και τον χάρακα. Στο ίδιο άρθρο, έλυσε επίσης το πρόβλημα του προσδιορισμού των κανονικών πολυγώνων που μπορούν να κατασκευαστούν: ένα κανονικό πολύγωνο είναι κατασκευάσιμο εάν και μόνο εάν ο αριθμός των πλευρών του είναι το γινόμενο μιας δύναμης του δύο και οποιουδήποτε αριθμού διαφορετικών πρώτων αριθμών του Φερμά (δηλαδή οι ικανές συνθήκες που έδωσε ο Γκάους ισχύουν και για την κατασκευή ενός κανονικού πολυγώνου), Μια προσπάθεια απόδειξης της αδυναμίας τετραγωνισμού του κύκλου δόθηκε από τον Τζέιμς Γκρέγκορι στο Vera Circuli et Hyperbolae Quadratura (Ο αληθινός τετραγωνισμός του κύκλου και της υπερβολής) το 1667. Αν και η απόδειξή του ήταν λανθασμένη, αυτή ήταν η πρώτη εργασία που προσπάθησε να λύσει το πρόβλημα χρησιμοποιώντας τις αλγεβρικές ιδιότητες του π. Μόνο το 1882 ο Φερντινάντ φον Λίντεμαν απέδειξε αυστηρά την αδυναμία του, επεκτείνοντας το έργο του Σαρλ Ερμίτ και αποδεικνύοντας ότι το π είναι υπερβατικός αριθμός. Μόνο με το έργο του Έλκιν (1965) κατέστη αδύνατο να λυθεί το πρόβλημα του Αλχαζέν με τη χρήση πυξίδας και χάρακα.

Η μελέτη των κατασκευάσιμων αριθμών ως τέτοιων ξεκίνησε από τον Ρενέ Ντεκάρτ στο έργο του "Η γεωμετρία" (La Géométrie), ένα παράρτημα στο έργο του "Discours de la méthode" (Λόγος περί της Μεθόδου) που δημοσιεύθηκε το 1637. Σε αυτό, ο Ντεκάρτ συνδέει τους αριθμούς με τμήματα γεωμετρικών ευθειών προκειμένου να επιδείξει τη δύναμη της φιλοσοφικής του μεθόδου επιλύοντας ένα αρχαίο κατασκευαστικό πρόβλημα με χάρακα και πυξίδα που έθεσε ο Πάππος.

Δείτε επίσης
------------

* Οικοδομήσιμο Σύμπαν

Παραπομπές
----------

1. ↑  Kazarinoff (2003, pp. 10 & 15); Martin (1998), Corollary 2.16, p. 41.
2. ↑  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, MR 1483895
3. 1 2  Courant, Richard; Robbins, Herbert (1996), "Chapter III: Geometrical constructions, the algebra of number fields", What is Mathematics? An elementary approach to ideas and methods (2nd ed.), Oxford University Press, pp. 117–164, ISBN 0-19-510519-2
4. ↑  Kazarinoff, Nicholas D. (2003) [1970], Ruler and the Round: Classic Problems in Geometric Constructions, Dover, ISBN 0-486-42515-0, MR 1963960
5. 1 2  Kazarinoff, Nicholas D. (2003) [1970], Ruler and the Round: Classic Problems in Geometric Constructions, Dover, ISBN 0-486-42515-0, MR 1963960
6. 1 2  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, MR 1483895
7. ↑  This construction for the midpoint is given in Book I, Proposition 10 of Euclid's *Elements*.
8. ↑  Kazarinoff, Nicholas D. (2003) [1970], Ruler and the Round: Classic Problems in Geometric Constructions, Dover, ISBN 0-486-42515-0, MR 1963960
9. ↑  Herstein (1986, p. 237). To use the length-based definition, it is necessary to include the number zero as a constructible number, as a special case.
10. ↑  Moise, Edwin E. (1974), Elementary Geometry from an Advanced Standpoint (2nd ed.), Addison Wesley, ISBN 0-201-04793-4, MR 0344984
11. ↑  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, MR 1483895
12. ↑  Roman, Steven (1995), Field Theory, Springer-Verlag, ISBN 978-0-387-94408-1, MR 1329733
13. 1 2  Lawrence & Zorzitto (2021), p. 440.
14. ↑  For the addition and multiplication formula, see Kay (2021), Theorem 8.1.10, p. 187. For the division formula, see Kay (2021), Equations 8.8, p. 188, and 9.2, p. 224. The expansion of the square root can be derived from the half-angle formula of trigonometry; see an equivalent formula at Lawrence & Zorzitto (2021), p. 440.
15. ↑  {Herstein (1986, pp. 236-237)- {Moise (1974, p. 224)- {Fraleigh (1994, pp. 426-427)- {Courant & Robbins (1996, Τμήμα III.1 .1, "Κατασκευή πεδίων και εξαγωγή τετραγωνικών ριζών", σελ. 120-122).
16. ↑  Martin (1998, pp. 38–39); Courant & Robbins (1996, pp. 131–132).
17. ↑  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, MR 1483895
18. ↑  Fraleigh, John B. (1994), A First Course in Abstract Algebra (5th ed.), Addison Wesley, ISBN 978-0-201-53467-2, MR 0225619
19. ↑  Roman (1995), σελ. 59.
20. 1 2  Neumann (1998).
21. ↑  Rotman, Joseph J. (2006), A First Course in Abstract Algebra with Applications (3rd ed.), Prentice Hall, ISBN 978-0-13-186267-8
22. ↑  Rotman (2006), σελ. 362.
23. ↑  Martin (1998), Theorem 2.10, p. 37.
24. ↑  Martin (1998), σελ. 46.
25. ↑  Stewart, Ian (1989), Galois Theory (2nd ed.), Chapman and Hall, ISBN 978-0-412-34550-0, MR 1036521
26. ↑  University of Michigan (1897). *Famous Problems of Elementary Geometry: The Duplication of the Cube, the Trisection of an Angle ...* Ginn & Co.
27. ↑  The description of these alternative solutions makes up much of the content of Knorr (1986).
28. ↑  {Klein (1897, p. 13)- {Fraleigh (1994, pp. 429-430)
29. ↑  Courant & Robbins (1996), Τμήμα III.3 .1, "Διπλασιασμός του κύβου", σελ. 134-135.
30. ↑  Fraleigh (1994, pp. 429-430)- Courant & Robbins (1996, Τμήμα III.3.3, "Η τριχοτόμηση της γωνίας", σελ. 137-138)
31. ↑  Fraleigh (1994), σελίδες 429-430.
32. ↑  Fraleigh (1994), σελ. 504.
33. ↑  Courant & Robbins (1996), Τμήμα III.3.4 "Το κανονικό επτάγωνο", σελ. 138-139.
34. ↑  {Neumann (1998). Elkin καταλήγει στο ίδιο συμπέρασμα χρησιμοποιώντας διαφορετικά σημεία και ένα διαφορετικό πολυώνυμο.
35. ↑  Plutarch, *Quaestiones convivales* VIII.ii Αρχειοθετήθηκε 2019-07-28 στο Wayback Machine. 718ef.
36. ↑  Kazarinoff (2003), σελ. 28.
37. ↑  Knorr, Wilbur Richard (1986), The Ancient Tradition of Geometric Problems, Dover Books on Mathematics, Courier Dover Publications, ISBN 978-0-486-67532-9, MR 0884893
38. ↑  Knorr (1986), σελίδες 15–17.
39. ↑  Friedman (2018), σελίδες 1–3.
40. ↑  Kazarinoff, Nicholas D. (2003) [1970], Ruler and the Round: Classic Problems in Geometric Constructions, Dover, ISBN 0-486-42515-0, MR 1963960
41. ↑  Klein (1897), σελ. 16.
42. ↑  Kazarinoff (2003), σελ. 30.
43. ↑  Martin (1998), σελ. 44.
44. ↑  Klein (1897), Chapter IV: The transcendence of the number π, pp. 68–77..
45. ↑  Elkin (1965); see also Neumann (1998) for an independent solution with more of the history of the problem.
46. ↑  Boyer (2004), σελίδες 83–88.

  



|  |  |
| --- | --- |
| 

|  |
| --- |
| * Πύλη:Μαθηματικά
 |

 |