⚖️ Amenable Αριθμοί — Όταν Πλήθος, Άθροισμα και Γινόμενο Συμπίπτουν

Μία λέξη που λείπει αλλάζει τα πάντα

⚖️ Οι Amenable Αριθμοί

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

🧩 Ο ορισμός 

Ένας αριθμός είναι amenable όταν μπορεί να προκύψει ως άθροισμα και ως γινόμενο των ίδιων ακεραίων:

\[ \sum_{i=1}^{k}m_i=\prod_{i=1}^{k}m_i=n \]

Έτσι:

2+2=2\times2=4
1+1+2+4=1\times1\times2\times4=8

Τα παραδείγματα είναι αριθμητικά σωστά. Ωστόσο, από αυτόν τον ορισμό λείπει η συνθήκη που κάνει το αρχικό πρόβλημα πραγματικά ενδιαφέρον.

⚠️ Γιατί ο ορισμός αυτός καταρρέει;

Αν επιτρέπεται οποιοδήποτε πλήθος \(k\) ακεραίων —και επιτρέπονται αρνητικοί αριθμοί— τότε κάθε ακέραιος \(n\) ικανοποιεί τη συνθήκη:

\[ 1+(-1)+1+(-1)+n=n \] \[ 1\cdot(-1)\cdot1\cdot(-1)\cdot n=n \]

Άρα η ιδιότητα δεν ξεχωρίζει καμία ειδική κατηγορία αριθμών. Ακόμη και αν επιτρέπαμε μόνο θετικούς ακεραίους, κάθε σύνθετος αριθμός θα μπορούσε να κατασκευαστεί από τους πρώτους παράγοντές του και αρκετές μονάδες.

✅ Ο πλήρης ορισμός του Tamvakis

Ένας θετικός ακέραιος \(n\) ονομάζεται amenable όταν υπάρχουν ακριβώς \(n\) ακέραιοι \(a_1,a_2,\ldots,a_n\) —επιτρέπονται και αρνητικοί— ώστε:

\[ \boxed{\displaystyle n=\sum_{i=1}^{n}a_i=\prod_{i=1}^{n}a_i} \]

Τώρα πρέπει να συμπίπτουν τρία πράγματα:

1. το πλήθος των ακεραίων,
2. το άθροισμά τους,
3. το γινόμενό τους.

Με αυτόν τον αυθεντικό ορισμό, το 4 του screenshot δεν είναι amenable, επειδή η αναπαράσταση \(2+2=2\times2\) χρησιμοποιεί δύο και όχι τέσσερις ακεραίους.

🔢 Τα πρώτα παραδείγματα

Το 5 είναι amenable, επειδή χρησιμοποιούμε ακριβώς πέντε ακεραίους:

\[ 5=1+(-1)+1+(-1)+5 =1\cdot(-1)\cdot1\cdot(-1)\cdot5 \]

Το 8 είναι επίσης amenable, με ακριβώς οκτώ ακεραίους:

\[ 8=1+(-1)+1+(-1)+1+1+2+4 \] \[ 8=1\cdot(-1)\cdot1\cdot(-1)\cdot1\cdot1\cdot2\cdot4 \]

Οι πρώτοι amenable αριθμοί είναι:

1, 5, 8, 9, 12, 13, 16, 17, 20, 21, 24, 25, …

🏆 Ποιοι είναι όλοι οι amenable αριθμοί;

Ο O. P. Lossers απέδειξε ότι ένας θετικός ακέραιος είναι amenable αν και μόνο αν:

\(n\equiv0\) ή \(1\pmod4\), με μοναδική εξαίρεση το \(n=4\).

Δηλαδή:

• όλοι οι αριθμοί \(4k+1\) είναι amenable,
• όλα τα πολλαπλάσια του 4 από το 8 και μετά είναι amenable,
• κανένας αριθμός \(4k+2\) ή \(4k+3\) δεν είναι amenable,
• το 4 είναι η μοναδική εξαίρεση στις δύο επιτρεπτές κλάσεις.

🏗️ Πώς κατασκευάζονται;

Για \(n=4k+1\): παίρνουμε τον ίδιο τον \(n\), μαζί με \(2k\) μονάδες και \(2k\) αρνητικές μονάδες. Το πλήθος είναι \(4k+1=n\), τα \(+1\) και \(-1\) αλληλοαναιρούνται στο άθροισμα και το γινόμενό τους είναι 1.

\[ \{n,\underbrace{1,\ldots,1}_{2k},\underbrace{-1,\ldots,-1}_{2k}\} \]

Για \(n=8k\): χρησιμοποιούμε τους \(4k,2\), μαζί με \(6k-2\) μονάδες και \(2k\) αρνητικές μονάδες.

Για \(n=8k+4\), με \(k\ge1\): χρησιμοποιούμε τους \(4k+2,-2\), μαζί με \(6k+3\) μονάδες και \(2k-1\) αρνητικές μονάδες.

Οι τρεις κατασκευές καλύπτουν όλους τους αριθμούς που είναι 0 ή 1 modulo 4, εκτός από το 4.

🔍 Γιατί αποκλείονται οι υπόλοιποι;

Αν το \(n\) είναι περιττό: αφού το γινόμενο είναι περιττό, όλοι οι \(a_i\) είναι περιττοί. Από τη σχέση \(\sum(a_i-1)=0\) προκύπτει ότι το πλήθος των όρων που είναι \(3\pmod4\) είναι άρτιο. Άρα το γινόμενο —και επομένως το \(n\)— είναι \(1\pmod4\).

Αν το \(n\) είναι άρτιο αλλά όχι πολλαπλάσιο του 4: το γινόμενο έχει ακριβώς έναν άρτιο παράγοντα. Επειδή υπάρχουν συνολικά άρτιου πλήθους όροι, οι υπόλοιποι περιττοί όροι είναι περιττού πλήθους, οπότε το άθροισμα θα ήταν περιττό — αντίφαση.

Για το 4: οι μοναδικές δυνατές απόλυτες τιμές τεσσάρων μη μηδενικών παραγόντων με γινόμενο 4 είναι \(4,1,1,1\) ή \(2,2,1,1\). Καμία επιλογή προσήμων με θετικό γινόμενο δεν δίνει άθροισμα 4.

📚 Η προέλευση του προβλήματος

Η έννοια προτάθηκε από τον Harry Tamvakis ως Πρόβλημα 10454 στο American Mathematical Monthly το 1995. Η λύση του O. P. Lossers, με τον πλήρη χαρακτηρισμό modulo 4, δημοσιεύθηκε στο ίδιο περιοδικό το 1998.

Δεν πρέπει να συγχέουμε τους amenable numbers με τους φιλικούς αριθμούς (amicable numbers), οι οποίοι είναι ζεύγη αριθμών που συνδέονται μέσω των αθροισμάτων των γνήσιων διαιρετών τους.

Στα μαθηματικά, μια φαινομενικά μικρή λεπτομέρεια στον ορισμό μπορεί να χωρίζει ένα τετριμμένο γεγονός από ένα κομψό θεώρημα.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →