Πολύγωνο

Για τη συνοικία, δείτε: Πολύγωνο (Αθήνα).

Στην γεωμετρία, πολύγωνο είναι κάθε απλή κλειστή τεθλασμένη γραμμή. Ένα πολύγωνο με ${\displaystyle \nu }$ πλευρές (όπου ${\displaystyle \nu \geq 3}$) λέγεται ειδικότερα ${\displaystyle \nu }$-γωνο (προφέρεται νι-γωνο) ή ${\displaystyle \nu }$-πλευρο.

Ειδικές περιπτώσεις είναι το τρίγωνο (${\displaystyle \nu =3}$), το τετράγωνο (${\displaystyle \nu =4}$), το πεντάγωνο (${\displaystyle \nu =5}$), το εξάγωνο (${\displaystyle \nu =6}$), το επτάγωνο (${\displaystyle \nu =7}$), κ.ο.κ.

Ορισμοί

Κυρτό πολύγωνο ${\displaystyle {\rm {AB\Gamma \Delta E}}}$.

Μη κυρτό πολύγωνο ${\displaystyle {\rm {AB\Gamma \Delta E}}}$,

Το γεωμετρικό σχήμα που αποτελείται από ένα πολύγωνο και τα εσωτερικά του σημεία λέγεται πολυγωνικό χωρίο. Ένα πολύγωνο θα λέγεται κυρτό αν το πολυγωνικό χωρίο του είναι κυρτό σύνολο και μη κυρτό ή κοίλο στην αντίθετη περίπτωση.

Οι εσωτερικές (πράσινες) και οι εξωτερικές (μπλε) γωνίες ενός τριγώνου και ενός τετραπλεύρου.

Εσωτερική γωνία ενός πολυγώνου λέγεται κάθε κυρτή γωνία που ορίζεται από δύο διαδοχικές πλευρές του πολυγώνου. Εξωτερική γωνία λέγεται κάθε εφεξής και παραπληρωματική μίας εσωτερικής του γωνίας. Ένα ${\displaystyle \nu }$-γωνο έχει ${\displaystyle \nu }$ εσωτερικές γωνίες και ${\displaystyle 2\nu }$ εξωτερικές γωνίες.

Μία διαγώνιος ${\displaystyle {\rm {E\Gamma }}}$ ενός πολυγώνου.

Ένα ευθύγραμμο τμήμα που ενώνει δύο μη διαδοχικές κορυφές πολυγώνου ονομάζεται διαγώνιος του πολυγώνου.

Ιδιότητες

• Το πλήθος των διαγωνίων ενός ${\displaystyle \nu }$-γώνου ισούται με ${\textstyle {\frac {\nu (\nu -3)}{2}}}$.

Απόδειξη

Οι διαγώνιοι ενός ${\displaystyle \nu }$-γώνου. Για να μετρήσουμε τις διαγωνίους του ${\displaystyle \nu }$-γώνου θεωρούμε μία-μία τις κορυφές του και μετράμε τα νέα ευθύγραμμα τμήματα που προκύπτουν για κάθε κορυφή. Από το τελικό άθροισμα όλων των ευθυγράμμων τμημάτων θα αφαιρέσουμε τα ${\displaystyle \nu }$ σε πλήθος τμήματα που είναι οι πλευρές του πολυγώνου. Στην πρώτη κορυφή δεν έχουμε κανένα ευθύγραμμο τμήμα. Στη δεύτερη κορυφή έχουμε ένα ευθύγραμμο τμήμα που ενώνει τη δεύτερη με την πρώτη κορυφή. Η τρίτη κορυφή ενώνεται με τις προηγούμενες δύο και προκύπτουν δύο νέα ευθύγραμμα τμήματα. Συνεχίζοντας με τον ίδιο τρόπο, στην προσθήκη της τελευταίας κορυφής, της ${\displaystyle \nu }$-οστής, θα προκύψουν ${\displaystyle \nu -1}$ νέα ευθύγραμμα τμήματα καθώς αυτή θα ενωθεί με όλες τις ${\displaystyle \nu -1}$ κορυφές που προηγήθηκαν. Αυτό που μας ενδιαφέρει είναι το συνολικό πλήθος ${\displaystyle S}$ των ευθυγράμμων τμημάτων. Γράφουμε με δύο τρόπους το άθροισμα της κάτω γραμμής του πίνακα: ${\displaystyle S=1+2+\cdots +(\nu -2)+(\nu -1)}$, ${\displaystyle S=(\nu -1)+(\nu -2)+\cdots +2+1}$, και προσθέτοντας κατά μέλη παίρνουμε ${\displaystyle S={\frac {\nu (\nu -1)}{2}}}$. Αφαιρώντας τις ${\displaystyle \nu }$ πλευρές τελικά λαμβάνουμε ${\displaystyle S-\nu ={\frac {\nu ^{2}-\nu }{2}}-\nu ={\frac {\nu (\nu -3)}{2}}}$.

• Το άθροισμα των γωνιών ενός απλού ${\displaystyle \nu }$-γώνου είναι ${\displaystyle (\nu -2)\cdot 180^{\circ }}$.

Απόδειξη

