Κυκλική δυναστεία

Συντονιστές: emouroukos, achilleas, silouan

Άβαταρ μέλους
Al.Koutsouridis
Δημοσιεύσεις: 1954
Εγγραφή: Πέμ Ιαν 30, 2014 11:58 pm
Τοποθεσία: Αθήνα

Κυκλική δυναστεία

#1

Μη αναγνωσμένη δημοσίευση από Al.Koutsouridis » Κυρ Ιαν 26, 2020 1:33 pm

Σε ένα κύκλο επιλέχθηκαν 4 σημεία και για το καθένα από αυτά υπολογίστηκε το γινόμενο των αποστάσεων από τα υπόλοιπα. Μπορεί άραγε να προέκυψαν οι αριθμοί από το 1 έως το 4 (με κάποια σειρά);
τελευταία επεξεργασία από Al.Koutsouridis σε Δευ Φεβ 17, 2020 11:18 am, έχει επεξεργασθεί 1 φορά συνολικά.



Λέξεις Κλειδιά:
Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 922
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: Κυκλική δυναστεία

#2

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Τρί Ιαν 28, 2020 4:26 pm

Al.Koutsouridis έγραψε:
Κυρ Ιαν 26, 2020 1:33 pm
Σε ένα κύκλο επιλέχθηκαν 4 σημεία και για το καθένα από αυτά υπολογίστηκε το γινόμενο των αποστάσεων από τα υπόλοιπα. Μπορεί άραγε να προέκυψαν οι αριθμοί από το 1 έως το 4 (με κάποια σειρά);
Μια προσπάθεια για να δείξω ότι δεν γίνεται:

