F 5 = (F n, F n+1 ) = 1.

Σχετικά έγγραφα
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις Επαναληψης

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις Επαναληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 9

A N A B P Y T A ΑΣΚΗΣΕΙΣ ΠΟΛΥΩΝΥΜΩΝ. 1 (α + β + γ) [(α-β) 2 +(α-γ) 2 +(β-γ) 2 ] και τις υποθέσεις

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 5

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7

Αριθμοθεωρητικοί Αλγόριθμοι

9 Πολυώνυμα Διαίρεση πολυωνύμων

7. Αν υψώσουμε και τα δύο μέλη μιας εξίσωσης στον κύβο (και γενικά σε οποιαδήποτε περιττή δύναμη), τότε προκύπτει

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 7

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων. Κρυπτογραφία. Θεωρία αριθμών Αλγεβρικές δομές. Χρήστος Ξενάκης

ΑΣΚΗΣΕΙΣ ΣΤΙΣ ΣΥΝΑΡΤΗΣΕΙΣ. Να εξετάσετε αν είναι ίσες οι συναρτήσεις f, g όταν: x x 2 x x. x x g x. ln x ln x 1 και

ΠΟΛΥΩΝΥΜΑ. Κεφάλαιο 2ο: Ερωτήσεις του τύπου Σωστό-Λάθος

ΠΟΛΥΩΝΥΜΑ. Κεφάλαιο 2ο: Ερωτήσεις του τύπου Σωστό-Λάθος

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 5. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

* * * ( ) mod p = (a p 1. 2 ) mod p.

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

Στοιχεία Θεωρίας Αριθμών & Εφαρμογές στην Κρυπτογραφία

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 5

Άλγεβρα Α Λυκείου Κεφάλαιο 2ο. οι πράξεις και οι ιδιότητές τους

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

2.3 Πολυωνυμικές Εξισώσεις

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 6

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

ΠΟΛΥΩΝΥΜΑ. Λυμένα Παραδείγματα

Θεώρημα Βolzano. Κατηγορία 1 η Δίνεται η συνάρτηση:

ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ

να είναι παραγωγίσιμη Να ισχύει ότι f Αν μια από τις τρεις παραπάνω συνθήκες δεν ισχύουν τότε δεν ισχύει και το θεώρημα Rolle.

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση:

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των

Α Δ Ι. Παρασκευή 15 Νοεμβρίου Ασκηση 1. Να ευρεθεί η τάξη τού στοιχείου a τής ομάδας (G, ), όπου. (4) a = ( 1 + i 3)/2, (G, ) = (C, ),

Μεταθέσεις και πίνακες μεταθέσεων

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 6

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 8: ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ [Ενότητα Μονοτονία Συνάρτησης του κεφ.2.6 Μέρος Β του σχολικού βιβλίου].

0x2 = 2. = = δηλαδή η f δεν. = 2. Άρα η συνάρτηση f δεν είναι συνεχής στο [0,3]. Συνεπώς δεν. x 2. lim f (x) = lim (2x 1) = 3 και x 2 x 2

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

ΚΕΦΑΛΑΙΟ 2 Ο ΠΟΛΥΩΝΥΜΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ - ΑΣΚΗΣΕΙΣ

35 Χρήσιμες Προτάσεις με αποδείξεις Γ Λυκείου Μαθηματικά Κατεύθυνσης

ΜΟΝΟΤΟΝΙΑ ΣΥΝΑΡΤΗΣΗΣ

f(t) = (1 t)a + tb. f(n) =

Θεωρια Αριθµων Προβληµατα

Μαθηματικά Προσανατολισμού Γ Λυκείου Κανιστράς Δημήτριος. Συναρτήσεις Όρια Συνέχεια Μια πρώτη επανάληψη Απαντήσεις των ασκήσεων

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ


1. Να σημειώσετε το σωστό (Σ) ή το λάθος (Λ) στους παρακάτω ισχυρισμούς :

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r.

LÔseic Ask sewn sta Jemèlia twn Majhmatik n I

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι

ΑΡΙΘΜΗΤΙΚΗ ΠΡΟΟΔΟΣ. Σύμφωνα με τα παραπάνω, για μια αριθμητική πρόοδο που έχει πρώτο όρο τον ...

********* Β ομάδα Κυρτότητα Σημεία καμπής*********

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

ΚΕΦΑΛΑΙΟ 5 ΑΚΟΛΟΥΘΙΕΣ ΑΡΙΘΜΗΤΙΚΗ ΓΕΩΜΕΤΡΙΚΗ ΠΡΟΟΔΟΣ

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018

1 Η εναλλάσσουσα ομάδα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β. 2x 1. είναι Τότε έχουμε: » τον χρησιμοποιούμε κυρίως σε θεωρητικές ασκήσεις.

Πολυώνυµα - Πολυωνυµικές εξισώσεις

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!).

ΜΑΘΗΜΑ ΜΟΝΟΤΟΝΕΣ ΣΥΝΑΡΤΗΣΕΙΣ. Αντίστροφη συνάρτηση. ΑΝΤΙΣΤΡΟΦΗ ΣΥΝΑΡΤΗΣΗ Συνάρτηση 1-1. Θεωρία Σχόλια Μέθοδοι Ασκήσεις

( ) Άρα το 1 είναι ρίζα του P, οπότε το x 1 είναι παράγοντάς του. Το πηλίκο της διαίρεσης ( x 3x + 5x 3) : ( x 1) είναι:

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

Κρυπτογραφία. Κωνσταντίνου Ελισάβετ

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΓΕΝΙΚΑ ΘΕΜΑ Α. , έχει κατακόρυφη ασύμπτωτη την x 0.

(Γραμμικές) Αναδρομικές Σχέσεις

2.3 ΜΕΤΡΟ ΜΙΓΑΔΙΚΟΥ ΑΡΙΘΜΟΥ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 6

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

ΠΟΛΥΩΝΥΜΑ ΠΟΛΥΩΝΥΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

A, και εξετάστε αν είναι διαγωνίσιμη.

Εφαρμοσμένη Κρυπτογραφία Ι

OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ


Απειροστικός Λογισμός Ι Ασκήσεις

Συνθήκες Θ.Μ.Τ. Τρόπος αντιμετώπισης: 1. Για να ισχύει το Θ.Μ.Τ. για μια συνάρτηση f σε ένα διάστημα [, ] (δηλαδή για να υπάρχει ένα τουλάχιστον (, )

K. Μυλωνάκης Αλγεβρα B Λυκείου

ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΚΕΦΑΛΑΙΟ

4 η δεκάδα θεµάτων επανάληψης

ΚΕΦΑΛΑΙΟ 5 ΓΕΝΝΗΤΡΙΕΣ ΣΥΝΑΡΤΗΣΕΙΣ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3

με Τέλος πάντων, έστω ότι ξεκινάει ένα άλλο υποθετικό σενάριο που απλά δεν διευκρινίζεται. Για το i) θα έχουμε , 2

Συνέχεια συνάρτησης σε κλειστό διάστημα

(β ) ((X c Y ) (X c Y c )) c

4 η δεκάδα θεµάτων επανάληψης

Transcript:

Λύσεις Θεμάτων Θεωρίας Αριθμών 1. (α) Να δειχθεί ότι ο πέμπτος αριθμός της μορφής Fermat, δηλαδή ο F 5 2 25 + 1 διαιρείται από το 641. (β) Εστω F n η ακολουθία των αριθμών Fermat, δηλαδή F n 2 2n + 1, n 0. Να δειχθεί ότι για κάθε n 0 ισχύει (F n, F n+1 ) 1. (γ) Να δειχθεί ότι για κάθε φυσικό n ισχύει 31 5 3n+1 + 2 5n+2 + 22. (1+1+1 μονάδες) Απόδειξη. (α) Αρκεί να δειχθεί ότι 2 32 1 (mod 641). Προκειμένου να υπολογίσουμε το υπόλοιπο αυτής της μεγάλης δύναμης ως προς το 641, παίρνουμε τετράγωνα και υπολογίζουμε σε κάθε βήμα το υπόλοιπο. Οπότε προκύπτει ο παρακάτω πίνακας: Για παράδειγμα, k 1 2 4 8 16 32 2 k (mod 641) 2 4 16 256 156-1 256 2 65536 641 102 + 154 154 (mod 641), και ομοίως 154 2 23716 641 36 + 640 1 (mod 641). (β) Ισχύει F n+1 2 2n 2 + 1 (2 2n ) 2 + 1 (F n 1) 2 + 1 Fn 2 2F n + 2, άρα (F n, F n+1 ) (F n, F n+1 (F n 2)F n ) (F n, 2) 1, αφού προφανώς ο F n είναι περιττός. 1

(γ) Θέτουμε A n 5 3n+1 + 2 5n+2 + 22. Θα αποδειχθεί επαγωγικά για n 0 βλέπουμε πως A 0 5 + 2 2 + 22 31, οπότε ισχύει 31 A 0. Εστω ότι ισχύει για n k, δηλαδή 31 A k. Για να δείξουμε ότι 31 A k+1, αρκεί να δειχθεί ότι 31 A k+1 A k. Εχουμε: A k+1 A k 5 3k+4 + 2 5k+7 + 22 5 3k+1 2 5k+2 22 (5 3 1)5 3k+1 + (2 5 1)2 5k+2 124 5 3k+1 + 31 2 5k+2 31(4 5 3k+1 + 2 5k+2 ), αποδεικνύοντας το ζητούμενο. Ενας άλλος τρόπος λύσης είναι με την χρήση ισοτιμιών. Οπως διαπιστώσαμε και πριν, ισχύει 5 3 125 1 (mod 31) και 2 5 32 1 (mod 31), άρα 5 3n+1 + 2 5n+2 + 22 5 3n 5 + 2 5n 2 2 + 22 (mod 31) 125 n 5 + 32 n 2 2 + 22 (mod 31) 1 n 5 + 1 n 2 2 + 22 (mod 31) 5 + 4 + 22 0 (mod 31) 2. Εστω τ, σ : N N οι αριθμητικές συναρτήσεις που δίνουν το πλήθος και το άθροισμα των διαιρετών αντίστοιχα, και ϕ : N N η συνάρτηση του Euler. Να δειχθεί ότι για κάθε n N ισχύει nτ(n) σ(d)ϕ(n/d), d n όπου το d στο παραπάνω άθροισμα διατρέχει τους θετικούς διαιρέτες του n. (2 μονάδες) Απόδειξη. Εστω T : N N η ταυτοτική συνάρτηση, δηλαδή T (n) n για κάθε n N. Η δοθείσα ισότητα μπορεί να γραφεί ως εξής: T τ σ ϕ. Γνωρίζουμε πως ισχύει σ T 1, T 1 ϕ, και τ 1 1, άρα σ ϕ (T 1) ϕ T (1 ϕ) T T. Επειδή η T είναι πλήρως πολλαπλασιαστική, θα ισχύει T (n)τ(n) d n T (n)1(d)1(n/d) d n T (d)t (n/d) T T (n), αποδεικνύοντας το ζητούμενο. (β τρόπος) Γνωρίζουμε πως οι T, τ, σ και ϕ είναι όλες πολλαπλασιαστικές, οπότε και οι T τ και σ ϕ είναι, καθώς γινόμενα και συνελίξεις πολλαπλασιαστικών συναρτήσεων είναι 2