Θεωρούμε πολύγωνο με ${\displaystyle \nu }$ κορυφές. Αφού το πολύγωνο είναι απλό, μπορούμε να το χωρίσουμε σε ${\displaystyle \nu -2}$ μη-επικαλυπτόμενα τρίγωνα. Το συνολικό άθροισμα γωνιών αυτών των τριγώνων είναι ίσο με το άθροισμα των γωνιών του ${\displaystyle \nu }$-γώνου, ίσο με ${\displaystyle (\nu -2)\cdot 180^{\circ }}$.

• Το άθροισμα των εξωτερικών γωνιών κάθε κυρτού πολυγώνου είναι ίσο με 360°.

Απόδειξη

Έστω ότι έχουμε ένα ${\displaystyle \nu }$-γωνο με κορυφές ${\displaystyle 1,2,\ldots ,\nu -1,\nu }$. Αν για κάθε κορυφή ${\displaystyle i}$ πάρουμε το άθροισμα της εσωτερικής ${\displaystyle \varepsilon \sigma _{i}}$ και εξωτερικής ${\displaystyle \varepsilon \xi _{i}}$ της γωνίας, τότε ${\displaystyle {\begin{aligned}\varepsilon \sigma _{i}+\varepsilon \xi _{i}&=180^{\circ },\\\vdots \qquad &\\\varepsilon \sigma _{i}+\varepsilon \xi _{i}&=180^{\circ }.\end{aligned}}}$ Αθροίζοντας κατά μέλη, λαμβάνουμε ${\displaystyle \sum _{i=1}^{\nu }(\epsilon \sigma _{i}+\epsilon \xi _{i})=\nu \cdot 180^{\circ }}$, ${\displaystyle \sum _{i=1}^{\nu }\epsilon \xi _{i}=\nu \cdot 180^{\circ }-(\nu -2)\cdot 180^{\circ }=360^{\circ }}$.

Μετρικές σχέσεις

Το γινόμενο των μπλε ευθυγράμμων τμημάτων ισούται με αυτό των κόκκινων.

• Έστω ένα πολύγωνο ${\displaystyle {\rm {P}}_{1}\ldots {\rm {P}}_{n}}$ με ${\displaystyle n}$ πλευρές. Θεωρούμε τα σημεία τομής ${\displaystyle {\rm {Q}}_{1},\ldots ,{\rm {Q}}_{n}}$ των προεκτάσεων των πλευρών του ${\displaystyle {\rm {P_{n}P_{1}}}}$ και ${\displaystyle {\rm {P_{2}P_{3}}}}$, ${\displaystyle {\rm {P_{1}P_{2}}}}$ και ${\displaystyle {\rm {P_{3}P_{4}}}}$, ${\displaystyle \ldots }$. Τότε, ισχύει ότι^[1]

${\displaystyle {\rm {P_{1}Q_{1}\cdot P_{2}Q_{2}}}\cdot \ldots \cdot {\rm {P}}_{n}{\rm {Q}}_{n}={\rm {P_{1}Q}}_{n}\cdot {\rm {P}}_{2}{\rm {Q}}_{1}\cdot \ldots \cdot {\rm {P}}_{n}{\rm {Q}}_{n}}$.

Απόδειξη

Το γινόμενο των μπλε ευθυγράμμων τμημάτων ισούται με αυτό των κόκκινων. Από τον νόμο ημιτόνων στο τρίγωνο ${\displaystyle {\rm {P_{1}Q_{1}P_{2}}}}$, ισχύει ότι ${\displaystyle {\frac {\rm {\color {blue}{P_{1}Q_{1}}}}{\sin \varphi _{2}}}={\frac {\rm {\color {red}{P_{2}Q_{1}}}}{\sin \varphi _{1}}}}$. Αντίστοιχα, ${\displaystyle {\frac {\rm {\color {blue}{P_{2}Q_{2}}}}{\sin \varphi _{3}}}={\frac {\rm {\color {red}{P_{3}Q_{2}}}}{\sin \varphi _{2}}}}$ ${\displaystyle \qquad \vdots }$ ${\displaystyle {\frac {\color {blue}{{\rm {P}}_{n}{\rm {Q}}_{n}}}{\sin \varphi _{1}}}={\frac {\color {red}{{\rm {P}}_{n}{\rm {Q}}_{n-1}}}{\sin \varphi _{n}}}}$. Πολλαπλασιάζοντας κατά μέλη αυτές τις ισότητες λαμβάνουμε ότι ${\displaystyle {\frac {\color {blue}{{\rm {P}}_{1}{\rm {Q}}_{1}\cdot {\rm {P}}_{2}{\rm {Q}}_{2}\ldots \cdot {\rm {P}}_{1}{\rm {Q}}_{1}}}{\sin \varphi _{1}\cdot \ldots \cdot \sin \varphi _{n}}}={\frac {\color {red}{{\rm {P_{1}Q}}_{n}\cdot {\rm {P}}_{2}{\rm {Q}}_{1}\cdot \ldots \cdot {\rm {P}}_{n}{\rm {Q}}_{n-1}}}{\sin \varphi _{1}\cdot \ldots \cdot \sin \varphi _{n}}}}$. Απαλείφοντας τους παρονομαστές, λαμβάνουμε την ζητούμενη ισότητα.

Εξωτερικοί σύνδεσμοι

• Λεξιλογικός ορισμός του πολύγωνο στο Βικιλεξικό
• Πολυμέσα σχετικά με το θέμα Polygons στο Wikimedia Commons