Τα προβλήματα διαιρετότητας εμφανίζονται πολύ συχνά στους μαθηματικούς διαγωνισμούς. Παρότι οι εκφωνήσεις τους μπορεί να φαίνονται διαφορετικές, πολλές φορές λύνονται με την ίδια βασική ιδέα: κατάλληλη διαίρεση και προσεκτική μελέτη του υπολοίπου.
Για ακέραιους \(a,b\), με \(a\ne0\), γράφουμε
όταν ο \(a\) διαιρεί τον \(b\), δηλαδή όταν το
είναι ακέραιος.
Γενικότερα, διαιρώντας το \(b\) με το \(a\), γράφουμε
όπου \(q\) είναι το πηλίκο και \(r\) το υπόλοιπο. Αν \(r=0\), τότε και μόνο τότε
1️⃣ Παράδειγμα — AIME 1999
Να βρεθεί ο μεγαλύτερος θετικός ακέραιος \(n\) τέτοιος ώστε
να είναι ακέραιος.
✏️ Λύση
Εξετάζουμε αρχικά τον αριθμητή
Διαιρώντας με \(2n-1\), παίρνουμε
Πολλαπλασιάζοντας επί \(8\), έχουμε
Αν η αρχική παράσταση είναι ακέραιος, τότε ειδικότερα ο \(2n-1\) διαιρεί τον αριθμητή. Επομένως
Οι θετικοί διαιρέτες του \(27\) είναι
Άρα
οπότε
Από τις επιτρεπτές τιμές, η μεγαλύτερη είναι
Πράγματι, για \(n=14\) η αρχική παράσταση είναι ακέραιος, οπότε αυτή είναι η ζητούμενη μεγαλύτερη τιμή.
2️⃣ Παράδειγμα — IMO 1998
Να βρεθούν όλα τα ζεύγη θετικών ακεραίων \((a,b)\) για τα οποία
✏️ Λύση
Η βασική ιδέα είναι να θεωρήσουμε το \(a\) ως μεταβλητή και το \(b\) ως σταθερά και να κάνουμε διαίρεση των αντίστοιχων πολυωνύμων.
Έχουμε
Πολλαπλασιάζοντας με \(b(ab^2+b+7)\), παίρνουμε
Επομένως, αν
τότε
Άρα υπάρχει ακέραιος \(k\) τέτοιος ώστε
Περίπτωση 1: \(7a-b^2=0\)
Τότε
Άρα \(7\mid b\). Θέτουμε
Τότε
Επομένως παίρνουμε την άπειρη οικογένεια λύσεων
Περίπτωση 2: \(7a-b^2<0\)
Τότε
Όμως
Αυτό είναι αδύνατο, αφού
Άρα η περίπτωση αυτή δεν δίνει λύσεις.
Περίπτωση 3: \(7a-b^2>0\)
Τώρα
Εφόσον ο θετικός αριθμός \(ab^2+b+7\) διαιρεί τον επίσης θετικό \(7a-b^2\), πρέπει
Αν \(b\ge3\), τότε
άτοπο.
Άρα απομένουν μόνο
🔹 Για \(b=1\)
Η σχέση \((*)\) γίνεται
Επειδή \(7a-1<7(a+8)\), έχουμε
Από
παίρνουμε
\[ (7-k)a=8k+1. \]Ο μόνος θετικός ακέραιος \(a\) που προκύπτει είναι
Άρα έχουμε τη λύση
🔹 Για \(b=2\)
Η σχέση \((*)\) γίνεται
Εφόσον
αναγκαστικά
Άρα
οπότε
που δεν δίνει ακέραιο \(a\).
Συνεπώς δεν υπάρχει λύση για \(b=2\).
Όλα τα ζεύγη θετικών ακεραίων που ικανοποιούν
είναι \[ \boxed{(a,b)=(7k^2,7k)\quad(k\ge1)} \] και \[ \boxed{(a,b)=(11,1)}. \]
Όταν μια περίπλοκη αλγεβρική παράσταση πρέπει να διαιρεί μια άλλη, προσπαθούμε να κατασκευάσουμε μέσω διαίρεσης έναν πολύ απλούστερο αριθμό που πρέπει επίσης να διαιρείται. Έτσι ένα δύσκολο πρόβλημα μετατρέπεται σε έναν ισχυρό αριθμητικό περιορισμό.

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου