Βικιπαίδεια

Θεώρημα του Πικ

Στη γεωμετρία, το θεώρημα του Πικ παρέχει έναν τύπο για το εμβαδόν ενός απλού πολυγώνου με ακέραιες συντεταγμένες κορυφής, ως προς τον αριθμό των ακέραιων σημείων στο εσωτερικό του και στα σύνορά του. Το αποτέλεσμα περιγράφηκε για πρώτη φορά από τον Τζορτζ Αλεξάντερ Πικ το 1899.[2] Διαδόθηκε στα αγγλικά από τον Ούγκο Στάινχαους στην έκδοση του 1950 του βιβλίου "Mathematical Snapshots" (Μαθηματικά στιγμιότυπα).[3][4] Διαθέτει πολλαπλές αποδείξεις και μπορεί να γενικευτεί σε τύπους για ορισμένα είδη μη απλών πολυγώνων.

Ηλιοφάνεια Φάρεϊ τάξης 6, με 1 εσωτερικό (κόκκινο) και 96 οριακά (πράσινο) σημεία που δίνουν μια περιοχή {1 + 96/2 - 1 = 48[1]

Τύπος

Επεξεργασία
 
i = 7, b = 8, A = i + b/2 − 1 = 10

Ας υποθέσουμε ότι ένα πολύγωνο έχει ακέραιες συντεταγμένες για όλες τις κορυφές του. Έστω   ο αριθμός των ακέραιων σημείων στο εσωτερικό του πολυγώνου και   ο αριθμός των ακέραιων σημείων στο σύνορό του (συμπεριλαμβανομένων τόσο των κορυφών όσο και των σημείων κατά μήκος των πλευρών). Τότε το εμβαδόν   αυτού του πολυγώνου είναι:[5][6][7][8]

 

Το παράδειγμα που παρουσιάζεται έχει   εσωτερικά σημεία και   οριακά σημεία, οπότε το εμβαδόν του είναι   τετραγωνικές μονάδες.

Αποδείξεις

Επεξεργασία

Μέσω του τύπου του Όιλερ

Επεξεργασία

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

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

Το πρώτο μέρος αυτής της απόδειξης δείχνει ότι ένα τρίγωνο με τρεις ακέραιες κορυφές και κανένα άλλο ακέραιο σημείο έχει εμβαδόν ακριβώς  , όπως ορίζει ο τύπος του Πικ. Η απόδειξη χρησιμοποιεί το γεγονός ότι όλα τα τρίγωνα πλακιδώνουν το επίπεδο, με τα γειτονικά τρίγωνα να έχουν περιστραφεί κατά 180° μεταξύ τους γύρω από την κοινή τους ακμή.[9] Για πλακοστρώσεις από ένα τρίγωνο με τρεις ακέραιες κορυφές και κανένα άλλο ακέραιο σημείο, κάθε σημείο του ακέραιου πλέγματος είναι μια κορυφή έξι πλακιδίων. Επειδή ο αριθμός των τριγώνων ανά σημείο του πλέγματος (έξι) είναι διπλάσιος από τον αριθμό των σημείων του πλέγματος ανά τρίγωνο (τρία), τα τρίγωνα είναι δύο φορές πιο πυκνά στο επίπεδο από τα σημεία του πλέγματος. Οποιαδήποτε περιοχή του επιπέδου με κλίμακα περιέχει διπλάσια τρίγωνα (στο όριο καθώς ο συντελεστής κλίμακας πηγαίνει στο άπειρο) από τον αριθμό των σημείων πλέγματος που περιέχει. Επομένως, κάθε τρίγωνο έχει εμβαδόν  , όπως απαιτείται για την απόδειξη.[5] Μια διαφορετική απόδειξη ότι αυτά τα τρίγωνα έχουν εμβαδόν   βασίζεται στη χρήση του θεωρήματος του Μινκόφσκι για τα σημεία πλέγματος σε συμμετρικά κυρτά σύνολα.[10]

 
Υποδιαίρεση ενός πολυγώνου πλέγματος σε ειδικά τρίγωνα

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

Η υποδιαίρεση του πολυγώνου σε τρίγωνα σχηματίζει ένα επίπεδο γράφημα και ο τύπος του Όιλερ   δίνει μια εξίσωση που ισχύει για τον αριθμό των κορυφών, των ακμών και των όψεων οποιουδήποτε επίπεδου γραφήματος. Οι κορυφές είναι απλώς τα σημεία πλέγματος του πολυγώνου- υπάρχουν   από αυτές. Οι επιφάνειες είναι τα τρίγωνα της υποδιαίρεσης και η μοναδική περιοχή του επιπέδου εκτός του πολυγώνου. Ο αριθμός των τριγώνων είναι  , οπότε συνολικά υπάρχουν   όψεις. Για να μετρήσουμε τις ακμές, παρατηρούμε ότι υπάρχουν   πλευρές τριγώνων στην υποδιαίρεση. Κάθε ακμή στο εσωτερικό του πολυγώνου είναι η πλευρά δύο τριγώνων. Ωστόσο, υπάρχουν   ακμές τριγώνων που βρίσκονται κατά μήκος του ορίου του πολυγώνου και αποτελούν μέρος ενός μόνο τριγώνου. Επομένως, ο αριθμός των πλευρών των τριγώνων υπακούει στην εξίσωση  , από την οποία μπορούμε να λύσουμε τον αριθμό των ακμών,  . Συνδέοντας αυτές τις τιμές για τα  ,   και   στον τύπο του Όιλερ  προκύπτει   Ο τύπος του Πικ προκύπτει από την επίλυση αυτής της γραμμικής εξίσωσης για  .[5] Ένας εναλλακτικός αλλά παρόμοιος υπολογισμός περιλαμβάνει την απόδειξη ότι ο αριθμός των ακμών της ίδιας υποδιαίρεσης είναι  , οδηγώντας στο ίδιο αποτέλεσμα.[11]

Είναι επίσης δυνατό να πάμε προς την αντίθετη κατεύθυνση, χρησιμοποιώντας το θεώρημα του Πικ (που αποδεικνύεται με διαφορετικό τρόπο) ως βάση για την απόδειξη του τύπου του Όιλερ.[6][12]

Άλλες αποδείξεις

Επεξεργασία

Εναλλακτικές αποδείξεις του θεωρήματος του Πικ που δεν χρησιμοποιούν τον τύπο του Όιλερ είναι οι εξής.

  • Μπορεί κανείς να αναλύσει αναδρομικά το δεδομένο πολύγωνο σε τρίγωνα, επιτρέποντας σε ορισμένα τρίγωνα της υποδιαίρεσης να έχουν εμβαδόν μεγαλύτερο από 1/2. Τόσο το εμβαδόν όσο και οι αριθμοί των σημείων που χρησιμοποιούνται στον τύπο του Πικ αθροίζονται με τον ίδιο τρόπο που αθροίζονται μεταξύ τους, οπότε η αλήθεια του τύπου του Πικ για τα γενικά πολύγωνα προκύπτει από την αλήθεια του για τα τρίγωνα. Οποιοδήποτε τρίγωνο υποδιαιρεί το οριακό του πλαίσιο στο ίδιο το τρίγωνο και σε πρόσθετα ορθά τρίγωνα, και τα εμβαδά τόσο του οριακού πλαισίου όσο και των ορθών τριγώνων είναι εύκολο να υπολογιστούν. Ο συνδυασμός αυτών των υπολογισμών εμβαδών δίνει τον τύπο του Πικ για τα τρίγωνα, και ο συνδυασμός των τριγώνων δίνει τον τύπο του Πικ για τα αυθαίρετα πολύγωνα.[7][8][13]
  • Εναλλακτικά, αντί να χρησιμοποιείτε τετράγωνα πλέγματος με κέντρο τα σημεία του πλέγματος, είναι δυνατόν να χρησιμοποιείτε τετράγωνα πλέγματος που έχουν τις κορυφές τους στα σημεία του πλέγματος. Αυτά τα τετράγωνα πλέγματος κόβουν το δεδομένο πολύγωνο σε κομμάτια, τα οποία μπορούν να αναδιαταχθούν (αντιστοιχίζοντας ζεύγη τετραγώνων κατά μήκος κάθε ακμής του πολυγώνου) σε ένα πολυόμινο με το ίδιο εμβαδόν.[14]
  • Το θεώρημα του Πικ μπορεί επίσης να αποδειχθεί με βάση την μιγαδική ολοκλήρωση μιας διπλά περιοδικής συνάρτησης που σχετίζεται με τις ελλειπτικές συναρτήσεις Βάιερστρας.[15]
  • Η εφαρμογή του αθροιστικού τύπου Πουασόν στη χαρακτηριστική συνάρτηση του πολυγώνου οδηγεί σε μια άλλη απόδειξη.[16]

Το θεώρημα του Πικ συμπεριλήφθηκε σε μια διαδικτυακή λίστα του 1999 με τα "100 κορυφαία μαθηματικά θεωρήματα", η οποία αργότερα χρησιμοποιήθηκε από τον Φρίκ Γουίντιχ (Freek Wiedijk) ως σύνολο αναφοράς για να ελέγξει την ισχύ διαφορετικών βοηθημάτων απόδειξης. Μέχρι το 2024, το θεώρημα του Πικ ήταν επίσημο και αποδεδειγμένο μόνο σε δύο από τα δέκα βοηθήματα απόδειξης που κατέγραψε ο Βίντινκ.[17]

Γενικεύσεις

Επεξεργασία
 
i = 2, b = 12, h = 1, A = i + b/2 + h − 1 = 8

Οι γενικεύσεις του θεωρήματος του Πικ σε μη απλά πολύγωνα είναι πιο περίπλοκες και απαιτούν περισσότερες πληροφορίες από τον αριθμό των εσωτερικών και των συνοριακών κορυφών.[3][18] Παραδείγματος χάριν, ένα πολύγωνο με h οπές που οριοθετείται από απλά ακέραια πολύγωνα, ασύνδετα μεταξύ τους και από το σύνορο, έχει εμβαδόν [19]

 

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

 
Τετράεδρα Ριβ που δείχνουν ότι το θεώρημα του Πικ δεν ισχύει σε υψηλότερες διαστάσεις

Τα τετράεδρα Ριβ σε τρεις διαστάσεις έχουν τέσσερα ακέραια σημεία ως κορυφές και δεν περιέχουν άλλα ακέραια σημεία, αλλά δεν έχουν όλα τον ίδιο όγκο. Επομένως, δεν υπάρχει ανάλογο του θεωρήματος του Πικ στις τρεις διαστάσεις που να εκφράζει τον όγκο ενός πολυέδρου ως συνάρτηση μόνο του αριθμού των εσωτερικών και των συνοριακών σημείων του.[20] Ωστόσο, οι όγκοι αυτοί μπορούν αντ' αυτού να εκφραστούν χρησιμοποιώντας πολυώνυμα Έρχαρτ.[21][22]

Σχετικά θέματα

Επεξεργασία

Αρκετά άλλα μαθηματικά θέματα συσχετίζουν τα εμβαδά των περιοχών με τον αριθμό των σημείων του πλέγματος. Το θεώρημα του Μπλίχφελντ δηλώνει ότι κάθε σχήμα μπορεί να μεταφραστεί ώστε να περιέχει τουλάχιστον το εμβαδόν του σε σημεία πλέγματος.[23] Το πρόβλημα του κύκλου Γκάους αφορά τον περιορισμό του σφάλματος μεταξύ των εμβαδών και των αριθμών των σημείων πλέγματος σε κύκλους.[24] Το πρόβλημα της καταμέτρησης ακέραιων σημείων σε κυρτά πολύεδρα εμφανίζεται σε διάφορους τομείς των μαθηματικών και της επιστήμης των υπολογιστών.[25] Στους τομείς εφαρμογής, το σημειακό πλανόμετρο είναι μια συσκευή που βασίζεται στη διαφάνεια για την εκτίμηση του εμβαδού ενός σχήματος με την καταμέτρηση των σημείων πλέγματος που περιέχει.[26] Η ακολουθία Φέρεϊ είναι μια διατεταγμένη ακολουθία λογικών αριθμών με περιορισμένους παρονομαστές, η ανάλυση της οποίας περιλαμβάνει το θεώρημα του Πικ.[27]

Μια άλλη απλή μέθοδος για τον υπολογισμό του εμβαδού ενός πολυγώνου είναι ο τύπος του κορδονιού. Δίνει το εμβαδόν οποιουδήποτε απλού πολυγώνου ως άθροισμα όρων που υπολογίζονται από τις συντεταγμένες διαδοχικών ζευγών κορυφών του. Σε αντίθεση με το θεώρημα του Πικ, ο τύπος του κορδονιού δεν απαιτεί οι κορυφές να έχουν ακέραιες συντεταγμένες.[28]

Δείτε επίσης

Επεξεργασία

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

Επεξεργασία

Δημοσιεύσεις

Επεξεργασία

Παραπομπές

Επεξεργασία
  1. ↑ Kiradjiev, Kristian (October 2018). «Connecting the dots with Pick's theorem». Mathematics Today: 212–214. http://www.maths.ox.ac.uk/system/files/attachments/ECMPick.pdf. 
  2. ↑ Pick, Georg (1899). «Geometrisches zur Zahlenlehre». Sitzungsberichte des deutschen naturwissenschaftlich-medicinischen Vereines für Böhmen "Lotos" in Prag. (Neue Folge) 19: 311–319. https://www.biodiversitylibrary.org/item/50207#page/327.  CiteBank:47270
  3. ↑ 3,0 3,1 3,2 Grünbaum, Branko; Shephard, G. C. (February 1993). «Pick's theorem». The American Mathematical Monthly 100 (2): 150–161. doi:10.2307/2323771. MR 1212401. 
  4. ↑ Steinhaus, H. (1950). Mathematical Snapshots. Oxford University Press. σελ. 76. MR 0036005. 
  5. ↑ 5,0 5,1 5,2 5,3 5,4 Aigner, Martin· Ziegler, Günter M. (2018). «Three applications of Euler's formula: Pick's theorem». Proofs from THE BOOK (6th έκδοση). Springer. σελίδες 93–94. doi:10.1007/978-3-662-57265-8. ISBN 978-3-662-57265-8. 
  6. ↑ 6,0 6,1 Wells, David (1991). «Pick's theorem». The Penguin Dictionary of Curious and Interesting Geometry. Penguin Books. σελίδες 183–184. 
  7. ↑ 7,0 7,1 Beck, Matthias· Robins, Sinai (2015). «2.6 Pick's theorem». Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics (2nd έκδοση). Springer. σελίδες 40–43. doi:10.1007/978-1-4939-2969-6. ISBN 978-1-4939-2968-9. MR 3410115. 
  8. ↑ 8,0 8,1 Ball, Keith (2003). «Chapter 2: Counting Dots». Strange Curves, Counting Rabbits, and Other Mathematical Explorations. Princeton University Press, Princeton, NJ. σελίδες 25–40. ISBN 0-691-11321-1. MR 2015451. 
  9. ↑ Martin, George Edward (1982). Transformation geometry. Undergraduate Texts in Mathematics. Springer-Verlag. Theorem 12.1, page 120. doi:10.1007/978-1-4612-5680-9. ISBN 0-387-90636-3. MR 0718119. 
  10. ↑ Ram Murty, M.; Thain, Nithum (2007). «Pick's theorem via Minkowski's theorem». The American Mathematical Monthly 114 (8): 732–736. doi:10.1080/00029890.2007.11920465. MR 2354443. 
  11. ↑ Funkenbusch, W. W. (June–July 1974). «From Euler's formula to Pick's formula using an edge theorem». The American Mathematical Monthly 81 (6): 647–648. doi:10.2307/2319224. MR 1537447. 
  12. ↑ DeTemple, Duane; Robertson, Jack M. (March 1974). «The equivalence of Euler's and Pick's theorems». The Mathematics Teacher 67 (3): 222–226. doi:10.5951/mt.67.3.0222. MR 0444503. 
  13. ↑ Varberg, Dale E. (1985). «Pick's theorem revisited». The American Mathematical Monthly 92 (8): 584–587. doi:10.2307/2323172. MR 812105. 
  14. ↑ Trainin, J. (November 2007). «An elementary proof of Pick's theorem». The Mathematical Gazette 91 (522): 536–540. doi:10.1017/S0025557200182270. 
  15. ↑ Diaz, Ricardo; Robins, Sinai (1995). «Pick's formula via the Weierstrass  -function». The American Mathematical Monthly 102 (5): 431–437. doi:10.2307/2975035. MR 1327788. 
  16. ↑ Brandolini, L.; Colzani, L.; Robins, S.; Travaglini, G. (2021). «Pick's theorem and convergence of multiple Fourier series». The American Mathematical Monthly 128 (1): 41–49. doi:10.1080/00029890.2021.1839241. MR 4200451. 
  17. ↑ Wiedijk, Freek. «Formalizing 100 Theorems». Radboud University Institute for Computing and Information Sciences. Ανακτήθηκε στις 20 Φεβρουαρίου 2024. 
  18. ↑ 18,0 18,1 Rosenholtz, Ira (1979). «Calculating surface areas from a blueprint». Mathematics Magazine 52 (4): 252–256. doi:10.1080/0025570X.1979.11976797. MR 1572312. 
  19. ↑ Sankar, P. V.; Krishnamurthy, E. V. (August 1978). «On the compactness of subsets of digital pictures». Computer Graphics and Image Processing 8 (1): 136–143. doi:10.1016/s0146-664x(78)80021-5. 
  20. ↑ Reeve, J. E. (1957). «On the volume of lattice polyhedra». Proceedings of the London Mathematical Society. Third Series 7: 378–395. doi:10.1112/plms/s3-7.1.378. MR 0095452. 
  21. ↑ Beck & Robins (2015), 3.6 "From the discrete to the continuous volume of a polytope", pp. 76–77
  22. ↑ Diaz, Ricardo; Robins, Sinai (1997). «The Ehrhart polynomial of a lattice polytope». Annals of Mathematics. Second Series 145 (3): 503–518. doi:10.2307/2951842. MR 1454701. 
  23. ↑ Olds, C. D.· Lax, Anneli· Davidoff, Giuliana P. (2000). «Chapter 9: A new principle in the geometry of numbers». The Geometry of Numbers. Anneli Lax New Mathematical Library. 41. Mathematical Association of America, Washington, DC. σελίδες 119–127. ISBN 0-88385-643-3. MR 1817689. 
  24. ↑ Guy, Richard K. (2004). «F1: Gauß's lattice point problem». Unsolved Problems in Number Theory. Problem Books in Mathematics. 1 (3rd έκδοση). New York: Springer-Verlag. σελίδες 365–367. doi:10.1007/978-0-387-26677-0. ISBN 0-387-20860-7. MR 2076335. 
  25. ↑ Barvinok, Alexander (2008). Integer Points In Polyhedra. Zurich Lectures in Advanced Mathematics. Zürich: European Mathematical Society. doi:10.4171/052. ISBN 978-3-03719-052-4. MR 2455889. 
  26. ↑ Bellhouse, D. R. (1981). «Area estimation by point-counting techniques». Biometrics 37 (2): 303–312. doi:10.2307/2530419. MR 673040. https://archive.org/details/sim_biometrics_1981-06_37_2/page/303. 
  27. ↑ Bruckheimer, Maxim; Arcavi, Abraham (1995). «Farey series and Pick's area theorem». The Mathematical Intelligencer 17 (4): 64–67. doi:10.1007/BF03024792. MR 1365013. 
  28. ↑ Braden, Bart (1986). «The surveyor's area formula». The College Mathematics Journal 17 (4): 326–337. doi:10.2307/2686282. http://www.maa.org/sites/default/files/pdf/pubs/Calc_Articles/ma063.pdf. 


Ανακτήθηκε από "https://el.wikipedia.org/w/index.php?title=Θεώρημα_του_Πικ&oldid=10648065"