επίσης πολλαπλασιαστικές συναρτήσεις. Αρκεί λοιπόν να αποδείξουμε την δοθείσα ισότητα για δυνάμεις πρώτων, π. χ. για p r, όπου p πρώτος και r 1. Ισχύει T (p r )τ(p r ) p r (r + 1), και σ ϕ(p r ) r σ(p i )ϕ(p r i ) i0 σ(p r )ϕ(1) + r 1 i0 p i+1 1 p 1 pr i 1 (p 1) r 1 (1 + p + + p r ) + (p r p r i 1 ) i0 (1 + p + + p r ) + r p r (1 + p + + p r 1 ) p r (r + 1), ολοκληρώνοντας την απόδειξη. 3. Να λυθεί το παρκάτω σύστημα ισοτιμιών: x 9 (mod 24) 3x 19 (mod 20) 5x 3 (mod 14). (2 μονάδες) Λύση. Το σύνολο των ακεραίων που ικανοποιεί την πρώτη ισοτιμία μπορεί να περιγραφεί με την εξής μορφή: x 24y + 9, y Z Αντικαθιστούμε στις άλλες δύο ισοτιμίες, οπότε προκύπτει το εξής σύστημα ως προς y (μετά από πράξεις): 72y 8 (mod 20) 120y 42 (mod 14). Εχουμε 72 2 3 3 2, 20 2 2 5, 120 2 3 3 5 και 14 2 7, οπότε (72, 20) 4 και (120, 14) 2. Αφου 4 8 και 2 42, η κάθεμια από τις παραπάνω ισοτιμίες έχει λύση, και είναι ισοδύναμες με 18y 2 (mod 5) 60y 21 (mod 7). Προφανώς 18 2 (mod 5), 60 4 (mod 7) και 21 0 (mod 7), οπότε το σύστημα παίρνει την εξής πιο απλή μορφή: Εχουμε 2y 2 (mod 5) 4y 0 (mod 7). 2y 2 (mod 5) 2( 2)y 2( 2) (mod 5) y 1 (mod 5), 3

οπότε οι ακέραιοι που ικανοποιούν αυτήν την ισοτιμία είναι της μορφής y 5z + 1, z Z Αντικαθιστώντας στην 4y 0 (mod 7), προκύπτει 20z 4 (mod 7) και επειδή 20 1 (mod 7), η παραπάνω είναι ισοδύναμη της z 4 (mod 7), της οποίας οι λύσεις περιγράφονται από την εξής μορφή z 7w + 4, w Z Αφού έχουμε χρησιμοποιήσει όλες τις ισοτιμίες, δεν υπάρχουν περαιτέρω περιορισμοί για το w. Αντικαθιστόντας διαδοχικά, βρίσκουμε όλες τις ακέραιες τιμές του x: x 24y + 9 24(5z + 1) + 9 120z + 33 120(7w + 4) + 33 840z + 513 άρα η λύση του συστήματος περιγράφεται από την εξής ισοτιμία x 513 (mod 840) Σημείωση: Το αποτέλεσμα παραμένει σωστό, αν αντί του 513 είχαμε κάποιον άλλο ακέραιο, ισότιμο του 513 modulo 840, όπως για παράδειγμα το 327. 4. (α) Να βρεθούν όλες οι αρχικές ρίζες (mod n) (αν υπάρχουν!) στο σύνολο {1, 2,..., n 1} για τις περιπτώσεις n 22 και n 221. (β) Να βρεθούν όλες οι λύσεις της ισοτιμίας (1+1 μονάδες) 3x 3 17 (mod 22). Λύση. (α) Γνωρίζουμε πως όλοι οι φυσικοί n για τους οποίους υπάρχουν αρχικές ρίζες (mod n) είναι της μορφής 2, 4, p r, 2p r, όπου p περιττός πρώτος και r 1. Εφόσον 221 13 17, δεν υπάρχουν αρχικές ρίζες (mod 221), αφού το 221 είναι γινόμενο δύο διαφορετικών περιττών πρώτων. Αντιθέτως, το 22 2 11 έχει την παραπάνω μορφή για p 11 και r 1, οπότε υπάχουν αρχικές ρίζες (mod 22). Βρίσκουμε πρώτα μια αρχική ρίζα (mod 11), με δοκιμές. Γι αυτήν την αρχική ρίζα, έστω g, θα πρέπει να ισχύει ord 11 g ϕ(11) 10. Αφού ούτως ή άλλως ισχύει ord 11 g 10, πρέπει να ελέγξουμε αν ισχύουν οι g, g 2, g 5 1 (mod 11). Παίρνουμε g 2 και υπολογίζουμε τις αντίστοιχες δυνάμεις: k 1 2 4 5 2 k (mod 11) 2 4 5 10 Άρα το 2 είναι αρχική ρίζα (mod 11). Επομένως οι υποψήφιες αρχικές ρίζες (mod 22) είναι οι 2 και 2 + 11 13. Απορρίπτουμε την άρτια, οπότε το 13 είναι αρχική ρίζα (mod 22). Οι υπόλοιπες αρχικές ρίζες είναι της μορφής 13 k, όπου 1 k ϕ(22) 1 9, και (k, ϕ(22)) (k, 10) 1, δηλαδή οι 13, 13 3, 13 7, 13 9. Μας μένει να βρούμε τα υπόλοιπα των δυνάμεων αυτών όταν διαιρεθούν με το 22: 4