Οι πιθανές διαφορετικές περιπτώσεις διάταξης των σημείων ως προς τα γινόμενα από τα άλλα σημεία είναι  3.
Έστω A,B,C,D τα σημεία και με x συμβολίζω το γινόμενο των αποστάσεων του X από τα άλλα τρία σημεία.
Υπάρχουν 3 επιλογές για να βάλουμε τα 1,2,3,4 (π.χ αν η σειρά είναι (a,b,c,d) τότε και η (a,d,c,b) οδηγεί στα ίδια αποτελέσματα ( ίσως δεν έχω εκφράσει απολύτως κατανοητά το σκεπτικό μου....).
Θα πάρω την περίπτωση τετραπλεύρου ABCD με a=1,b=2,c=3,d=4 και θα δείξω ότι δεν γίνεται...εντελώς όμοια βγαίνουν και οι άλλες περιπτώσεις απλά με άλλα νούμερα:

Έστω O το σημείο τομής των διαγωνίων του ABCD.
Από γνωστό λήμμα είναι \dfrac{OA}{OC}=\dfrac{AD\cdot AB}{CD\cdot CB}=\dfrac{AD\cdot AB\cdot AC}{CB\cdot CD\cdot CA}=\dfrac{a}{c}=\dfrac{1}{3}\Leftrightarrow OC=3OA
Θέτω AO=x,OC=3x.Όμοια αν OB=y προκύπτει OD=2y.
Είναι OB\cdot OD=OA\cdot OC\Leftrightarrow 3x^2=2y^2\Leftrightarrow \dfrac{y}{x}=\sqrt{\dfrac{3}{2}}
Άρα \dfrac{BD}{AC}=\dfrac{3y}{4x}=\dfrac{3}{4}\sqrt{\dfrac{3}{2}}\,\,\,\, (*)
Όμως από το 2ο θεώρημα Πτολεμαίου είναι \dfrac{BD}{AC}=\dfrac{DA\cdot DC+BA\cdot BC}{AD\cdot AB+CB\cdot CD}=\dfrac{\dfrac{4}{BD}+\dfrac{2}{BD}}{\dfrac{1}{AC}+\dfrac{3}{AC}}=\dfrac{3AC}{2BD}\Leftrightarrow 2BD^2=3AC^2\Leftrightarrow \dfrac{BD}{AC}=\sqrt{\dfrac{3}{2}}\,\,\,{\color{DarkBlue} (**)}

Οι σχέσεις (*),(**) δίνουν άτοπο.


Άβαταρ μέλους
Al.Koutsouridis
Δημοσιεύσεις: 1954
Εγγραφή: Πέμ Ιαν 30, 2014 11:58 pm
Τοποθεσία: Αθήνα

Re: Κυκλική δυναστεία

#3

Μη αναγνωσμένη δημοσίευση από Al.Koutsouridis » Τρί Ιαν 28, 2020 11:54 pm

ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ έγραψε:
Τρί Ιαν 28, 2020 4:26 pm
Al.Koutsouridis έγραψε:
Κυρ Ιαν 26, 2020 1:33 pm
Σε ένα κύκλο επιλέχθηκαν 4 σημεία και για το καθένα από αυτά υπολογίστηκε το γινόμενο των αποστάσεων από τα υπόλοιπα. Μπορεί άραγε να προέκυψαν οι αριθμοί από το 1 έως το 4 (με κάποια σειρά);
Μια προσπάθεια για να δείξω ότι δεν γίνεται:

Οι πιθανές διαφορετικές περιπτώσεις διάταξης των σημείων ως προς τα γινόμενα από τα άλλα σημεία είναι  3.
Έστω A,B,C,D τα σημεία και με x συμβολίζω το γινόμενο των αποστάσεων του X από τα άλλα τρία σημεία.
Υπάρχουν 3 επιλογές για να βάλουμε τα 1,2,3,4 (π.χ αν η σειρά είναι (a,b,c,d) τότε και η (a,d,c,b) οδηγεί στα ίδια αποτελέσματα ( ίσως δεν έχω εκφράσει απολύτως κατανοητά το σκεπτικό μου....).
Θα πάρω την περίπτωση τετραπλεύρου ABCD με a=1,b=2,c=3,d=4 και θα δείξω ότι δεν γίνεται...εντελώς όμοια βγαίνουν και οι άλλες περιπτώσεις απλά με άλλα νούμερα:

Έστω O το σημείο τομής των διαγωνίων του ABCD.
Από γνωστό λήμμα είναι \dfrac{OA}{OC}=\dfrac{AD\cdot AB}{CD\cdot CB}=\dfrac{AD\cdot AB\cdot AC}{CB\cdot CD\cdot CA}=\dfrac{a}{c}=\dfrac{1}{3}\Leftrightarrow OC=3OA
Θέτω AO=x,OC=3x.Όμοια αν OB=y προκύπτει OD=2y.
Είναι OB\cdot OD=OA\cdot OC\Leftrightarrow 3x^2=2y^2\Leftrightarrow \dfrac{y}{x}=\sqrt{\dfrac{3}{2}}
Άρα \dfrac{BD}{AC}=\dfrac{3y}{4x}=\dfrac{3}{4}\sqrt{\dfrac{3}{2}}\,\,\,\, (*)
Όμως από το 2ο θεώρημα Πτολεμαίου είναι \dfrac{BD}{AC}=\dfrac{DA\cdot DC+BA\cdot BC}{AD\cdot AB+CB\cdot CD}=\dfrac{\dfrac{4}{BD}+\dfrac{2}{BD}}{\dfrac{1}{AC}+\dfrac{3}{AC}}=\dfrac{3AC}{2BD}\Leftrightarrow 2BD^2=3AC^2\Leftrightarrow \dfrac{BD}{AC}=\sqrt{\dfrac{3}{2}}\,\,\,{\color{DarkBlue} (**)}

Οι σχέσεις (*),(**) δίνουν άτοπο.

:coolspeak: αυτή είναι η ιδέα.

Ας δούμε τι "κρύβεται" πίσω από το πρόβλημα. Από το δεύτερο θεώρημα του Πτολεμαίου, όπως πολύ ωραία το "εκμεταλλεύτηκε" ο Πρόδρομος, προκύπτει και η παρακάτω μορφή του.

\dfrac{BD}{AC}=\dfrac{DA\cdot DC+BA\cdot BC}{AD\cdot AB+CB\cdot CD} \Rightarrow BD \cdot AD \cdot AB +BD \cdot CB \cdot CD = AC \cdot DA \cdot DC + AC \cdot BA \cdot BC

διαιρώντας κατά μέλη με το γινόμενο BD \cdot AC \cdot DA \cdot DC \cdot BA \cdot BC  έχουμε

\dfrac{1}{CA \cdot CB \cdot CD} +\dfrac{1}{AB \cdot AC \cdot AD} = \dfrac{1}{BA \cdot BD \cdot BC} +\dfrac{1}{DA \cdot DB \cdot DC}

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

Το αποτέλεσμα αυτό το γενίκευσε (αντί για 4) για 2n σημεία η Jane McDougall.

Θεώρημα (McDougall): Έστω n θετικός ακέραιος και P_{i}, για 1 \leq i \leq 2n, κυκλικά διατεταγμένα σημεία σε κύκλο. Αν

\displaystyle{ R_{i} = \prod_{\underset{i \neq j}{1 \leq j \leq 2n}} P_{i}P_{j}},

τότε

\displaystyle{  \sum_{i=1}^{n} \dfrac{1}{R_{2i}} = \sum_{i=1}^{n}  \dfrac{1}{R_{2i-1} }.



Η απόδειξη της McDougall είναι μη στοιχειώδης (Με μιγαδική ανάλυση, αρμονικές απεικoνίσεις...). Υπάρχει όμως και στοιχειώδης απόδειξη. Στην ουσία οι διοργανωτές με το 8ο θέμα της ολυμπιάδας εδώ, προσπάθησαν να εκμαιεύσουν αυτή την απόδειξη ή ίσως και κάποια άλλη.


Απάντηση

Επιστροφή σε “Άλγεβρα - Επίπεδο Αρχιμήδη (Seniors)”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης