Εύρεση διψήφιου mod

rush7 · #1

Να βρεθούν οι διψήφιοι θετικοί ακέραιοι a για τους οποίους ισχύει
$a\equiv3 (mod4)$
και
$a\equiv4 (mod6)$

Τί κάνω λάθος; Γνωρίζω έχοντας δει τη λύση (με διαφορετικό τρόπο, δημιουργώντας διοφαντική εξίσωση) οτι δεν υπάρχουν τέτοια α. Στα παρακάτω κάνω λάθος στη χρήση κάποιας ιδιότητας ;

$a\equiv3 (mod4)\Rightarrow 4|a-3\Rightarrow12|3a-9$
$a\equiv4 (mod6)\Rightarrow 6|a-4\Rightarrow12|2a-8$

Άρα:
$12|3a-9-(2a-8)\Rightarrow 12|a-1\Rightarrow a-1=12k\Leftrightarrow a=12k+1, k\in\mathbb{N}$

Βγάζω λοιπόν λύσεις της παραπάνω μορφής. Αλλά εάν τις επαληθεύσω παρατηρώ ότι δεν ισχύουν.Για να βγει αδύνατη με αυτόν τον τρόπο πρεπει να τεστάρω μία προς μία τις τιμές του k ώστε ο a να ναι διψήφιος και να διαπιστώσω πως δεν υπάρχει τέτοιο k ;

dement · #2

Παρατήρησε ότι χρησιμοποιείς συνεπαγωγές και όχι ισοδυναμίες. Το τελικό σου αποτέλεσμα λέει ότι το

πρέπει να είναι περιττό, που διαφωνεί με το δεύτερο δεδομένο.

stranger · #3

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

EmperorIoannes · #4

Απόπειρα λύσης
Γνωρίζουμε ότι η έκφραση $a\equiv 3mod4$ ισοδυναμεί με την έκφραση $a=3+4k, k\epsilon \mathbb{Z}$ .
Ομοίως για την δεύτερη γραμμική ισοδυναμία καταλήγουμε στο ότι $a=4+6k, k\epsilon \mathbb{Z}$ .

Εφόσον θέλουμε να πληρούνται και οι δύο συνθήκες, μπορούμε να πάρουμε τις ισότητες ως προς

και να καταλήξουμε:
3+4k=4+6k

Λύνοντας την παραπάνω καταλήγουμε στο ότι $k=\frac{-1}{2}$ , που είναι άτοπο διότι απαιτήσαμε $k\epsilon \mathbb{Z}$ .

Συνεπώς δεν υπάρχουν λύση για το σύστημα γραμμικής ισοδυναμίας που έδωσες.

Αυτό που έκανες εσύ είναι και πάλι σωστό, αλλά δεν γνωρίζω πώς μπορείς να αποδείξεις ότι για κάθε $k\varepsilon \mathbb{Z}$ ότι η σχέση που βρήκες δεν δίνει αποδεκτές λύσεις. Αν κάποιος το ξέρει, με χαρά θα έβλεπα την δική του γνώμη.

#5

EmperorIoannes έγραψε: ↑
Δευ Σεπ 02, 2019 3:27 pm
Απόπειρα λύσης
Γνωρίζουμε ότι η έκφραση $a\equiv 3mod4$ ισοδυναμεί με την έκφραση $a=3+4k, k\epsilon \mathbb{Z}$ .
Ομοίως για την δεύτερη γραμμική ισοδυναμία καταλήγουμε στο ότι $a=4+6k, k\epsilon \mathbb{Z}$ .

Εφόσον θέλουμε να πληρούνται και οι δύο συνθήκες, μπορούμε να πάρουμε τις ισότητες ως προς και να καταλήξουμε:

Λύνοντας την παραπάνω καταλήγουμε στο ότι $k=\frac{-1}{2}$ , που είναι άτοπο διότι απαιτήσαμε $k\epsilon \mathbb{Z}$ .

Συνεπώς δεν υπάρχουν λύση για το σύστημα γραμμικής ισοδυναμίας που έδωσες.

Αυτό που έκανες εσύ είναι και πάλι σωστό, αλλά δεν γνωρίζω πώς μπορείς να αποδείξεις ότι για κάθε $k\varepsilon \mathbb{Z}$ ότι η σχέση που βρήκες δεν δίνει αποδεκτές λύσεις. Αν κάποιος το ξέρει, με χαρά θα έβλεπα την δική του γνώμη.

Δεν είναι σωστά τα πιο πάνω. Πρέπει να χρησιμοποιήσεις διαφορετικές μεταβλητές. Π.χ. $3+4k = 4+6\ell$ το οποίο δίνει $4k - 6\ell = 1$ και $2k-3\ell = \frac{1}{2}$ , άτοπο.

Βέβαια όπως έχει ήδη λεχθεί δεν χρειάζονται αυτά. Η μία συνθήκη λέει ότι ο

είναι άρτιος και η άλλη ότι ο

είναι περιττός.

EmperorIoannes · #6

Demetres έγραψε: ↑
Δευ Σεπ 02, 2019 5:57 pm

EmperorIoannes έγραψε: ↑
Δευ Σεπ 02, 2019 3:27 pm
Απόπειρα λύσης
Γνωρίζουμε ότι η έκφραση $a\equiv 3mod4$ ισοδυναμεί με την έκφραση $a=3+4k, k\epsilon \mathbb{Z}$ .
Ομοίως για την δεύτερη γραμμική ισοδυναμία καταλήγουμε στο ότι $a=4+6k, k\epsilon \mathbb{Z}$ .

Εφόσον θέλουμε να πληρούνται και οι δύο συνθήκες, μπορούμε να πάρουμε τις ισότητες ως προς και να καταλήξουμε:

Λύνοντας την παραπάνω καταλήγουμε στο ότι $k=\frac{-1}{2}$ , που είναι άτοπο διότι απαιτήσαμε $k\epsilon \mathbb{Z}$ .

Συνεπώς δεν υπάρχουν λύση για το σύστημα γραμμικής ισοδυναμίας που έδωσες.

Αυτό που έκανες εσύ είναι και πάλι σωστό, αλλά δεν γνωρίζω πώς μπορείς να αποδείξεις ότι για κάθε $k\varepsilon \mathbb{Z}$ ότι η σχέση που βρήκες δεν δίνει αποδεκτές λύσεις. Αν κάποιος το ξέρει, με χαρά θα έβλεπα την δική του γνώμη.

Δεν είναι σωστά τα πιο πάνω. Πρέπει να χρησιμοποιήσεις διαφορετικές μεταβλητές. Π.χ. $3+4k = 4+6\ell$ το οποίο δίνει $4k - 6\ell = 1$ και $2k-3\ell = \frac{1}{2}$ , άτοπο.

Βέβαια όπως έχει ήδη λεχθεί δεν χρειάζονται αυτά. Η μία συνθήκη λέει ότι ο είναι άρτιος και η άλλη ότι ο είναι περιττός.

Έχετε πολύ δίκιο κύριε Δημήτρη. Σας ευχαριστώ πολύ για την διόρθωση.

Εύρεση διψήφιου mod

Εύρεση διψήφιου mod

Re: Εύρεση διψήφιου mod

Re: Εύρεση διψήφιου mod

Re: Εύρεση διψήφιου mod

Re: Εύρεση διψήφιου mod

Re: Εύρεση διψήφιου mod

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