k 1 2 3 6 7 9 13 k (mod 22) 13 15 19 9 7 17 (σε κάθε βήμα παίρνουμε το υπόλοιπο (mod 22), π. χ. 13 6 (13 3 ) 2 19 2 ( 3) 2 9 (mod 22)). Τελικά, οι ζητούμενες αρχικές ρίζες είναι οι 7, 13, 17, 19. (β) Καταρχήν απαλείφουμε τον συντελεστή του x 3, παρατηρώντας πως 3 15 45 1 (mod 22), οπότε x 3 3 15x 3 15 17 ( 7)( 5) 35 13 (mod 22). Χρησιμοποιώντας δείκτες με αρχική ρίζα το 13, η παραπάνω είναι ισοδύναμη της 3 ind 13 x ind 13 13 (mod 10). Ομως ind 13 13 1, και 3 7 21 1 (mod 10), άρα η οποία είναι ισοδύναμη της ind 13 x 7 3 ind 13 x 7 (mod 10), x 13 7 7 (mod 10). 5. (α) Να δειχθεί ότι ( ) { 5 1, όταν p ±1 (mod 10) p 1, όταν p ±3 (mod 10). (β) Χρησιμοποιώντας το (α), δείξτε ότι αν p περιττός πρώτος με p ±3 (mod 10) και τότε θα ισχύει p x και p y. (1+1 μονάδες) p x 2 5y 2, Απόδειξη. (α) Αφού 5 1 (mod 4), από τον νόμο τετραγωνικής αντιστροφής θα ισχύει ( 5 ( p. p) 5) Ισχύει (1/5) ( 1/5) 1, αφού ( 1/5) ( 1) (5 1)/2 ( 1) 2 1, και ( ) ( ) ( ) 3 5 1 ( 1) (3 1)/2 1, 5 3 3 άρα και ( 3/5) ( 1/5)(3/5) 1. Επομένως, αν p 10k ± 3, για κάποιον k Z, τότε ( ) ( ) ( ) 5 10k ± 3 ±3 1, 10k ± 3 5 5 ενώ αν p 10k ± 1, για κάποιον k Z, τότε ( ) ( ) ( ) 5 10k ± 1 ±1 1, 10k ± 1 5 5 αποδεικνύοντας το ζητούμενο. (β) Θα ισχύει x 2 5y 2 (mod p), οπότε αν p x, τότε προφανώς θα έχουμε και p y, άρα ( ) ( ) ( ) ( ) x 2 5y 2 5 y 2 1 ( 1) 1 1, p p p p άτοπο (χρησιμοποιήσαμε το (5/p) 1). Άρα αναγκαστικά θα έχουμε p x, οπότε και p y, αφού p 5. 5