Φροντιστήριο #3 Λυμένες Ασκήσεις σε Σύνολα/ Αποδείξεις /Μαθηματική Επαγωγή 14/3/2017

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Φροντιστήριο #3 Λυμένες Ασκήσεις σε Σύνολα/ Αποδείξεις /Μαθηματική Επαγωγή 14/3/2017"

Transcript

1 Φροντιστήριο #3 Λυμένες Ασκήσεις σε Σύνολα/ Αποδείξεις /Μαθηματική Επαγωγή 14/3/2017 Άσκηση Φ3.1 Αποδείξτε τις παρακάτω ταυτότητες. (1) B (Ø A) = B (2) ( A U) = A (3) ( A B) ( A B) = A (4) ( A B) ( B A) = B (5) A (A B) = A Όλες προκύπτουν πολύ εύκολα χρησιμοποιώντας για παράδειγμα γνωστές ταυτότητες του προτασιακού λογισμού: (1) B (F A) = B F = B (2) ( A T) = A = A (3) (A B) (A B)=A (B B)=A T=A (4) ( (A B) (B-A)) = (A B) (B-A)) = (A B) (B A)) =B (A A)=B F=B (5) A (A B)=(A A) (A B) = A (A B) = A Μπορεί επίσης κανείς να χρησιμοποιήσει διαγράμματα Venn, κλπ. Άσκηση Φ3.2 Βρείτε ποιες από τις παρακάτω προτάσεις είναι αληθείς και ποιες ψευδείς. (1) Ø Ø, (2) Ø Ø, (3) Ø {Ø}, (4) Ø {Ø}, (5) {Ø} Ø, (6) {Ø} Ø, {7} {Ø} { Ø}, (8){Ø} {Ø}, (9) {α, β} {α, β, γ, {α, β, γ}}, (10) {α, β} {α, β, γ, {α, β, γ}}, (11) {α, β} {α, β, {{α, β}}}, (12) {α, β} {α, β, {{α, β}}}, (13) {α, Ø } {α,{α, Ø }}, (14) {α,β} 2 {α,β} (15) {α,β} 2 {α,β} (1) ναι, (2) όχι, (3) ναι, (4) ναι, (5) όχι, (6) όχι, {7} ναι, (8)όχι, (9) ναι, (10) όχι, (11) ναι, (12) όχι, (13) όχι, (14) όχι, (15) ναι Άσκηση Φ3.3 Έστω το σύνολο A = {{Ø}, {{Ø}}}. Υπολογίστε το δυναμοσύνολο του Α. P(A)= {Ø, {{Ø}}, {{{Ø}}}, {{Ø}, {{Ø}}}}

2 Άσκηση Φ3.4 Έστω A, B, και C σύνολα με τις ακόλουθες ιδιότητες: A = 100, B = 50, and C = 48. Ο αριθμός των στοιχείων που ανήκουν σε ακριβώς ένα από τα τρία σύνολα είναι διπλάσιος από τον αριθμό των στοιχείων που ανήκουν σε ακριβώς δύο από τα σύνολα. Το πλήθος των στοιχείων που ανήκουν σε ακριβώς ένα από τα τρία σύνολα είναι τριπλάσιο από το πλήθος των στοιχείων που ανήκουν και στα τρία σύνολα. (a) Πόσα στοιχεία ανήκουν σε όλα τα σύνολα; (b) Πόσα στοιχεία ανήκουν σε ακριβώς ένα από σύνολα; Έστω το παρακάτω διάγραμμα Venn Δεδομένου ότι Α = 100, προκύπτει ότι α+β+δ+ε=100 (1) Δεδομένου ότι Β =50 προκύπτει ότι β+γ+ε+ζ = 50 (2) Δεδομένου ότι C =48 προκύπτει ότι η+δ+ε+ζ = 48 (3) Δεδομένου ότι το πλήθος των στοιχείων που ανήκουν σε ακριβώς ένα από τα τρία σύνολα είναι διπλάσιος από τον αριθμό των στοιχείων που ανήκουν σε ακριβώς δύο από τα σύνολα γνωρίζουμε οτι α+γ+η = 2(β+δ+ζ) (4) Δεδομένου ότι το πλήθος των στοιχείων που ανήκουν σε ακριβώς ένα από τα τρία σύνολα είναι τριπλάσιος από το πλήθος των στοιχείων που ανήκουν και στα τρία σύνολα, γνωρίζουμε ότι α+γ+η = 3ε (5) Το άθροισμα των (1), (2) και (3) δίνει α + γ + η + 2β + 2δ + 2ζ + 3ε = 198

3 3 ε + 3 ε + 3 ε = ε = 198 ε=22. (a) Μας ενδιαφέρει να βρούμε το Χ = α+β+γ+δ+ε+ζ+η = α+γ+η + β+δ+ζ + ε = 3 ε + 3/2 ε + ε = = 121. (b) Μας ενδιαφέρει να βρούμε το α+γ+η = 3 ε = 66. Άσκηση Φ3.5 Έστω A= { m Z i Z : m= 5i 1}, B = { n Z j Z : n= 3 j+ 2}, C = { p Z r Z : p = 5r + 4} και D = { q Z s Z : q = 3s 1}. (1) Ισχύει ότι Α=Β; Εξηγείστε. (2) Ισχύει ότι Α=C; Εξηγείστε. (3) Ισχύει ότι Α=D; Εξηγείστε. (4) Ισχύει ότι B=D; Εξηγείστε. Δύο σύνολα είναι ίσα αν και μόνο αν περιέχουν ακριβώς τα ίδια στοιχεία. S = T : x : x S x T (1) ΟΧΙ Αρκεί να βρω ένα στοιχείο που ανήκει στο ένα από τα σύνολα αλλά δεν ανήκει στο άλλο. Π.χ. 4 Α (για i = 1) αλλά 4 Β ( j Z : n = 3 j+ 2= 4). Επομένως, τα σύνολα Α,Β δεν είναι ίσα. (2) ΝΑΙ Αρκεί να δείξω ότι (α) A C και (β) C A. (α) Έστω x A τότε i Z : x = 5i 1= 5i 5+ 4= 5( i 1) + 4 άρα x C αφού r Z και μάλιστα r = i 1. Επομένως, A C. (β) Έστω x C τότε p Z : x = 5r+ 4= 5r + 5 1= 5( r+ 1) 1 άρα x Aαφού i Zκαι μάλιστα i = r + 1. Επομένως, C A. Οπότε Α=C. (3) ΟΧΙ

4 Αρκεί ένα αντιπαράδειγμα. 4 A(για i = 1) αλλά s Z : q = 3s 1= 4, άρα 4 D. Επομένως A D. (4) ΝΑΙ Αρκεί να δείξω ότι (α) B D και (β) D B. (α) Έστω x Bτότε j Z : x = 3 j+ 2= 3 j+ 3 1= 3( j+ 1) 1 άρα x D αφού s Z και μάλιστα s = j+ 1. Επομένως, B D. (β) Έστω x D τότε s Z : x = 3s 1= 3s 3+ 2= 3( s 1) + 2 άρα x Bαφού j Z και μάλιστα j = s 1. Επομένως, D B. Οπότε B = D. Άσκηση Φ3.6 Έστω τα σύνολα A0, A1, A2, A3τα οποία ορίζονται ως εξής: A = { n Z k Z : n = 4 k} 0 A1 = { n Z k Z : n = 4k + 1}, A = { n Z k Z : n = 4k + 2} 2 A = { n Z k Z : n = 4k + 3} 3 Αποτελούν τα A0, A1, A2, A 3 μία διαμέριση του συνόλου Z; Δικαιολογήστε την απάντησή σας. Έστω n μη κενά σύνολα A i, i = 1,2..., n. Τα σύνολα Αi αποτελούν μία διαμέριση του συνόλου Zαν και μόνο αν: (i) Z n = i= 1 Ai (ii) Τα A i είναι αμοιβαία ξένα σύνολα. Για να δείξω το (i), δηλαδή ότι ισχύει Z = A0 A1 A2 A3 αρκεί να δείξω ότι ισχύουν ταυτόχρονα τα (α) Z A0 A1 A2 A3 και (β) A0 A1 A2 A3 Z (α) Αν x Zτότε το ακέραιο υπόλοιπο της διαίρεσης του xμε το 4 ανήκει στο σύνολο {0,1,2,3}. x%4 = i, i {0,1, 2,3} και ισχύει x = 4k + i, όπου k είναι το πηλίκο της διαίρεσης. Άρα, το x ανήκει σε ένα από τα σύνολα A i, δηλαδή x A0 A1 A2 A3. (β) Αν x A0 A1 A2 A3 τότε ο x ανήκει σε κάποιο από τα σύνολα A0, A1, A2, A 3, καθένα από τα οποία περιλαμβάνει ακέραιους, επομένως x Z.

5 Επομένως, αποδείξαμε ότι Z = A0 A1 A2 A3. Για να δείξω το (ii), δηλαδή ότι τα A i είναι αμοιβαία ξένα σύνολα, αρκεί να δείξω ότι οποιοσδήποτε από τους ακεραίους που ανήκει σε ένα σύνολο δεν μπορεί να ανήκει σε οποιοδήποτε άλλο. Πράγματι n A k Z : n = 4 k (1) 0 n A l Z : n = 4l + 1 (2) 1 (1),(2) k. l Z : 4k 4l = 1 4( k l) = 1 πράγμα που είναι άτοπο. Ομοίως ελέγχουμε τους υπόλοιπους συνδυασμούς και αποδεικνύουμε ότι τα A i είναι αμοιβαία ξένα σύνολα. Επομένως, αποδείξαμε ότι τα σύνολα A0, A1, A2, A 3 αποτελούν διαμέριση του συνόλου Z. Άσκηση Φ3.7 Έστω Α Β και C D. Αποδείξτε ότι (A C) (B D και ότι (A C) (B D); Έστω k A C, τότε k Α άρα και k B αφού Α Β ή k C άρα και k D αφού C D Συνεπώς θα ανήκει πάντα είτε στο Β είτε στο D και εποµένως στην ένωσή τους. Έστω k A C, τότε k Α άρα και k B αφού Α Β και k C άρα και k D αφού C D Συνεπώς θα ανήκει πάντα και στο Β και στο D εποµένως και στην τοµή τους. Ασκήση Φ3.8 Έστω A, Bκαι C σύνολα και θεωρείστε το σύνολο D = C ( A B). Έχουν οι παρακάτω προτάσεις γενική ισχύ; Δικαιολογείστε συνοπτικά την απάντησή σας. B D C D C B D a) Δεν ισχύει γενικά ότι B D, καθώς το Α ή το Β μπορεί να μήν ανήκουν κάν στο D όπως φαίνεται και στο διπλανό

6 διάγραμμα. Η μοναδική περίπτωση που θα ισχύει η παραπάνω συνθήκη είναι αν το Α = B. b) To C D ισχύει διότι το D εξ' ορισμού είναι ένωση του C με την τομή του Α και Β. c) B D. Το C είναι υποσύνολο του D αλλά το B δεν είναι. Η μοναδική περίπτωση που θα ίσχυε είναι αν το Α = Β. Άσκηση Φ3.9 Έστω τα σύνολα Α={{1, 2, 3}, {2, 3}, {a, b}} και B={{a, b}, {1, 2}}. Βρείτε ποιες από τις παρακάτω προτάσεις είναι αληθείς. Εξηγείστε σύντοµα την απάντησή σας. (1) {a, b} B, (2) {{1, 2, 3}} A, (3) B A, (4) Ø A, (5) 1 A, (6) {2, 3} A. 1. Ψευδής: το {a, b} είναι στοιχείο του Α, και όχι υποσύνολο. 2. Αληθής 3. Ψευδής. {1, 2} Α 4. Ψευδής (το κενό είναι υποσύνολο κάθε στοιχείου). Για να ίσχυε η (4) θα έπρεπε το σύνολο να ήταν της µορφής {Ø,...} 5. Ψευδής 6. Αληθής Άσκηση Φ3.10 Υπάρχουν σύνολα Α,Β και C τέτοια ώστε A = 6, B = 3, C = 4, A B C = 10, A C = 2 και A B C = 1; A = 6, B = 3, C = 4, A B C = 10, A C = 2 (1) A B C = 1 (2) Ξέρουμε ότι A B C = A + B + C A B A C B C + A B C (3). από (1) και (3) έχουμε: 10 = A B 2 B C + 1 A B + B C = 2 (4) Τα πλήθη είναι πάντα θετικοί ακέραιοι αριθμοί, άρα αυτό μπορεί να να ισχύει σε 3 περιπτώσεις: A B = 2 και B C = 0 A B = 0 και B C = 2 A B = 1 και B C = 1

7 Λόγω της σχέσης (2) υπάρχει ένα στοιχείο που ανήκει και στα 3 σύνολα. Αυτό συνεπάγεται ότι και το A B αλλά και το Β C θα έχουν τουλάχιστον ένα κοινό στοιχείο. Η μοναδική περίπτωση από τις παραπάνω που ικανοποιεί αυτή την συνθήκη είναι η 3η. Άρα θα ισχύει και η αρχική ισότητα οπότε υπάρχουν τέτοια σύνολα A,B,C. Ένα παράδειγμα: Α={1,2,3,4,5,6}, Β={1,9,10}, C={1,2,7,8} Άσκηση Φ3.11 Έστω A, B σύνολα και P (Α), P (Β) τα αντίστοιχα δυναμοσύνολα τους. Αποδείξτε κατά πόσον ισχύει ότι P (Α) P (Β) = P(Α Β) Έστω X P(Α Β) X A B X A X B X P(Α) X P(B) X P(Α) P(B) Άσκηση Φ3.12 Έστω τρία σύνολα Α, Β, C, υποσύνολα ενός συνόλου U. Αποδείξτε χωρίς να κάνετε χρήση διαγραμμάτων Venn ότι εάν Α Β=Α C και A B = A C, τότε Β=C. Α Β=Α C (1) A B = A C (2) Από (1) και (2) ( Α B) ( A Β ) = ( Α C) ( A C) ( Α A) Β ) = ( Α A) C) ( U Β ) = ( U C) B=C Άσκηση Φ3.13 Δοσμένων των συνόλων B = {t, u, r, k, e, y} και A = {b, r, u, t, e}, υπολογίστε την ποσότητα P(B)-P(Α) Σημείωση: με Ρ(Χ) συμβολίζουμε εδώ το δυναμοσύνολο του συνόλου Χ. Β =6, Α =5 άρα P(B) =2 6 και P(A) =2 5. Επίσης A B={r,u,t,e} και P(A B) =2 4

8 Τότε P(B) - P(A) = P(B) - P(A B) = = = 48 Άσκηση Φ3.14 Έστω σύνολο = {1,2}. Υπολογίστε το ((!! (με P(A) συμβολίζεται το δυναμοσύνολο του συνόλου Α). (! = {,{1},{2},{1,2}} #(!$ = {, { },{{1}},{{2}},{{1,2}}, %,{1}&,%,{2}&,%,{1,2}&,%{1},{2}&,%{1},{1,2}&,%{2},{1,2}&, %,{1},{2}&,%,{1},{1,2}&,%,{2},{1,2}&,%{1},{2},{1,2}&, {{,{1},{2},{1,2}}} Άσκηση Φ3.15 Έστω U το σύνολο των ακεραίων και Α={3,6}, Β={3,8,10,12} και C={6,8,10}. Υπολογίστε τα: a. ' ) b. ( * ) c. B C d. C B e. A C a. ' ) ={3,12} b. ( * = * =A = {6} c. B-C={3,12} d. C-B={6} e. A C = {(3,6),(3,8),(3,10),(6,6),(6,8),(6,10)} Άσκηση 3.16 Βρείτε τον πληθικό αριθμό των παρακάτω συνόλων a. {{-}} b. c. { } d. %{ }& e. {x,{x}, } f. 2 Z g. 2 h. 2 0

9 a. 1%{-}&1 = 1 b. =0 c. { } = 1 d. %{ }& =1 e. {x,{x}, } =3 f. 12 Z 1 = g. 2 =1 h = 2 Άσκηση Φ3.17 Πόσοι ακέραιοι ανάμεσα στο 1 και στο 2015 δεν είναι πολλαπλάσια ούτε του 2, ούτε του 3 ούτε του 5; Έστω Υ το σύνολο των ακέραιων ανάμεσα στο 1 και στο 2015 που δεν είναι πολλαπλάσια ούτε του 2, ούτε του 3 ούτε του 5. Έστω Χ2 το σύνολο των αριθμών στο [ ] που είναι πολλαπλάσια του 2 Έστω Χ3 το σύνολο των αριθμών στο [ ] που είναι πολλαπλάσια του 3 Έστω Χ5 το σύνολο των αριθμών στο [ ] που είναι πολλαπλάσια του 5 Τα Χ2, Χ3, Χ5 είναι υποσύνολα του Χ που περιλαμβάνει τους ακεραίους από 1 έως Χ = Τότε ξέρουμε ότι Υ = X - X2 X3 X5 Όμως X2 X3 X5 = Χ2 + Χ3 + Χ5 - Χ2 Χ3 - Χ2 Χ5 - Χ3 Χ5 + Χ2 Χ3 Χ5 Το σύνολο Χ2 Χ3 περιέχει αυτούς που διαιρούνται και με το 2 και με το 3, επομένως αυτούς που διαιρούνται με το 6 άρα Χ2 Χ3 = 2015 div 6 (div σημαίνει ακέραια διαίρεση) Το σύνολο Χ2 Χ5 περιέχει αυτούς που διαιρούνται και με το 2 και με το 5, επομένως αυτούς που διαιρούνται με το 10 άρα Χ2 Χ5 = 2015 div 10 Το σύνολο Χ3 Χ5 περιέχει αυτούς που διαιρούνται και με το 3 και με το 5, επομένως αυτούς που διαιρούνται με το 15 άρα Χ3 Χ5 = 2015 div 15 Το σύνολο Χ2 Χ3 Χ5 περιέχει αυτούς που διαιρούνται και με το 2 και με το 3 και με το 5, επομένως αυτούς που διαιρούνται με το 30 άρα Χ3 Χ5 = 2015 div 30 Άρα X2 X3 X5 = = 2015 div div div div div div div30 = = Άρα Υ = X - X2 X3 X5 = = 537. Άσκηση Φ3.18 Έστω ότι = {, δ}. Κατασκευάστε τα παρακάτω σύνολα:

10 1. 2. { } 3. P( ) 4. P( ) 5. P( ) όπου P(Δ) είναι το δυναμοσύνολο του Δ. 1. = 2. { } = { } {, δ} = 3. P( ) = {, δ} {,{ },{ δ},{, δ}} = {, δ,{ },{ δ},{, δ}} 4. P( ) = {, δ} {,{ },{ δ},{, δ}} = { } 5. P( ) = {, δ} {,{ },{ δ},{, δ}} = {, δ,{ },{ δ},{, δ}} { } = { δ,{ },{ δ},{, δ}} Άσκηση Φ3.19 Τα μέλη μίας ομάδας 100 ατόμων ερωτήθηκαν σχετικά με το ποια θεωρούν πως είναι μια καλή ποδοσφαιρική ομάδα. Από αυτούς, 32 ψήφισαν τον «ΟΦΗ», 20 ψήφισαν τον «ΕΡΓΟΤΕΛΗ», 45 ψήφισαν τον «ΑΤΡΟΜΗΤΟ», 15 ψήφισαν και τον «ΟΦΗ» και τον «ΑΤΡΟΜΗΤΟ», 7 ψήφισαν και τον «ΟΦΗ» και τον «ΕΡΓΟΤΕΛΗ», 10 ψήφισαν και τον «ΕΡΓΟΤΕΛΗ» και τον «ΑΤΡΟΜΗΤΟ» και 30 δεν ψήφισαν καμία από τις τρεις αυτές ομάδες. (1) Βρείτε τον αριθμό των ατόμων που ψήφισαν και τις τρεις αυτές ομάδες. (2) Βρείτε τον αριθμό των ατόμων που ψήφισαν ακριβώς μία από τις παραπάνω ομάδες. (1) Έστω Α = «αυτοί που θεωρούν τον ΟΦΗ καλή ομάδα», Β = «αυτοί που θεωρούν τον ΕΡΓΟΤΕΛΗ καλή ομάδα», C=«αυτοί που θεωρούν τον ΑΤΡΟΜΗΤΟ καλή ομάδα». Μας δίνεται: Σύνολο ψηφισάντων = 100, A = 32, Β = 20, C = 45, Α C =15, A B =7, B C =10, ( A) ( B) ( C) = (AUBUC) =30 (1) Έχουμε AUBUC =100- (AUBUC) =100-30=70, ενώ AUBUC = Α + Β + C - A B - Α C - B C + A B C => 70= A B C => A B C =70-65=5 Αυτοί που ψήφισαν και τις τρεις ομάδες είναι 5

11 (2) Α Β C =α+β+γ+δ+ε+ζ+η = 70 Α = α+β+δ+ε = 32 Β = β+ε+γ+ζ = 2 C = δ+ε+ζ+η = 45 A B C = ε=5 A C = δ+ε=15 δ=10 A Β = β+ε= 7 β = 2 Β C = ζ+ε=10 ζ = 5 Από τα παραπάνω δεδομένα (8 εξισώσεις με 8 αγνώστους, μπορεί να προκύψει η τιμή για καθένα από τα α, β, γ, δ, ε, ζ, η, και θ) και επομένως και για το α+γ+η το οποίο ζητάμε (=48). Εναλλακτικά, μπορούμε να σκεφτούμε ως εξής: Ζητάμε το α+γ+η = (α+β+γ+δ+ε+ζ+η) (β+δ+ε+ζ) = Α Β C -( )=70-22=48. Άσκηση Φ3.20 Σε μία δημοσκόπηση που έγινε με στόχο να διερευνηθούν οι προτιμήσεις των ανθρώπων σε σχέση με το χρώμα ενός αυτοκινήτου, βρέθηκε ότι: Σε 22 αρέσουν τα κόκκινα αυτοκίνητα Σε 25 αρέσουν τα άσπρα αυτοκίνητα Σε 39 αρέσουν τα μαύρα αυτοκίνητα Σε 9 αρέσουν και τα άσπρα αυτοκίνητα και τα κόκκινα αυτοκίνητα Σε 17 αρέσουν και τα κόκκινα αυτοκίνητα και τα μαύρα αυτοκίνητα Σε 20 αρέσουν και τα άσπρα αυτοκίνητα και τα μαύρα αυτοκίνητα Σε 6 αρέσουν και τα τρία χρώματα. Δεδομένου ότι σε 4 ανθρώπους δεν αρέσει κανένα από τα χρώματα, πόσοι άνθρωποι συμμετείχαν στη δημοσκόπηση; Έστω Κ το σύνολο των ανθρώπων που τους αρέσουν τα κόκκινα αυτοκίνητα, τότε Κ = 22. Ομοίως για τα άσπρα και τα μαύρα, με Α =25 και Μ =39 αντίστοιχα. Τότε ΚUAUM = K + A + M - K A - K M - A M + K A M = = = 46 Υπάρχουν και 4 άτομα που δεν τους αρέσει κανένα χρώμα, άρα το σύνολο των ατόμων που συμμετείχαν στη δημοσκόπηση θα είναι = 50 άτομα.

12 Άσκηση Φ3.21 Από 200 φοιτητές ενός Τμήματος Πληροφορικής, 140 έχουν περάσει την Οργάνωση Υπολογιστών, 50 τα ιακριτά Μαθηματικά και 24 και τα δύο αυτά μαθήματα. Από τους 200 αυτού του Τμήματος, 60 φοιτητές συμμετέχουν σε ένα συνέδριο. Από αυτούς τους 60, 20 έχουν περάσει τα ιακριτά Μαθηματικά, 45 την Οργάνωση Υπολογιστών και 16 και τα δύο αυτά μαθήματα. Πόσοι φοιτητές που δεν συμμετέχουν στο συνέδριο δεν έχουν περάσει ούτε Οργάνωση Υπολογιστών ούτε ιακριτά Μαθηματικά; Έστω Φ το σύνολο των φοιτητών, Ο το σύνολο των φοιτητών που πέρασαν την Οργάνωση και Δ το σύνολο των φοιτητών που πέρασαν τα Διακριτά Μαθηματικά, οπότε Φ =200, Ο =140, Δ =50, Ο Δ =24 Έστω Σ το σύνολο των φοιτητών που πάνε στο συνέδριο, ΟΣ οι φοιτητές που δεν πάνε στο συνέδριο και που πέρασαν την Οργάνωση, ΔΣ οι φοιτητές που δεν πάνε στο συνέδριο και που πέρασαν τα Διακριτά Μαθηματικά, οπότε Σ =60, ΔΣ =20, ΟΣ =45 και ΔΣ ΟΣ =16 Έστω Χ το σύνολο των φοιτητών που δεν πάνε στο συνέδριο, Οx οι φοιτητές που δεν πάνε στο συνέδριο αλλά πέρασαν την Οργάνωση, ΟΔ αυτοί που δεν πάνε στο συνέδριο αλλά πέρασαν τα Διακριτά. Ζητώ να βρω το Χ - ΟΔU ΟΣ Χ = Φ - Σ =140 (1) ΟΧ U ΔΧ = ΟΧ + ΔΧ - ΟΧ ΔΧ (2) ΟΧ = Ο - ΟΣ =140-45=95 (3) ΔΧ = Δ - ΔΣ =50-20=30 (4) ΟΧ ΔΧ = Ο Δ - ΔΣ ΟΣ =24-16=8 (5) Άρα Χ - ΟΔU ΟΣ = 140-( )= =23 Στο ίδιο αποτέλεσμα μπορούμε να καταλήξουμε με διαγράμματα Venn και διαμέριση Άσκηση Φ3.22 Έστω τρία σύνολα Α, Β, C. Αποδείξτε χωρίς να κάνετε χρήση διαγραμμάτων Venn ή πινάκων μελών ότι (A C) (B C) = (Α Β) C. Αποδεικνύω πρώτα ότι A B = A B Αν - * ' - * x B - * x ' x * ' ο.ε.δ Βάσει αυτού, (Α C! (B C! = (Α C! #B C$ = (Α C! IB CJ = (Α C! #B C$ = #A C B$ #A C C$ = #A C B$ = A C B = (A B! C ο.ε.δ.

13 Άσκηση Φ3.23 Αποδείξτε τις παρακάτω ισότητες, θεωρώντας ότι τα σύνολα A, B, C είναι υποσύνολα ενός ευρύτερου συνόλουu. (1) A B = B A (2) A A = U (3) A = A (4) A A= (5) A ( B C) = ( A B) C (1) A B = B A A B = ( ορισµ ός ) ( A B) ( A B) = ( B A) ( B A) = B A (2) A A = U A A= ( ορισµ ός ) ( A A) ( A A) = U = U (3) (4) Α = ( ορισµ ός ) ( Α ) ( Α ) = Α = Α Α Α = ( ορισµ ός ) ( Α Α) ( Α Α ) = Α Α = (5) Αληθής π.χ., με χρήση Πίνακα Μελών. A B C B C A B A ( B C) ( A B) C

14 Άρα A ( B C) = ( A B) C Ή με διάγραμμα Venn Άσκηση Φ3.24 Αποδείξτε ότι για τυχαία σύνολα A,B και C ισχύει πως * ('! = (* '!. Δώστε δύο διαφορετικές αποδείξεις (α) μία με χρήση πίνακα μελών και (β) μία βασισμένη στο γεγονός ότι για τυχαία σύνολα X,Y ισχύει ότι = K ( K! (K! α) A B C * ' (* '! ' * ('! Στον πίνακα μελών βλέπουμε ότι οι στήλες * ('! και (* '! συναληθεύουν άρα ισχύει η ισότητα. β) Για να ισχύει η ισότητα * ('! = (* '! αρκεί να αποδείξουμε ότι * ('! (* '! και (* '! * ('!. - * ('!

15 - * MNO - ('! - * MNO - ' MNO - - * ' MNO - - (* '! άρα * ('! (* '! (1) - (* '! - * ' MNO - - * MNO - ' MNO - - * MNO - ('! - * ('! άρα (* '! * ('! (2) Από (1) και (2) αποδεικνύεται και η ισότητα. Άσκηση Φ3.25 Έστω σύνολο A = {a,b}. Υπολογίστε το P(A) P(A) (με P(Α) συμβολίζεται το δυναμοσύνολο του συνόλου Α και με " " το καρτεσιανό γινόμενο). P(A) = {Ø, {a}, {b}, {a, b}} P(A) P(A) = {Ø, {a}, {b}, {a, b}} x {Ø, {a}, {b}, {a, b}} = {(Ø, Ø), (Ø, {a}), (Ø, {b}), (Ø, {a, b}), ({a}, Ø), ({a}, {a}), ({a}, {b}), ({a}, {a, b}), ({b}, Ø), ({b}, {a}), ({b}, {b}), ({b}, {a, b}), ({a, b}, Ø), ({a, b}, {a}), ({a, b}, {b}), ({a, b}, {a, b})} Άσκηση Φ3.26 Έστω Α,Β,Γ σύνολα. Αποδείξτε ότι a. (* '! Q = (* Q! (R Q!. b. A ( B Γ ) = ( A B) ( A Γ ). a. Για να δείξω ότι (* '! Q = (* Q! (R Q! αρκεί να δείξω ότι (* '! Q (* Q! (R Q! και (* Q! (R Q! (* '! Q. Άρα, πρέπει να αποδείξω ότι ένα τυχαίο στοιχείο του ενός συνόλου ανήκει στο άλλο και αντιστρόφως. Πράγματι, έστω (N S,N 0! τυχαίο στοιχείο του (* '! Q. Έχουμε: (N S,N 0! (* '! Q N S (* '! N 0 Q (N S * N S '! N 0 Q (N S * N 0 Q! (N S R N 0 Q! (N S,N 0! (* Q! (N S,N 0! (R Q! (N S,N 0! (* Q! (R Q! (1)

16 Έστω (N S,N 0! τυχαίο στοιχείο του (* Q! (R Q!. Λόγω διπλής συνεπαγωγής στην προηγούμενη απόδειξη, έχουμε ότι (N S,N 0! (* '! Q (2) Άρα, από (1) και (2), προκύπτει (* '! Q = (* Q! (R Q! b. Για να δείξω ότι A ( B Γ ) = ( A B) ( A Γ ) αρκεί να δείξω ότι A ( B Γ) ( A B) ( A Γ ) και ότι ( A B) ( A Γ) A ( B Γ ) Έστω (N S,N 0! στοιχείο του A ( B Γ ) (N S,N 0! U (' Q! N S Α (N 0 R N 0 Q! (N S Α N 0 R! (N S Α N 0 Q! (N S,N 0! (* Q! (N S,N 0! (R Q! (N S,N 0! (* R! (U Q! Η διαδικασία που ακολουθήσαμε είναι αμφίδρομη (διπλή συνεπαγωγή) άρα για τον ίδιο λόγο ( A B) ( A Γ) A ( B Γ ) Άσκηση Φ3.27 Έστω Α, Β, Γ, σύνολα. Αποδείξτε ότι ( Α Β ) ( Γ ) = ( Α Γ) ( Β ). (A B! (Γ Δ! = (A Γ! (Β Δ! Για να ισχύει αυτό αρκεί να αποδείξουμε ότι α) (A B! (Γ Δ! (A Γ! (Β Δ! και β) (A B! (Γ Δ! (A Γ! (Β Δ! α) (A B! (Γ Δ! (A Γ! (Β Δ! δηλαδή ότι κάθε τυχαίο στοιχείο που ανήκει στο (A B! (Γ Δ! ανήκει και στο (A Γ! (Β Δ!. Έστω (a S, a 0! τυχαίο στοιχείο του (A B! (Γ Δ!. Έχουμε: (a S, a 0! (A B! (Γ Δ! a S (A B! a 0 (Γ Δ! (από ορισμό καρτεσιανού γινομένου) a S A a S B a 0 Γ a 0 Δ (από ορισμό τομής) (a S A a 0 Γ! (a S Β a 0 Δ! (λόγω της προσετεριστικότητας του τελεστή ) (a S, a 0! A Γ (a S, a 0! Β Δ (από ορισμό καρτεσιανού γινομένου) (a S, a 0! (A Γ! (Β Δ! (1) (από ορισμό τομής) άρα ισχύει. β) (A B! (Γ Δ! (A Γ! (Β Δ! δηλαδή ότι κάθε τυχαίο στοιχείο που ανήκει στο (A Γ! (Β Δ!ανήκει και στο (A B! (Γ Δ!. Έστω #a S, a 0 $ τυχαίο στοιχείο του(a Γ! (Β Δ! Έχουμε:(a S, a 0! (A Γ! (Β Δ! από την προηγούμενη απόδειξη λόγω διπλής συνεπαγωγής έχουμε και (a S, a 0! (A B! (Γ Δ! (2)

17 άρα ισχύει. Από (1) και (2) προκύπτει και ότι (A B! (Γ Δ! = (A Γ! (Β Δ! Άσκηση Φ3.28 Για καθεμία από τις παρακάτω προτάσεις, και για σύνολα A, B, C, αν είναι αληθής αποδείξτε την ενώ αν είναι ψευδής, βρείτε ένα αντιπαράδειγμα. Υποθέτουμε ότι όλα τα σύνολα είναι υποσύνολα ενός ευρύτερου συνόλου U. (1) A, B, C( A ( B C) = ( A B) C) (2) A, B( A ( A B) = A) (3) A, B, C(( A B) ( C B) = A ( B C)) (4) A, B(( A B = ) ( A B = )) (5) A, B( P( A B) = P( A) P( B)) Οι ενδεικτικές λύσεις βασίζονται σε πράξεις μεταξύ συνόλων. Εναλλακτικές λύσεις μπορούν να δοθούν με χρήση πινάκων μελών ή διαγραμμάτων Venn. (1) A, B, C( A ( B C) = ( A B) C) Ψευδής Αντιπαράδειγμα: Έστω τα σύνολα A= {1, 2,3}, B = {1,4}, C = {1,5} τότε διαδοχικά, B C = {4}, A B = {2,3} και A ( B C) = {1,2,3}, ( A B) C = {2,3}, επομένως, A ( B C) ( A B) C. (2) A, B( A ( A B) = A) Αληθής Απόδειξη : A ( A B) = ( A ) ( A B) = A ( B) = ( A ) = A (3) A, B, C(( A B) ( C B) = A ( B C)) Ψευδής Αντιπαράδειγμα: Έστω τα σύνολα A= {1, 2,3, 4}, B = {3,4}, C = {1,4,5} τότε διαδοχικά, A B = {1, 2}, C B = {1,5}, ( A B) ( C B) = {1} και B C = {1,3, 4,5}, A ( B C) = {2}, άρα η έκφραση δεν είναι αληθής.

18 (4) A, B(( A B = ) ( A B = )) Ψευδής Αντιπαράδειγμα Έστω A= {0,1, 2}, B = {3, 4} τότε A B = και A B = {(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)}. (5) A, B( P( A B) = P( A) P( B)) Ψευδής Αντιπαράδειγμα Έστω A= {0,1} καιβ= {1, 2} τότε Α Β= {0,1, 2} Οπότε P( A B) = {, {0}, {1}, {2}, {0,1}, {1,2}, {0,2}, {0,1,2} } P( A ) = {,{0},{1},{0,1}} P( B ) = {,{1},{2},{1,2}} Άρα P( A B) P( A) P( B) Άσκηση Φ3.29 Έστω τα σύνολα Α={{1, 2, 3}, {2, 3}, {a, b}} και B={{a, b}, {1, 2}}. (1) Βρείτε ποιες από τις παρακάτω προτάσεις είναι αληθείς. a. {a, b} B, b. {{1, 2, 3}} A, c. B A, d. 1 A, e. {2, 3} A. (2) Περιγράψτε τα σύνολα a.2 b.2 c.2 d.2 A B A B B A A B B 1.α ΟΧΙ ({a, b} B), 1.b ΝΑΙ, 1.c ΟΧΙ, 1.d ΟΧΙ, 1.e NAI 2.a: A B = {{a,b}} άρα 2 A B ={Ø, {{a,b}}} 2.b: A-B = {{1, 2, 3}, {2, 3}} άρα 2 A-B ={Ø, {{1,2,3}}, {{2,3}}, {{1,2,3}, {2,3}}} 2.c: B-A = {{1, 2}} άρα 2 B-A ={Ø,{{1,2}}} 2.d: 2 A B ={Ø, {{a,b}}}, άρα {Ø, {{a,b}}} Χ Β = {Ø, {{a,b}}} Χ {{a, b}, {1, 2}} = {(Ø, {a, b}), (Ø, {1, 2}), ({{a,b}}, {a, b}), ({{a,b}}, {1, 2})}

19 Άσκηση Φ3.30 a. Αποδείξτε χωρίς να χρησιμοποιήσετε διαγράμματα Venn, ότι για οποιαδήποτε σύνολα A, B, C, ισχύει ότι ( A B) C = ( A C) ( B C) Έστω x (A B!-C x (A B! x C (x A x B! x C (x C x A! (x C x B! x (A-C! (B-C! x (A-C! (B-C! (A B!-C (A-C! (B-C! Έστω τώρα x (A-C! (B-C! (x C x A! (x C x B! x C (x A x B! x (A B!-C (A- C! (B-C! (A B!-C Άρα ( A B) C = ( A C) ( B C) Άσκηση Φ3.31 Να προσδιορίσετε αν καθεμία από τις παρακάτω προτάσεις είναι αληθής ή ψευδής: a. { } b. %,{ }& c. { } { } d. { {{ }}} e. { } {,{ }} f. {{ }} {,{ }} g. {{ }} {{ },{ }} a) True b) True c) False d) Δεν είναι καν πρόταση e) True f) True g) False (το 2 ο είναι το σύνολο {{ }} και γνωρίζουμε ότι ένα σύνολο δεν είναι γνήσιο υποσύνολο του εαυτού του). Άσκηση Φ3.32 Πόσα στοιχεία περιέχει καθένα από τα παρακάτω σύνολα, αν τα a, b είναι διαφορετικά στοιχεία; a. P({a,b,{a,b}}! b. P({Ø,a,{a},{{a}}}) c. P(P(Ø!!

20 a. 8, b. 16, c. 2 Άσκηση Φ3.33 Έστω ότι Α Χ Β = Ø, όπου τα Α, Β είναι σύνολα. Τι μπορείτε να συμπεράνετε; Τουλάχιστον το ένα από τα Α,Β είναι το κενό σύνολο Άσκηση Φ3.34 Έστω ότι Α, Β είναι υποσύνολα ενός καθολικού συνόλου U. Να δείξετε ότι Α R Nl MNO mόln Nl R+ U Ευθύ: Έστω ότι Α R Έστω xє R+ x B x A xєu R+ U Αντίστροφο : Έστω ότι R+ U Έστω xєα x U x R+ xєβ Α R Άσκηση Φ3.35 Μια φαρμακοβιομηχανία δοκιμάζει τρία νέα παυσίπονα τα Α, Β και C - σε 40 άτομα. Τα αποτελέσματα που καταγράφηκαν είναι: 23 δήλωσαν ότι το παυσίπονο Α ήταν αποτελεσματικό 18 δήλωσαν ότι το παυσίπονο Β ήταν αποτελεσματικό 31 δήλωσαν ότι το παυσίπονο C ήταν αποτελεσματικό 11 δήλωσαν ότι και το Α και το Β ήταν αποτελεσματικά 19 δήλωσαν ότι και το Α και το C ήταν αποτελεσματικά 14 δήλωσαν ότι και το Β και το C ήταν αποτελεσματικά 37 δήλωσαν ότι τουλάχιστον ένα από τα παυσίπονα ήταν αποτελεσματικό Να υπολογίσετε: α. Πόσοι άνθρωποι δεν ανακουφίστηκαν από κανένα από τα παυσίπονα; β. Πόσοι άνθρωποι ανακουφίστηκαν και από τα 3 παυσίπονα; γ. Πόσοι άνθρωποι ανακουφίστηκαν μόνο από το παυσίπονο Α; Έστω: P το σύνολο των ανθρώπων που συμμετείχαν στη δοκιμή. P =40 P A το σύνολο των ανθρώπων που βρήκαν αποτελεσματικό το παυσίπονο Α. P A =23 P B το σύνολο των ανθρώπων που βρήκαν αποτελεσματικό το παυσίπονο B. P B =18 P C το σύνολο των ανθρώπων που βρήκαν αποτελεσματικό το παυσίπονο C. P C =31 Γνωρίζω επίσης ότι P A P B =11, P Α P C =19, P B P C =14 και P A P B P C =37

21 a. Οι άνθρωποι που δεν βρήκαν αποτελεσματικό κανένα φάρμακο είναι P - P A P B P C =40-37=3 β. P A P B P C = P A + P B + P C - P A P B - P Α P C - P B P C + P A P B P C 37= P A P B P C P A P B P C =9 γ. Έστω το παρακάτω διάγραμμα Venn O ζητούμενος αριθμός είναι ο α που είναι ο πληθικός αριθμός του συνόλου που φαίνεται σκιαγραφημένο. Βλέπουμε ότι P A =α+β+δ+ε=23 P A P B =β+ε=11 P Α P C =δ+ε=19 P A P B P C =ε=9 Από τα παραπάνω προκύπτει ότι α=2 Άσκηση Φ3.36 Σε ένα σύνολο 40 ατόμων, οι 30 δεν έχουν Γαλλική υπηκοότητα και οι 10 έχουν Γερμανική υπηκοότητα. 5 από τα άτομα που έχουν Γαλλική υπηκοότητα δεν έχουν Γερμανική υπηκοότητα. Πόσα άτομα δεν έχουν ούτε Γαλλική, ούτε Γερμανική υπηκοότητα; Έστω S το σύνολο όλων των ατόμων, F το σύνολο αυτών που έχουν Γαλλική υπηκοότητα και G το σύνολο αυτών που έχουν Γερμανική υπηκοότητα. Γνωρίζουμε ότι S =40, S - F =30 F =10, G =10. Επίσης F - F G =5 F G =5 Ψάχνουμε το S - F G S - F G = S -( F + G - F G )=40-( )=25 Το ίδιο με διάγραμμα

22 Γνωρίζουμε ότι a+b+c+d=40 (1) a+d=30 (2) c+d=10 (3) b=5 (4) Ψάχνουμε το a (2)+(3)+(4): a+d+c+d+b=45 (a+b+c+d!+d=45 40+d=45 d=5 (5! Από (2) και (5) προκύπτει ότι a=25 Άσκηση Φ3.37 Έστω σύνολο Α={Ø, a} και το σύνολο Β={(a,b), (Ø,c)}. Υπολογίστε τα δυναμοσύνολα των συνόλων Α και Β, καθώς και το καρτεσιανό γινόμενο των Α και Β. P (A)=P({Ø,a})={ Ø,{Ø},{a},{ Ø,a}} P (B)=P({(a,b), (Ø,c)})={ Ø,{(a,b)},{(Ø,c)},{(a,b),( Ø,.c)}} AxB={(Ø, (a,b)),(ø,( Ø,c)),(a,(a,b)),(a,(Ø,c))} Άσκηση Φ3.38 (1) Έστω τρία σύνολα Α, Β, C, υποσύνολα ενός συνόλου Ω. Αποδείξτε ότι (Α Β) C = Α (B C) αν και μόνο αν C A. (1) (ι) Aς υποθέσουμε ότι C A. Τότε (Α Β) C= (Α C) (Β C). Αφού C A έχουμε ότι Α C= Α. Επομένως, (Α Β) C= (Α C) (Β C) = Α (B C). (ιι)ας υποθέσουμε ότι Α (Β C)=(Α Β) C. Έστω ότι δεν ισχύει το C A. Άρα x, x C x A x A x A ( B C) (1)

23 x C x ( A B) C) (2) Από (1) και (2) Α (Β C) (Α Β) C) Άτοπο! (Έμμεση απόδειξη) Άσκηση Φ Στα παρακάτω διαγράμματα Venn αναγνωρίστε τα σκιασμένα σύνολα χρησιμοποιώντας αποκλειστικά και μόνο τα σύμβολα της ένωσης, της τομής και του συμπληρώματος. 2. Ένα από τα σχήματα αναπαριστά τη διαφορά συνόλων. Εντοπίστε το και γράψτε τον ορισμό της διαφοράς χρησιμοποιώντας μόνο τα σύμβολα της ένωσης, της τομής και του συμπληρώματος 3. Ένα από τα σχήματα αναπαριστά τη συμμετρική διαφορά συνόλων. Εντοπίστε το και γράψτε τον ορισμό της συμμετρικής διαφοράς χρησιμοποιώντας μόνο τα σύμβολα της ένωσης, της τομής και του συμπληρώματος 1. a. ' b. Α ' c. (A B) ( U ) ' = (* ') (* '! d. (* '! #* '$ = (* '! (* '! = 2. Το σχήµα b. αναπαριστά τη διαφορά συνόλων. Άρα U R = Α ' 3. Το σχήµα c. αναπαριστά τη συµµετρική διαφορά συνόλων. Άρα U R = (A B! ( U ! ' = (* '! (* '!

24 Άσκηση Φ3.40 Τι μπορείτε να συνάγετε για τα σύνολα Α και Β αν ξέρετε ότι: (a) A B= A, (b) A B= A, (c) A B= A, (d) A B= B A (e) A B= B A. B A, (b) A B, (c) Β=Ø ή Α Β=Ø (d) A= B (e) Η σχέση ισχύει για οποιαδήποτε σύνολα, επομένως δεν μπορούμε να βγάλουμε κανένα συμπέρασμα για τα Α, Β. Άσκηση Φ3.41: Για καθένα από τους παρακάτω ισχυρισμούς, είτε αποδείξτε τον, είτε δώστε αντιπαραδείγματα που να αποδεικνύουν ότι δεν ισχύει 1. Εάν ο n είναι άρτιος, τότε ο n+1 διαιρείται ακέραια με το 3 2. Αν ο n είναι περιττός, τότε και ο 3n είναι περιττός 3. Αν ο n ή ο m είναι άρτιος, τότε ο n m είναι άρτιος 4. Εάν το τελευταίο ψηφίο ενός ακεραίου αριθμού n είναι το 3, τότε ο αριθμός αυτός διαιρείται ακριβώς με το Αν ο n διαιρείται με το 3, τότε ο n(n+1)(n+2) διαιρείται με το Αν ο n είναι περιττός, τότε ο n 3 -n διαιρείται με το Αν ο n είναι άρτιος και ο m περιττός, τότε ο n+m διαιρείται με το Αν ο n διαιρείται με το 3 τότε ο n 2-1 διαιρείται με το Αν ο n 2-1 δεν διαιρείται με το 8 τότε ο n είναι άρτιος 10. Το άθροισμα δύο περιττών ακεραίων είναι άρτιος ακέραιος 1. «Εάν ο n είναι άρτιος, τότε ο n+1 διαιρείται ακριβώς με το 3» Αντιπαράδειγμα: το 6 είναι άρτιος αλλά το 7 δεν διαιρείται ακριβώς με το «Αν ο n είναι περιττός, τότε και ο 3n είναι περιττός» Απόδειξη: Εφόσον ο n είναι περιττός, υπάρχει ακέραιος m τέτοιος ώστε n=2m+1. Επομένως, 3n=3(2m+1)=6m+3=(6m+2)+1=2(3m+1)+1. Επομένως, υπάρχει l=3m+1 τέτοιος ώστε 3n=2l+1, επομένως ο 3n είναι περιττός. 3. «Αν ο n ή ο m είναι άρτιος, τότε ο n m είναι άρτιος» Απόδειξη: 1η περίπτωση: o n είναι άρτιος και ο m περιττός: τότε n m=2k(2l+1)= 2[k(2l+1)] άρτιος. 2 η περίπτωση: o n είναι περιττός και ο m άρτιος: τότε n m=(2k+1)2l= 2[(2k+1)l] άρτιος. 3 η περίπτωση: o n είναι άρτιος και ο m άρτιος: τότε n m=2k2l= 2[2kl] άρτιος. Άρα σε κάθε περίπτωση, ο n m είναι άρτιος 4. «Εάν το τελευταίο ψηφίο ενός ακεραίου αριθμού n είναι το 3, τότε ο αριθμός αυτός διαιρείται ακριβώς με το 3» Αντιπαράδειγμα: o 13 πληροί τις προϋποθέσεις του θεωρήματος αλλά δεν διαιρείται με το «Αν ο n διαιρείται με το 3, τότε ο n(n+1)(n+2) διαιρείται ακριβώς με το 4».

25 Αντιπαράδειγμα: Ο 9 διαιρείται με το 3, αλλά ο 9*10*11=990 δεν διαιρείται ακριβώς με το Αν ο n είναι περιττός, τότε ο n 3 -n διαιρείται ακριβώς με το 12. Απόδειξη: n 3 -n = n(n 2-1) = n(n-1)(n+1) = (2k+1)2k(2k+2) = (4k 2 +2k)(2k+2) = 8k 3 +8k 2 +4k 2 +4k = 8k k 2 +4k = 4(2k 3 +3k 2 +k). Άρα ο n 3 -n διαιρείται ακριβώς με το 4. Επίσης, ο n(n-1)(n+1) διαιρείται ακριβώς με το 3. Αυτό συμβαίνει γιατί An (α) αν ο n διαιρείται ακριβώς με το 3, και ο n(n-1)(n+1) διαιρείται ακριβώς με το 3. (β) Αν ο n διαιρούμενος με το 3 δίνει υπόλοιπο 1 τότε ο n-1 διαιρείται ακριβώς με το 3, οπότε και ο n(n-1)(n+1) διαιρείται ακριβώς με το 3. (γ) Αν ο n διαιρούμενος με το 3 δίνει υπόλοιπο 2 τότε ο n+1 διαιρείται ακριβώς με το 3, οπότε και ο n(n-1)(n+1) διαιρείται ακριβώς με το 3. Άρα ο n(n-1)(n+1) διαιρείται ακριβώς με το 3 και με το «Αν ο n είναι άρτιος και ο m περιττός, τότε ο n+m διαιρείται με το 3» Αντιπαράδειγμα: o 2 είναι άρτιος, ο 3 περιττός αλλά ο 5 δεν διαιρείται ακριβώς με το Αν ο n διαιρείται με το 3 τότε ο n 2-1 διαιρείται με το 4. Αντιπαράδειγμα: ο 6 διαιρείται με το 3 αλλά ο 6*6-1=35 δεν διαιρείται με το «Αν ο n 2-1 δεν διαιρείται με το 8 τότε ο n είναι άρτιος» Απόδειξη: Έστω ότι ο n 2-1 δεν διαιρείται με το 8 και ότι ο n είναι περιττός. Τότε n=2k+1 και n 2-1=(n-1)(n+1) = 2k(2k+2)=4k*k+4k=4k(k+1). O k(k+1) όμως είναι άρτιος γιατί είτε ο k είτε ο k+1 είναι άρτιος. Άρα ο n 2-1 = 4k(k+1) μπορεί να γραφεί ως 4*2m=8m και άρα διαιρείται με το 8 (άτοπο). Άρα, aν ο n 2-1 δεν διαιρείται με το 8 τότε ο n είναι άρτιος. 10. «Το άθροισμα δύο περιττών ακεραίων είναι άρτιος ακέραιος» Απόδειξη: (2k+1)+(2l+1)=2(k+l)+2 = 2(k+l+1) άρτιος. Άσκηση Φ3.42: Έστω η παρακάτω απόδειξη της πρότασης ότι «εάν n και m είναι δύο άρτιοι ακέραιοι αριθμοί, τότε ο m+n διαιρείται ακριβώς με το 4 : «Εφόσον ο n είναι ακέραιος, τότε υπάρχει κάποιος ακέραιος k τέτοιος ώστε n=2k. Επίσης, εφόσον ο m είναι ακέραιος, τότε υπάρχει κάποιος ακέραιος k τέτοιος ώστε m=2k. Επομένως, n+m=2k+2k=4k. Άρα, ο n+m διαιρείται με το 4». Από την άλλη, μπορούμε εύκολα να δούμε ότι ενώ ο 4 και ο 14 είναι άρτιοι ακέραιοι, το άθροισμά τους δεν διαιρείται ακριβώς με το 4. Επομένως, πρέπει να υπάρχει κάποιο λάθος στην παραπάνω «απόδειξη». Ποιό είναι το λάθος αυτό; Εξηγείστε την απάντησή σας. Το σφάλμα είναι ότι ο ακέραιος k για τον οποίο ισχύει ότι n n=2k θεωρείται ίσος με τον ακέραιο για τον οποίο ο m είναι άρτιος. Με αυτόν τον τρόπο, οι ακέραιοι θεωρούνται ίσοι ενώ στην γενική περίπτωση δεν είναι. Η απόδειξη αυτή κάνει κατ ουσία εφαρμογή «καθολικής γενίκευσης» που δεν είναι ορθός κανόνας συμπερασμού. Άσκηση Φ3.43:

26 Ας ορίσουμε ως «παρέα» μία τριάδα ανθρώπων για τους οποίους ισχύει είτε ότι όλοι έχουν κάνει χειραψία με τους υπόλοιπους δύο, είτε κανείς δεν έχει κάνει χειραψία με κανέναν από τους άλλους δύο. Δείξτε ότι αναγκαστικά, σε ένα σύνολο 6 ανθρώπων υπάρχει «παρέα». Χρησιμοποιούμε απόδειξη με περιπτώσεις. Έστω X ένας από τους 6 ανθρώπους. Υπάρχουν δύο δυνατότητες: 1. Υπάρχουν τουλάχιστον τρία άτομα που έκαναν χειραψία με τον X. Τώρα υπάρχουν άλλες δύο υποπεριπτώσεις: (a) Ανάμεσα σε αυτούς τους 3, κάποιο ζευγάρι έκανε χειραψία. Τότε αυτοί οι 2 και ο Χ αποτελούν παρέα. (b) Μεταξύ αυτών των τριών κανένα ζεύγος δεν έκανε χειραψία. Tότε αυτοί οι 3 αποτελούν παρέα. 2. Υπάρχουν τουλάχιστον τρία άτομα που δεν έκαναν χειραψία με τον X. Σε αυτή την περίπτωση το πολύ δύο άτομα έκαναν χειραψία με τον Χ. Πάλι, υπάρχουν δύο υποπεριπτώσεις: (a) Ανάμεσα σε αυτούς τους 3, κάθε ζευγάρι έκανε χειραψία. Τότε αυτοί οι τρεις αποτελούν παρέα. (b) Ανάμεσα σε αυτούς τους 3, τουλάχιστον ένα ζευγάρι δεν έκανε χειραψία. Τότε αυτοί οι δύο και ο Χ αποτελούν παρέα. Άσκηση Φ3.44: Έστω x και y θετικοί πραγματικοί αριθμοί. Ο αριθμητικός μέσος των x και y ορίζεται ως ο (x+y)/2 και ο γεωμετρικός μέσος ως ο (xy) 1/2. Αποδείξτε ότι ο αριθμητικός και ο γεωμετρικός μέσος συμπίπτουν αν και μόνο αν x=y. x+ y = xy 2 x+ y = xy = x 2xy y 4xy = x 2xy y 0 x y = 2 ( ) 0 x y = 0 x = y

27 Άσκηση Φ3.45: Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά πόσον ο κατηγορούμενος Α είναι ένοχος. Εκείνος απάντησε ότι και οι τρεις παρακάτω προτάσεις είναι αληθείς: (i) O A είναι αθώος ή ο Β είναι ένοχος (ii) Ο B είναι αθώος ή ο Γ είναι αθώος. (iii) Εάν ο Α είναι ένοχος, τότε οι Β και Γ είναι και οι δύο ένοχοι Θεωρώντας δεδομένο ότι ο δικαστής λέει την αλήθεια, ο Α είναι τελικά αθώος ή ένοχος; Δικαιολογείστε την απάντησή σας Έστω Α η πρόταση «Ο Α είναι ένοχος», Β η πρόταση «Ο Β είναι ένοχος» και Γ η πρόταση «ο Γ είναι ένοχος». Τότε ο δικαστής μας διαβεβαιώνει ότι και οι τρεις παρακάτω προτάσεις είναι αληθείς: 1. Α Β 2. Β Γ 3. Α Β Γ. Από την (3) προκύπτει ότι η Α (Β Γ) είναι αληθής Άρα η Α ( Β Γ) είναι αληθής Άρα εξαιτίας της (2) η Α Τ είναι αληθής Άρα η Α F είναι αληθής Άρα η Α είναι αληθής Άρα η Α είναι ψευδής. Άρα ο Α είναι αθώος. Άσκηση Φ3.46 Δείξτε χρησιμοποιώντας κανόνες εξαγωγής συμπερασμάτων ότι αν ισχύει ότι xp( x)τότε ισχύει ότι xp(x) Δείξτε ότι οι προϋποθέσεις xp( x)και x(p(x)q(x)) οδηγούν στο συμπέρασμα ότι x Q(x). xp(x) Άρα P(O) για κάποια σταθερά Ο (καθολική συγκεκριμενοποίηση) Άρα xp(x) (υπαρξιακή γενίκευση) Άλλος τρόπος Έστω ότι ισχύει xp(x) και δεν ισχύει xp(x) δηλαδή x P(x) x P(x) το οποίο είναι αντίφαση γιατί ξέρουμε από την υπόθεση ότι ισχύει x P(x). Άρα αν ισχύει x P(x) τότε ισχύει ότι x P(x) 2. xp(x) Επομένως P(O) για κάποια σταθερά Ο Εφόσον ισχύει x (P(x) Q(x)) θα ισχύει και ότι P( Ο) Q(Ο)

28 Και επειδή ισχύει P( Ο), θα ισχύει (modus ponens) Q(Ο) Άρα xq(x) Άσκηση Φ3.47 Αποδείξτε χρησιμοποιώντας περιπτώσεις ότι εάν -, R, τότε x+ y = min( x, y) + max( x, y). 1η περίπτωση: x > y με x,y R αφού x > y τότε: x + y = min(x,y! Œ Ž άρα x + y = y + x κάτι που ισχύει + max(x,y! Œ Ž 2η περίπτωση: x < y με x,y R αφού x < y tότε: x + y = min(x,y! Œ Ž άρα x + y = x + y κάτι που ισχύει + max(x,y! Œ Ž 3η περίπτωση: x = y με x,y R αφού x = y τότε: x + y ŒŽ άρα x + x = min(x,x! Œ Ž = min(x,y! Œ Ž (,! + max(x,x! Œ Ž + max(x,y! Œ Ž (,! κάτι που ισχύει Άσκηση Φ3.48 (α) Αποδείξτε ότι ένας ακέραιος n είναι περιττός αν και μόνο αν ο 7n+8 είναι περιττός (β) Έστω ότι Z. Αποδείξτε ότι εάν ο N 0 2N + 7 είναι άρτιος, τότε ο αείναι περιττός. Για να αποδείξουμε την πρόταση, πρέπει να αποδείξουμε και το ευθύ και το αντίστροφο. Ευθύ: αν ο n είναι περιττός τότε: 7n + 8 = 7(2k + 1! + 8 = 14k + 15 = 2(7k Œ Ž + 7! + 1που είναι περιττός άρα ισχύει. Αντίστροφο: Για να αποδείξουμε ότι αν 7n+8 είναι περιττός τότε και ο n περιττός αρκεί να αποδείξουμε ότι αν ο n είναι άρτιος τότε ο 7n+8 είναι άρτιος (έμμεση απόδειξη q p p q) αν ο n είναι άρτιος τότε: 7n + 8 = 7(2k! + 8 = 14k + 8 = 2(7k Œ Ž+ 4! είναι άρτιος άρα ισχύει. š š

29 Για να αποδείξουμε ότι αν ο a 0 2a + 7 είναι άρτιος τότε ο α είναι περιττός, αρκεί να αποδείξουμε ότι αν ο α είναι άρτιος το ο a 0 2a + 7 είναι περιττός. Αν ο a άρτιος τότε a 0 2a + 7 = (2κ! 0 2(2k! + 7 = 4k 0 4k + 7 = 2(2k Œ 0 2k + 3! + 1 είναι περιττός άρα ισχύει. Ž š Άσκηση Φ3.49 Αποδείξτε ότι για οποιουσδήποτε πραγματικούς αριθμούς x, y ισχύει ότι x+ y + x y x + y. 1 η περίπτωση x>0, y>0. Τότε x = -, y = και x + y = - + Επομένως: x + y + x y x + y x + y + x y x + y x y 0 πράγμα που ισχύει 2 η περίπτωση x<0, y<0. Τότε x = -, y = και x + y = - + Επομένως : x + y + x y x + y x + y + x y x + y x y 0 πράγμα που ισχύει 3 η περίπτωση x<0, y>0, ή x>0, y<0. Τότε x y = - + Πάλι η αρχική σχέση οδηγεί στο ότι μία απόλυτη τιμή είναι μεγαλύτερη ή ίση του 0, πράγμα που ισχύει. Εύκολα αποδεικνύεται επίσης η πρόταση αν κάποιος από τους x και y είναι ίσος με το μηδέν. Άσκηση Φ3.50 Αποδείξτε ότι για κάθε ακέραιο n, o 4(n 2 + n +1) 3n 2 είναι τέλειο τετράγωνο. 4(n 2 +n+1)-3n 2 = 4n 2 +4n+4-3n 2 = n 2 +4n+4 = (n+2) 2 Άσκηση Φ3.51 Αποδείξτε ότι για ακεραίους n,k,m αν ο n δεν διαιρεί ακριβώς τον k*m, τότε ο n δεν διαιρεί ακριβώς τον k. Αρκεί να αποδείξουμε την αντιστροφοαντίθετη αυτής της πρότασης, η οποία είναι ότι «για ακέραιους n,k,m αν ο n διαιρεί ακριβώς τον k τότε διαιρεί ακριβώς τον k*m». Πράγματι, εφόσον ο n διαιρεί τον k, υπάρχει ακέραιος αριθμός - Z τέτοιος ώστε : = -. Ο γράφεται = - = (-! και εφόσον -, Z, υπάρχει ακέραιος = - τέτοιος ώστε =, δηλαδή ο n διαιρεί τον.

30 Άσκηση Φ3.52 Έστω ακέραιοι a,b. Αποδείξτε ότι αν ο 4 διαιρεί ακέραια το N τότε οι a,b δεν είναι και οι δύο περιττοί. Το γεγονός ότι 4 ( 0 + 0! σημαίνει ότι υπάρχει ακέραιος m τέτοιος ώστε N = 4. Έστω τώρα ότι οι a,b είναι και οι δύο περιττοί ( = 2 + 1, = 2 + 1! Τότε, = 4 => (2 + 1! 0 + (2 + 1! 0 = 4 => = 4( !+ 2 = 4 =2( ! + 1 = 2m (1) Στη σχέση (1), ένας περιττός αριθμός (αριστερό μέλος) είναι ίσος με ένα άρτιο αριθμό (δεξιό μέλος). Αυτό είναι άτοπο. Επομένως, οι a,b δεν μπορεί να είναι και οι δύο περιττοί. Άσκηση Φ3.53 Αποδείξτε ότι για όλους τους θετικούς ακεραίους a, b, ισχύει ότι a b α. Έστω a=b. Τότε a b = 0 1. β. Έστω a>b Τότε λ, λ>0 τέτοιο που a+λ=b. Εφόσον a,b ακέραιοι, λ>1 Άρα a b = ( b+ λ) b = b + 2λb+ λ b = 2λb+ λ > 1 γ. Έστω a<b. Τότε a b 2 2 < 0 1. Άσκηση Φ3.54 Αποδείξτε με απαγωγή σε άτοπο ότι για κάθε πραγματικό αριθμό x ϵ[0, π/2], ισχύει ότι sin x + cos x 1 Έστω ότι sinx + cosx < 1, xϵ[0,π/2]. Αφού sinx, cosx 0 τότε (sinx + cosx) 2 <1 2 => sin 2 x + 2sinxcosx + cos 2 x < 1 => 2sinxcosx + 1 < 1 => 2sinxcosx < 0, Άτοπο καθώς sinx, cosx 0 Άσκηση Φ3.55 Αποδείξτε ότι για κάθε θετικό ακέραιο n αν ο n είναι τέτοιος ώστε το υπόλοιπο της διαίρεσης του με το 4 να είναι 2 ή 3, τότε ο n δεν είναι τέλειο τετράγωνο. Έστω ότι ο n είναι τέλειο τετράγωνο. Αυτό σημαίνει ότι υπάρχει ακέραιος k τέτοιος ώστε n=k*k.

31 Έστω ότι ο k είναι άρτιος. Τότε, n=k*k=2λ*2λ = 4λ 2 και επομένως το υπόλοιπο της διαίρεσής του με το 4 είναι 0. Έστω ότι ο k είναι περιττός. Τότε, n=(2λ+1)(2λ+1)= 4λ 2 + 4λ + 1 = 4λ(λ+1) +1 και επομένως το υπόλοιπο της διαίρεσής του με το 4 είναι 1. Άσκηση Φ3.56 Χρησιμοποιώντας επαγωγή, αποδείξτε ότι ο 4 n +15n - 1 διαιρείται ακριβώς με το 9, για κάθε nϵn, n 1 Για n=1, = 18, που διαιρείται ακριβώς με το 9. Έστω ότι ισχύει και για n=k, δηλαδή ο 4k + 15k 1 διαιρείται ακριβώς με το 9. Θα δείξουμε ότι ισχύει και για k+1, δηλαδή ο 4 k (k+1) 1 διαιρείται ακριβώς με το 9. 4 k (k+1) 1 = 4 κ k = 3 4 k (4 k + 15k 1). O 4 k + 15k 1 διαιρείται ακριβώς με το 9 λόγω επαγωγικής υπόθεσης άρα αρκεί να δείξουμε ότι και ο 3 4 k + 15 διαιρείται ακριβώς με το 9. Για k=1, = 27, που διαιρείται ακριβώς με το 9. Έστω ότι ισχύει και για k=μ, δηλαδή ο 3 4 μ + 15 διαιρείται ακριβώς με το 9. Θα δείξουμε ότι ισχύει και για μ+1, δηλαδή ο 3 4 μ διαιρείται ακριβώς με το μ = 3 4 μ = 3 4 μ =4(3 4 μ + 15) 45, ο πρώτος όρος είναι πολ/σιο του 9 λόγω επαγωγικής υπόθεσης, ο δεύτερος είναι πολ/σιο του 9 άρα και ο 3 4 μ Οπότε και ο 3 4 k (4 k + 15k 1) διαιρείται ακριβώς με το 9 άρα το ζητούμενο αποδείχτηκε. Άσκηση Φ3.57 Αποδείξτε επαγωγικά ότι για κάθε n ϵ N, n 0, 1 1! + 2 2! + + n n! = (n+1)! 1. Για n=0, 0 0! = 1! 1 = 0, ισχύει Έστω ότι ισχύει για n=k, δηλαδή 1 1! + +k k! = (k + 1)! 1 Θα δείξουμε ότι ισχύει και για k+1, δηλαδή 1 1! + +k k! + (k+1)(k+1)! = (k )! 1 1 1! + 2 2! + +k k! + (k+1)(k+1)! = (k + 1)! 1 + (k+1)(k+1)! = (k+1)! (1 + k + 1) 1 = (k+1)! (k + 2) 1 = (k + 2)! 1 Άσκηση Φ Αποδείξτε επαγωγικά ότι n 1, (n N), ισχύει ότι ο n 3 -n διαιρείται ακριβώς από τον αριθμό 3.

32 2. Αποδείξτε την ίδια πρόταση με αυτή του προηγούμενου ερωτήματος, χωρίς να κάνετε χρήση επαγωγής. 1. (Επαγωγική απόδειξη) Για n=1, n 3 -n = 1-1 = 0, διαιρείται ακέραια με το 3. Έστω ότι ο k 3 -k = 3z για κάποιο ακέραιο z Θα δείξω ότι (k+1) 3 -(k+1) = 3μ για κάποιο ακέραιο μ Πράγματι (k+1) 3 -(k+1) = k 3 +3k 2 +3k+1-k-1= 3k 2 +3k+ k 3 -k=3(k 2 +k)+3z=3m+3z=3(m+z) ο.ε.δ 2. (Mη επαγωγική απόδειξη) k 3 -k=k(k 2-1)=k(k-1)(k+1) O αριθμός εκφράζεται σαν το γινόμενο τριών διαδοχικών ακεραίων εκ των οποίων ο ένας είναι οπωσδήποτε πολλαπλάσιο του 3, άρα κι αυτός είναι ακέραιο πολλαπλάσιο του 3 Άσκηση Φ3.59 Αποδείξτε ότι ο 23 1 διαιρείται ακριβώς από το 11 για κάθε θετικό ακέραιο n. 23 n -1, n Є Z, n>0 n=1: =22, όπου Έστω 11 (23 k -1) k Є Z+. Θα δείξω ότι 11 (23 k+1-1) Πράγματι, 23 κ+1-1 = 23 k * 23-1 = 22*23 k + 23 k -1. Από υπόθεση, k-1. Επίσης, είναι προφανές ότι k *22, καθώς το 22 είναι πολλαπλάσιό του. Επομένως, για κάθε ακέραιο n>0 ισχύει : 11 (23 n -1). Άσκηση Φ3.60 Αποδείξτε επαγωγικά ότι n 1 (n N), ισχύει: n(3n 1) (3n 2) = 2 Η πρόταση P(1) ισχύει επειδή 1 = 1*(3*1-1)/2 Έστω ότι ισχύει η πρόταση P(n) δηλαδή ότι n(3n 1) (3n 2) = 2 Πρέπει να δείξουµε την P(n+1) δηλαδή ότι ( n+ 1)[3( n+ 1) 1)] (3n 2) + [3( n+ 1) 2] = Πράγµατι (n+1)[3(n+1)-1]/2 = 2

33 = [3(n+1) 2 (n+1)]/2 =[3(n 2 +2n+1) (n+1)]/2 =(3n 2 + 6n + 3 n - 1)/2 = (3n 2 n)/2 + (6n+2)/2 = n(3n-1)/2 + (3n+1) = (3n-2) + (3n+1) = (3n-2) + [3(n+1)-2] ο.ε.δ Άσκηση Φ3.61 Αποδείξτε επαγωγικά ότι για κάθε n>1, n N n! < n Για n=2 (n>1) ισχύει (2!<2 2 2<4) Έστω ότι ισχύει για n=k, οπότε k! < k k Θέλω να αποδείξω ότι ισχύει για n=k+1, δηλαδή ότι (k+1)!<(k+1) k+1 k NNk<k+1Nk k <(k+1) k N(k+1) k k <(k+1) (k+1) k (1) Από υπόθεση k! < k k N ( k+1)k!<(k+1) k k <(k+1) (k+1) k N (από (1)) (k+1)!< (k+1) k+1 ο.εδ. n Άσκηση Φ3.62 Για όλα τα πεπερασμένα σύνολα A, εάν A =n τότε P(A) = 2 n. Βάση επαγωγής: Εάν A =0 τότε P(A) = 2 0 =1. Υποθέτουμε ότι για κάθε σύνολο A τέτοιο ώστε A =n, ισχύει ότι P(A) = 2 n Έστω τώρα οποιοδήποτε σύνολο B τέτοιο ώστε B =n+1. Πρέπει να δείξουμε ότι: P(B) =2 n+1 Αν Β={α1, α2,α3,...,αn,αn+1}={α1, α2,α3,...,αn} ( αn+1}=α { αn+1} Το P(B) έχει στοιχεία όλα τα στοιχεία του P(A) συν αυτά που προκύπτουν αν σε όλα τα στοιχεία του P(A) προσθέσουμε το αn+1. Συνεπώς προκύπτουν ακόμη P(A) στοιχεία Άρα P(B) =2 P(A) =2*2 n =2 n+1 Άσκηση Φ3.63 Με βάση την τριγωνική ανισότητα, για οποιουσδήποτε πραγματικούς αριθμούς x και y ισχύει ότι x+ y x + y. Αποδείξτε με επαγωγή ότι για κάθε n>2, x + x x x + x x 1 2 n 1 2 n

34 Για n=2 ισχύει εφόσον x1 + x2 x1 + x2 (από την τριγωνική ανισότητα). Έστω ότι η πρόταση ισχύει για n=k, δηλαδή, x + x x x + x x 1 2 k 1 2 k Θα δείξω ότι ισχύει για n=k+1, δηλαδή ότι x1 + x xk + xk+ 1 x1 + x xk + xk+ 1. Πράγματι, x + x x + x = ( x + x x ) + x x + x x + x 1 2 k k k k k k+ 1 x + x x + x 1 2 k k+ 1 Άσκηση Φ3.64 Δείξτε με επαγωγή ότι για κάθε n>0 και για x y, ο x n -y n διαιρείται ακριβώς από τον αριθμό x-y. Για n=1, x n -y n = x-y, ο οποίος διαιρείται με το x-y. Έστω ότι η πρόταση ισχύει για n=k, δηλαδή έστω ότι o x k -y k διαιρείται με το x-y. Θα δείξω ότι τότε, και ο x k+1 -y k+1 διαιρείται ακριβώς από τον αριθμό x-y. Πράγματι, x k+1 -y k+1 = xx k -yy k = xx k -yy k + xy k -xy k = x(x k -y k )+(x-y)y k Όμως το x(x k -y k ) διαιρείται με το x-y γιατί το x k -y k διαιρείται με το x-y. Επίσης, το (x-y)y k διαιρείται με το x-y. Επομένως, το x(x k -y k )+(x-y)y k διαιρείται με το x-y, κι επομένως και το x k+1 -y k+1 διαιρείται με το x-y. Άσκηση Φ3.65: Δείξτε ότι για κάθε n>0, ο 133 διαιρεί ακριβώς τον 11 (n+1) +12 (2n-1) Για n=1, 11 (n+1) +12 (2n-1) = = =133, ο οποίος διαιρείται ακριβώς από τον 133. Έστω ότι ο 133 διαιρεί ακριβώς τον 11 (k+1) +12 (2k-1), δηλαδή έστω ότι 11 (k+1) +12 (2k-1) = 133λ για κάποιο ακέραιο λ. Θα δείξω ότι η πρόταση ισχύει και n=k+1, δηλαδή ότι ο 11 (k+1+1) +12 2(k+1)-1 διαιρείται από τον 133. Πράγματι, 11 (k+1+1) +12 2(k+1)-1 = 11 k k+1 = 11*11 k *12 2k-1 = 11*11 k *12 2k-1 +11*12 2k-1

35 = 11*(11 k k-1 )+ 133*12 2k-1 = 11*133λ + 133*12 2k-1 = 133*(11λ+12 2k-1 ), το οποίο διαιρείται με το 133. Άσκηση Φ3.66: Αποδείξτε ότι για όλους τους ακεραίους n 1, n( n+ 1) n =. 2 2 Βασικό βήμα - για n = 1: 3 1(1 + 1) 1 = = 1 (ισχύει) k( k + 1) Υποθέτω ότι k = ( k + 1)( k + 2) Θα δείξουμε ότι ισχύει ότι k + ( k + 1) = 2 Έχουμε : k( k + 1) k + ( k + 1) = + ( k + 1) = k ( k + 1) 3 k ( k + 1) + 4( k + 1) + ( k + 1) = = ( k + 1) ( k + 2) ( k + 1)( k + 2) = Επομένως, αποδείξαμε ότι n( n+ 1) n 1, n = 2 2 Άσκηση Φ3.67: Αποδείξτε ότι εάν x 1, τότε n 0, n i= 0 x i = n+ 1 x 1 x 1 x 1 (ι) Βασικό βήμα: Για n=0, ισχύει γιατί η σχέση δίνει 1=, το οποίο ισχύει. x 1 (ιι) Έστω ότι η πρόταση ισχύει για n = k, δηλαδή ότι ισχύει: k i= 0 x i = k+ 1 x 1 x 1

36 Θα δείξουμε ότι ισχύει για n = k + 1. Πράγματι: k+ 1 k k+ 1 k+ 1 k+ 2 i i k+ 1 x 1 k+ 1 x 1 k+ 1 x 1 x 1 x = x + x = + x = + x = x 1 x 1 x 1 x 1 i= 0 i= 0 Άσκηση Φ3.68: n n! Έστω ότι n, r N, n r, =. Η φόρμουλα του Pascal λέει ότι r r!( n r)! n n 1 n 1 = +. Χρησιμοποιείστε τη προκειμένου να αποδείξετε ότι n 5, r r r 1 n j n+ 1 = j= (ι) Βασικό βήμα: Για n=5 ισχύει, εφόσον 5 j = = 1= = j= (ιι) Έστω ότι ισχύει ότι: k j k + 1 = j= (iii) Θα πρέπει να δείξουμε ότι: k+ 1 j ( k + 1) + 1 = j= Πράγματι, k+ 1 k j j k + 1 k + 1 k + 1 k + 2 ( k + 1) + 1 = + = + = = j= 5 5 j= Άσκηση Φ3.69: Αποδείξτε χρησιμοποιώντας μαθηματική επαγωγή ότι για κάθε ακέραιο n 1, ο ακέραιος 3 2 2n + 3n + n διαιρείται ακριβώς με το Βάση της επαγωγής: Για n = 1, 2n + 3n + n = = 6, το οποίο διαιρείται ακριβώς με το 6. Άρα ισχύει. 3 2 Έστω ότι ο 2k + 3k + k διαιρείται ακριβώς με το Θα αποδείξω ότι ο 2( k + 1) + 3( k + 1) + ( k + 1) διαιρείται ακριβώς με το 6. Πράγματι,

37 3 2 2( 1) 3( 1) ( 1) k + + k + + k + = ( 3 3 1) 3( 2 1) ( 1) k + k + k + + k + k + + k + = k + k + k + + k + k + + k + = k + k + k + = (2 3 ) (6 12 6) k + k + k + k + k + = ( ) + 6( ) k k k k k Στην τελευταία σχέση, ο πρώτος όρος διαιρείται ακριβώς με το 6 (από την επαγωγική υπόθεση) και ο δεύτερος επίσης (εφόσον γράφεται ως γινόμενο του 6 με κάποιο ακέραιο). 3 2 Επομένως ο 2( k + 1) + 3( k + 1) + ( k + 1) διαιρείται ακριβώς με το 6, πράγμα που ολοκληρώνει την απόδειξη του βήματος της επαγωγής και την επαγωγική απόδειξη. Άσκηση Φ3.70: n 1 n( n+ 1)( n 1) Αποδείξτε ότι για όλους τους ακεραίους n 2, i( i+ 1) =. i= 1 3 S S Για n = 2 έχουμε: ªS i(i + 1! = ªS i(i + 1! = 1 2 = 2 (1) = 0(0 S!(0 S! = 2 (2) και ( S!( S! ««S ªS = 0 «S «από (1) κ (2) ισχύει και i(i + 1! S Έστω ότι για n = k ισχύει ªS i(i + 1! = ( S!( S! «= ( S!( S! «ªS για n = 2 (3) τότε για n = k + 1 αρκεί να αποδείξουμε i(i + 1! = S( 0! : «ªS i(i + 1! = 1(1 Œ + 1! + 2(2 + 1! + Ž + (k 1!(k 1+ 1! S = i(i + 1! ªS + k(k + 1! + k(k + 1! = ( S!( S! «= ( S!( S! «( S! «= («S! ( S! «(4) = ( S!( 0! «άρα ισχύει και για n = k + 1 ±² ( S! S από (3) και (4) συμπεραίνουμε ότι ªS i(i + 1! = ( S!( S! «+ k(k + 1! = ισχύει για n 2 Άσκηση Φ3.71: Αποδείξτε ότι για όλους τους ακεραίους n 0, n+ 1 i= 1 i n+ 2 2 i = 2 n+ 2.

38 ª S Για n = 0 έχουμε: ªS 2 i = 2 (1) και 2 0 n + 2 = = 2 (2) ª S από (1) και (2) ισχύει και ªS 2 i = 2 0 n + 2 για n = 0 (3) ª S Έστω ότι για n = k ισχύει ªS 2 i = 2 0 k + 2 ª S S τότε για n = k + 1 αρκεί να αποδείξουμε ªS 2 i = 2 S 0 (k + 1! + 2: ª 0 ªS 2 i = 2Œ S Ž + 2 S (k + 1! (k + 2! = ±² ³ ±² 0 ± = 2 0 k (k + 2! = 2 0 (k + k + 2! + 2 = 2 0 (2k + 2! + 2 = (k + 1! + 2 = 2 «(k + 1! + 2 (4) άρα ισχύει και για n = k + 1 ª S από (3) και (4) συμπεραίνουμε ότι ªS 2 i = 2 0 k + 2 ισχύει για n 0 Άσκηση Φ Έστω a, b θετικοί ακέραιοι. Δείξτε ότι αν ο a + b είναι περιττός τότε ακριβώς ένας από τους a και b είναι περιττός. Αρκεί να δείξω την αντιστροφοαντίθετη της, δηλαδή ότι «εάν δεν είναι ακριβώς ένας από τους 3 3 a και b περιττός, τότε ο a + b είναι άρτιος». Η υπόθεση της τελευταίας πρότασης αντιστοιχεί σε δύο περιπτώσεις (ι) κανένας από τους a και b να μην είναι περιττός (και οι δύο άρτιοι) και (ιι) και οι δύο να είναι περιττοί (ι) Αν και οι δύο είναι άρτιοι τότε a + b = (2 κ ) + (2 λ) = 8κ + 8λ = 8( κ + λ ), ο οποίος είναι άρτιος (ο.ε.δ.). (ιι) Αν και οι δύο είναι περιττοί τότε a + b = (2κ + 1) + (2λ + 1) = κ + κ + κ + + λ + λ + λ + = ( κ λ ) 6( κ λ κ λ) = ( κ + λ + κ + λ + κ + λ + ) 2 4( ) 3( ) 1 ο οποίος είναι άρτιος (ο.ε.δ.). Προφανώς, υπάρχουν και άλλοι τρόποι απόδειξης. Άσκηση Φ ( n+ 1) n Αποδείξτε επαγωγικά ότι N, > 0 ισχύει ότι n = (1+ 1) 1 ( n+ 1) n Για n = 1, ισχύει ότι n = 1 = 1= = = =, ισχύει

39 ( k + 1) k Έστω ότι για n = k ισχύει ότι k = 4 Θα πρέπει να δείξω ότι η πρόταση ισχύει για n = k + 1, δηλαδή ότι ( k + 2) ( k + 1) k + ( k + 1) =. 4 Πράγματι, k + ( k + 1) = k + ( k + 1) = ( ) ( k + 1) k 3 ( k + 1) k + 4( k + 1) + ( k + 1) = = 4 4 ( ) ( ) ( k + 1) k + 4( k + 1) ( k + 1) k + 4k + 4 ( k ) 2 ( k + 1) = = ( ΟΕ ). Άσκηση Φ3.74 Αποδείξτε ότι εάν ο ακέραιος n είναι τέλειο τετράγωνο, τότε ο n+6 δεν είναι τέλειο τετράγωνο. Έστω ότι ο n είναι τέλειο τετράγωνο (n=a 2 ) και ο n+6 είναι επίσης τέλειο τετράγωνο (n+6=b 2 ) για κάποιους μη αρνητικούς ακεραίους a,b. Τότε b 2 -a 2 =6 (b-a)(b+a)=6 Οι μόνες δυνατές τιμές των b-a και b+a είναι b-a = 1, b+a=6 ή b-a =2, b+1=3 Στην 1 η περίπτωση b=7/2 και στη 2 η b=5/2 Άτοπο γιατί ο b είναι ακέραιος Άσκηση Φ3.75 Να χρησιμοποιήσετε τους κανόνες συνεπαγωγής για να δείξετε ότι, αν οι -((-! (µ(-! (-!!! και -((-! (-!! είναι αληθείς, τότε η -( (-! (-!! είναι επίσης αληθής. Έστω ότι -( (-! (-!! ψευδής Τότε -( (-! (-!! -( (-! (-!! (1) Έστω a ένα στοιχείο του πεδίου ορισμού για το οποίο ισχύει η (1) Γι αυτό το a ισχύει: (! (! δηλαδή τουλάχιστον μια από τις R(a), S(a) είναι ψευδής.

40 Από την υπόθεση όμως και για κάθε x του πεδίου ορισμού, άρα και για το a: P(a) (µ(! (!! (2) και (! (! (3) αληθείς άρα P(a) αληθής (4) και R(a) αληθής (5) Από την (2) και (4) με modus ponens µ(! (! αληθής άρα Q(a) αληθής (6) και S(a) αληθής (7), Οι (5) και (7) έρχονται σε αντίφαση με την υπόθεσή μας Άσκηση Φ3.76 Να αποδείξετε ότι, αν ο n είναι ακέραιος και ο 3n+2 είναι άρτιος, τότε ο n είναι άρτιος, χρησιμοποιώντας: α. Απόδειξη με αντιθετοαντιστροφή β. Απόδειξη με αντίφαση Έστω p: O 3n+2 είναι άρτιος και q: ο n είναι άρτιος Θέλω να αποδείξω ότι ¹ º a. Αποδεικνύω την º ¹ Έστω ότι ο n είναι περιττός. Άρα υπάρχει ακέραιος k τέτοιος που n=2k+1 3n+2=3(2k+1)+2=6k+3+2=6k+5=2(3k+2)+1 που είναι περιττός. β. Αποδεικνύω ότι η (¹ º! είναι ψευδής (¹ º! ( ¹ º! ¹ º Αρκεί δηλαδή να αποδείξω ότι η πρόταση ο 3n+2 είναι άρτιος και ο n είναι περιττός είναι ψευδής Έστω ότι ισχύει. Εφόσον ο n είναι περιττός, υπάρχει ακέραιος m τέτοιος ώστε n=2m+1 3n+2=6k+5 που είναι περιττός, γεγονός που έρχεται σε αντίφαση με την υπόθεσή μου. Άσκηση Φ3.77 Να αποδείξετε ότι, οι παρακάτω προτάσεις για τον ακέραιο n είναι ισοδύναμες: (α) Ο n 2 είναι περιττός (β) Ο 1-n είναι άρτιος (γ) Ο n 3 είναι περιττός (δ) Ο n 2 +1 είναι άρτιος Αποδεικνύω ότι και οι 4 προτάσεις είναι ισοδύναμες με την πρόταση Ο n είναι περιττός άρα είναι ισοδύναμες και μεταξύ τους Έστω n περιττός. Συνεπώς υπάρχει ακέραιος m τέτοιος που n=2m+1 (a) Ευθύ: n=2m+1 n 2 =(2m+1) 2 n 2 =4 m 2 +4m+1=2(2 m 2 +2m)+1 που είναι περιττός Αντίστροφο: Έστω ότι ο n είναι άρτιος και ο n 2 είναι περιττός Yπάρχει k τέτοιο που n=2k και m τέτοιο που n 2 =2m+1 n=2k n 2 =4k που είναι άρτιος και έρχεται σε αντίφαση με την υπόθεσή μας

41 (b) n=2m+1 1 = = 2 που είναι άρτιος (η πρόταση ισχύει και αντίστροφα) (γ) Ευθύ: n=2m+1 n 3 =(2m+1) 3 =8 m m 2 +6m+1=2(4m 3 +6m 2 +3m)+1 που είναι περιττός Αντίστροφο: Έστω ότι ο n είναι άρτιος και ο n 3 είναι περιττός Άρα υπάρχει k τέτοιο που n=2k και m τέτοιο που n 3 =2m+1 n=2k n 3 =8k που είναι άρτιος και έρχεται σε αντίφαση με την υπόθεσή μας (δ) Από το (α) ο n 2 είναι περιττός άρα ο n 2 +1 είναι άρτιος (η πρόταση ισχύει και αντίστροφα) Άσκηση Φ3.78 Αποδείξτε επαγωγικά ότι, για κάθε n 1, το 8 n 3 n διαιρείται ακριβώς δια του 5. Βήμα 1 Για n=1, 8 n 3 n =8-3=5, Ισχύει Βήμα 2 Υπόθεση: Έστω ότι ισχύει για n=k και 5 8 k 3 k Άρα υπάρχει ακέραιος m τέτοιος που 8 k 3 k =5m 8=5m-3 k (1) Θέλω να αποδείξω ότι ισχύει για n=k+1 8 k+1 3 k+1 =8 8 k 3 3 k =8(5m-3 k )-3 3 k =8 5m-8 3 k -3 3 k =8 5m-3 k (8-3)= 8 5m-3 k 5=5(8m-3 k ) άρα είναι πολλαπλάσιο του 5 Άσκηση Φ3.79 Αποδείξτε επαγωγικά ότι ο ακέραιος 3 διαιρεί ακέραια τον ακεραίους n. n 3 + 2n, για όλους τους θετικούς Βάση επαγωγής: n=1 Για n=1, =3 διαιρείται δια του 3 Έστω ότι η πρόταση ισχύει για n=k, δηλαδή ο 3 διαιρεί τον k 3 +2k (k 3 +2k=3m) Για n=k+1: (k+1) 3 +2(k+1)=k 3 +3k 2 +3k+1+2k+2= k 3 +2k+3(k 2 +k+1)=3m+3(k 2 +k+1) που διαιρείται δια του 3 Άσκηση Φ3.80 Έστω f n, n 1, οι αριθμοί της ακολουθίας Fibonacci οι οποίοι ορίζονται αναδρομικά ως ακολούθως: f = 0 0, f = 1, f = +, 1 n fn 1 fn 2 για n 2. Να δείξετε επαγωγικά ότι f 1+ f f n = f n + 2 1, για όλα τα n 1. f0=0, f1=1, f2=f1+f0=1, f3=f2+f1=2,. Βάση επαγωγής: n=1

42 f1=f3-1=2-1=1, ισχύει Έστω ότι ισχύει για n=k, δηλαδή f1+f2+ +fk=fk+2-1 (1) Θα αποδείξω ότι ισχύει για n=k+1: Από την (1), αν προσθέσω και στα 2 μέλη fk+1 προκύπτει: f1+f2+ +fk+ fk+1=fk fk+1=fk+3-1, ο.ε.δ Άσκηση Φ3.81: Αποδείξτε ότι (1) Αν ο n 2 είναι άρτιος τότε και ο n είναι άρτιος. (2) Εάν ο 10 n -1 διαιρείται ακριβώς με το 9, τότε και ο 10 n+1-1 διαιρείται ακριβώς με το 9. (3) Για κάθε n>=9, εάν ο n είναι τέλειο τετράγωνο, τότε ο n-1 δεν είναι πρώτος αριθμός. (4) Αν ο n 2-1 διαιρείται ακριβώς με το 3, τότε ο n δεν διαιρείται ακριβώς με το 3. (1) «Αν ο n 2 είναι άρτιος τότε και ο n είναι άρτιος.» Έστω ότι ο n 2 είναι άρτιος και ο n-περιττός. Τότε n 2 =(2k+1) 2 =4k 2 +4k+1=4k(k+1)+1 περιττός. Άρα αν ο n 2 είναι άρτιος τότε και ο n είναι άρτιος. (2) «Εάν ο 10 n -1 διαιρείται ακριβώς με το 9, τότε και ο 10 n+1-1 διαιρείται ακριβώς με το 9.» 10 n+1-1 = 10*10 n -1= 10(10 n -1)+9. Το 10 n -1 διαιρείται ακριβώς με το 9 άρα και το 10(10 n -1) διαιρείται ακριβώς με το 9. Επίσης, το 9 διαιρείται ακριβώς με το 9. Άρα και το 10(10 n -1)+9 = 10 n+1-1 διαιρείται ακριβώς με το 9. (3) «Για κάθε n 9, εάν ο n είναι τέλειο τετράγωνο, τότε ο n-1 δεν είναι πρώτος αριθμός.» Εάν ο n είναι τέλειο τετράγωνο, τότε n = m² για κάποιο ακέραιο m. Τότε, n - 1 = m² - 1 = (m - 1)(m + 1) Παρατηρούμε ότι ο n 1 γράφεται ως γινόμενο δύο ακεραίων, καθένας από τους οποίους είναι διαφορετικός της μονάδας εφόσον n 9. Επομένως, ο n - 1 δεν είναι πρώτος. (4) Αν ο n 2-1 διαιρείται ακριβώς με το 3, τότε ο n δεν διαιρείται ακριβώς με το 3. Έστω ότι ο n 2-1 διαιρείται ακριβώς με το 3 και ότι ο n διαιρείται ακριβώς με το 3. Τότε υπάρχει ακέραιος k τέτοιος ώστε n=3k και επομένως n 2-1 = 9k 2-1. Εφόσον ο 9k 2 διαιρείται ακριβώς με το 3, ο 9k 2-1 και επομένως και ο n 2-1 δεν διαιρείται ακριβώς με το 3. Αντίφαση! Επομένως, αν ο n 2-1 διαιρείται ακριβώς με το 3, τότε ο n δεν διαιρείται ακριβώς με το 3. Άσκηση Φ3.82: Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας: τα υποσύνολα του Ω στα οποία τα κατηγορήματα παίρνουν τιμή True). Αποδείξτε ότι αν η -,¹(-! º(-! είναι ταυτολογία τότε Α Β και αντιστρόφως Ευθύ: Έστω x A Τότε p(x) αληθής αλλά και ¹(-! º(-! αληθής (η πρόταση είναι ταυτολογία) οπότε και º(-! αληθής Άρα x Β και Α Β Αντίστροφο: Έστω ότι Α Β

43 Αν x A, τότε και x B. Συνεπώς p(x) και q(x) αληθείς, άρa p(x) q(x) αληθής Αν x Α, τότε p(x) ψευδής. Kαι πάλι p(x) q(x) αληθής Οπότε -,¹(-! º(-! αληθής Άσκηση Φ3.83: 1. Αποδείξτε ότι αν ένα τετράπλευρο έχει άνισες διαγωνίους δεν είναι ορθογώνιο 2. Έστω m,n N. Αποδείξτε ότι αν m + n 100, τότε είτε m 50 είτε n Αποδείξτε ότι για κάθε n N, o n 2 +n είναι άρτιος 4. Αποδείξτε ότι αν n και m περιττοί ακέραιοι τότε και ο m*n είναι επίσης περιττός ακέραιος. Σε κάθε µια από τις παραπάνω περιπτώσεις αναφέρετε τι είδους αποδεικτική διαδικασία ακολουθήσατε 1. Γνωρίζω από τη Γεωμετρία ότι αν ένα τετράπλευρο είναι ορθογώνιο τότε έχει ίσες διαγωνίους Απόδειξη: Τα τρίγωνα ABD και ΑBC είναι ίσα γιατί είναι ορθογώνια και έχουν ίσες κάθετες πλευρές (Θεώρημα Θαλή) άρα και οι υποτείνουσές τους είναι ίσες. Η πρόταση που θέλω να αποδείξω είναι η αντιστροφοαντίθετη αυτής, άρα ισχύει. 2. Έστω ότι m+n 100 και m<50 και n<50 m<50 n<50 m+n<100 Άτοπο μια και υπέθεσα ότι m+n a. Έστω n άρτιος. Τότε για κάποιο k, N n=2k Nn 2 =(2k) 2 Nn 2 =4k 2. n 2 +n=4k 2 +2k=2(2 k 2 +k). Άρα είναι άρτιος b. Έστω n περιττός. Τότε για κάποιο m, N n=2m+1nn 2 =4m 2 +4m+1. n 2 +n=4m 2 +4m+1+2m+1=4m 2 +6m+2=2(2m 2 +3m+1). Άρα είναι άρτιος Απόδειξη µε περιπτώσεις 4. Έστω ότι οι m και n είναι περιττοί ακέραιοι. ηλαδή για κάποιους k,l, N n=2k+1και m=2l+1. m*n=(2k+1)(2l+1)=4kl+2k+2l+1=2s+1, s N. Άρα είναι περιττός Ευθεία απόδειξη Άσκηση Φ3.84: Οι 8 σειρές μιας σκακιέρας ονομάζονται με αριθμούς από το 1 ως το 8, ενώ οι 8 στήλες με γράμματα από το a ως το h. Κάθε τετράγωνο περιγράφεται από ένα διατεταγμενο ζεύγος (γράμμα στήλης, αριθμός γραμμής!

44 1. Ένα άλογο είναι στο (d,3!. Γράψτε τις πιθανές θέσεις του μετά από μια κίνηση (υπενθ. Το άλογο κινείται κατά τρία τετράγωνα σχηματίζοντας ένα Γ. Η κίνηση του είναι μικτή, δηλαδή συνδυασμός δύο κινήσεων, μίας κάθετης και μίας οριζόντιας, ώστε να συμπληρώσει συνολικά τρία τετράγωνα! 2. Αν R={1,2,,8}, C={a,b,,h} χρησιμοποιείστε συμβολισμούς της θεωρίας συνόλων να περιγράψετε το σύνολο P των συντεταγμένων όλων των τετραγώνων της σκακιέρας 3. Ένας πύργος είναι τοποθετημένος στο (g,2!. Αν Τ={2} και G={g} εκφράστε όλες τις δυνατές θέσεις του πύργου μετά από μία κίνηση, συναρτήσει των R,C,T και G. (Υποθέτουμε ότι δεν υπάρχουν άλλα πιόνια στη διαδρομή του. Υπενθ. Ο πύργος κινείται οριζόντια ή κάθετα στη σκακιέρα όσα τετράγωνα επιθυμεί! 1. Οι πιθανές θέσεις εκφράζονται από το σύνολο P={(b,2!,(b,4!,(c,1!,(c,5!,(e,1!,(e,5!,(f,2!,(f,4!} 2. P=C R 3. P=(G R) (C T)-(G T) Άσκηση Φ3.85: Τις περασμένες Απόκριες μια ολόκληρη τάξη μαθητών (40 άτομα) μασκαρεύτηκε. 18 απ αυτούς φόρεσαν καπέλλο, 20 φόρεσαν περούκα και 27 έβαψαν το πρόσωπό τους. 7 φόρεσαν καπέλλο και περούκα, 12 φόρεσαν περούκα και βάφτηκαν και 4 φόρεσαν καπέλλο, περούκα και βάφτηκαν. Βρείτε πόσοι 1. Φόρεσαν καπέλλο και βάφτηκαν 2. Φόρεσαν καπέλλο, βάφτηκαν αλλά δεν έβαλαν περούκα Έστω Α το σύνολο αυτών που φόρεσαν καπέλλο, Β αυτών που φόρεσαν περούκα και Γ αυτών που βάφτηκαν. Από τα δεδομένα έχουμε ότι Α =18, Β =20, Γ =27, Α Β =7, Β Γ =12, Α Β Γ =4 και Α Β Γ =40 Ψάχνουμε τα 1. Α Γ και 2. Α Γ - Α Β Γ Από την αρχή εγκλεισμού αποκλεισμού: Α Β Γ = Α + Β + Γ - Α Β - Α Γ - Β Γ + Α Β Γ

Φροντιστήριο #3 Λυμένες Ασκήσεις σε Σύνολα/ Αποδείξεις /Μαθηματική Επαγωγή 24/3/2016

Φροντιστήριο #3 Λυμένες Ασκήσεις σε Σύνολα/ Αποδείξεις /Μαθηματική Επαγωγή 24/3/2016 Φροντιστήριο #3 Λυμένες Ασκήσεις σε Σύνολα/ Αποδείξεις /Μαθηματική Επαγωγή 24/3/2016 Άσκηση Φ3.1 Αποδείξτε τις παρακάτω ταυτότητες. (1) B (Ø A) = B (2) ( A U) = A (3) ( A B) ( A B) = A (4) ( A B) ( B A)

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε κατά

Διαβάστε περισσότερα

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

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018 Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 1//018 Σημείωση: Όλες οι παρακάτω αποδείξεις ακολουθούν την επαγωγική μέθοδο. Κάποια από τα παραδείγματα έχουν αποδειχθεί και με άλλες μεθόδους στο Φροντιστήριο

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 016 Λύσεις ασκήσεων προόδου Θέμα 1: [16 μονάδες] [8] Έστω ότι μας δίνουν τα παρακάτω δεδομένα: Εάν αυτό το πρόγραμμα ΗΥ είναι αποδοτικό, τότε εκτελείται γρήγορα.

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων - Λύσεις ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2018 3 η Σειρά Ασκήσεων - Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω Α={1,2,3,{1,3},4,{5,6}}. Ποιες από τις παρακάτω προτάσεις είναι σωστές και ποιες λάθος; i. {5,6} Α vi.

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2018 Λύσεις ασκήσεων προόδου ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 018 Λύσεις ασκήσεων προόδου Θέμα 1: a. Δείξτε κατά πόσον η πρόταση ((p q) r) ((p q) (q r)) αποτελεί ή όχι ταυτολογία. b. Κάποιος ιδιόρρυθμος δικαστής ρωτήθηκε

Διαβάστε περισσότερα

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 3 η Σειρά Ασκήσεων Λύσεις Άσκηση 3.1 [1 μονάδα] Έστω p(x) και q(x) κατηγορήματα με πεδίο ορισμού Ω με σύνολα αλήθειας Α και Β αντίστοιχα (Σύνολα αλήθειας:

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 018 Τελική Εξέταση Ιουνίου Λύσεις Προσοχή: Οι παρακάτω λύσεις είναι ενδεικτικές, μπορεί να υπάρχουν και άλλες που επίσης να είναι σωστές. Θέμα 1: [16 μονάδες]

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2017 Τελική Εξέταση Ιουνίου - Τετάρτη, 14/06/2017 ΛΥΣΕΙΣ ΗΥ8: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 07 Τελική Εξέταση Ιουνίου - Τετάρτη, 4/06/07 ΛΥΣΕΙΣ Σημείωση: Οι παρακάτω λύσεις είναι ενδεικτικές. Ενδεχομένως, υπάρχουν και άλλοι σωστοί τρόποι επίλυσης. Θέμα

Διαβάστε περισσότερα

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων Θέμα 1: [14 μονάδες] 1. [5] Έστω Y(x): «Το αντικείμενο x είναι ηλεκτρονικός υπολογιστής», Φ(y):

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

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

LÔseic Ask sewn sta Jemèlia twn Majhmatik n I LÔseic Ask sewn sta Jemèlia twn Majhmatik n I Rwmanìc-Diogènhc Maliki shc Tetˆrth, 6 OktwbrÐou 2010 Άσκηση 1. Για τυχόντα σύνολα A, B, C, D, να δειχθεί ότι (α ) A (B \ C) = ((A B) \ C) (A C). (β ) (A \

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Παρασκευή, 02/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18

Διαβάστε περισσότερα

(ii) X P(X). (iii) X X. (iii) = (i):

(ii) X P(X). (iii) X X. (iii) = (i): Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Δείξτε ότι ισχύουν τα ακόλουθα: (i) ω / ω (με άλλα λόγια, το ω δεν είναι φυσικός αριθμός). (ii) Για κάθε n ω, ισχύει ω / n. (iii) Για κάθε n ω, το n

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 01/03/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 02-Mar-18

Διαβάστε περισσότερα

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0. Ασκήσεις4 46 Ασκήσεις 4 Τριγωνίσιμες γραμμικές απεικονίσεις, Θεώρημα των Cayley-Hamilton Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Κριτήριο τριγωνισιμότητας

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή Επαγωγή HY8- ιακριτά Μαθηµατικά Τρίτη, /03/06 Μαθηµατική Επαγωγή Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις HY118- ιακριτά Μαθηµατικά Παρασκευή, 06/03/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/8/2015

Διαβάστε περισσότερα

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

9 Πολυώνυμα Διαίρεση πολυωνύμων 4ο Κεφάλαιο 9 Πολυώνυμα Διαίρεση πολυωνύμων Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Ορισμοί Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής ν αx όπου α R, * ν N και x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε

Διαβάστε περισσότερα

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015 Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015 Άσκηση Φ5.1: (α) Έστω οι συναρτήσεις διάγραμμα. f : A B, : g B C και h: C D που ορίζονται στο παρακάτω Υπολογίστε την συνάρτηση h

Διαβάστε περισσότερα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 13 Μαρτίου 2013 Ασκηση 1. Αφού ϐρείτε την

Διαβάστε περισσότερα

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

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ 14 4 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ Ας υποθέσουμε ότι θέλουμε να βρούμε το πηλίκο και το υπόλοιπο της διαίρεσης του με τον Σύμφωνα με το γνωστό αλγόριθμο της διαίρεσης, το πηλίκο θα είναι ένας ακέραιος κ, τέτοιος,

Διαβάστε περισσότερα

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013

ΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013 ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά

Διαβάστε περισσότερα

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

4.2 4.3 ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ 1 4.2 4.3 ΕΥΚΛΕΙ ΕΙΑ ΙΑΙΡΕΣΗ ΙΑΙΡΕΤΟΤΗΤΑ ΘΕΩΡΙΑ 1. Θεώρηµα Αν α, β ακέραιοι µε β 0, τότε υπάρχουν µοναδικοί ακέραιοι κ και υ, έτσι ώστε α = κβ + υ µε 0 υ < β. 2. Τέλεια διαίρεση Αν το υπόλοιπο υ της Ευκλείδειας

Διαβάστε περισσότερα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

a. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6.

a. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6. ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2016 4 η Σειρά Ασκήσεων - Λύσεις Άσκηση 4.1 [1 μονάδα] Βρείτε όλα τα διατεταγμένα ζεύγη στη σχέση R από το Α={0,1,2,3} στο Β={0,1,2,3,4} όπου (a,b) R αν και μόνο

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους

Διαβάστε περισσότερα

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 76 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΘΑΛΗΣ 14 Νοεμβρίου 2015. Ενδεικτικές λύσεις Β ΓΥΜΝΑΣΙΟΥ

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 76 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΘΑΛΗΣ 14 Νοεμβρίου 2015. Ενδεικτικές λύσεις Β ΓΥΜΝΑΣΙΟΥ ΕΛΛΗΝΙΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Πανεπιστημίου (Ελευθερίου Βενιζέλου) 34 06 79 ΑΘΗΝΑ Τηλ. 36653-367784 - Fax: 36405 e-mail : info@hms.gr www.hms.gr GREEK MATHEMATICAL SOCIETY 34, Panepistimiou (Εleftheriou

Διαβάστε περισσότερα

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

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι Επιμέλεια: Ι. Λυχναρόπουλος. Δείξτε ότι ο V R εφοδιασμένος με τις ακόλουθες πράξεις (, a b) + (, d) ( a+, b+ d) και k ( ab, ) ( kakb,

Διαβάστε περισσότερα

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

με Τέλος πάντων, έστω ότι ξεκινάει ένα άλλο υποθετικό σενάριο που απλά δεν διευκρινίζεται. Για το i) θα έχουμε , 2 Άσκηση 75 Σε έναν οργανισμό, αρχικά υπάρχουν 04800 βακτήρια. Μετά από 1 ώρα υπάρχουν 10400 βακτήρια, μετά από ώρες 5100 βακτήρια, και γενικά ο αριθμός των βακτηρίων υποδιπλασιάζεται κάθε μια ώρα. α) Πόσα

Διαβάστε περισσότερα

Ασκήσεις Απειροστικού Λογισμού ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Περιεχόμενα Υπακολουθίες και ακολουθίες Cuchy Σειρές πραγματικών αριθμών 3 3 Ομοιόμορφη συνέχεια 3 4 Ολοκλήρωμα

Διαβάστε περισσότερα

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

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα. Ασκήσεις 0 Ασκήσεις Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα o H -στήλη του P P είναι E αν και μόνο αν η -στήλη του P είναι ιδιοδιάνυσμα του που αντιστοιχεί στην ιδιοτιμή

Διαβάστε περισσότερα

Εφαρμοσμένα Μαθηματικά ΙΙ 5ο Σετ Ασκήσεων (Λύσεις) Πίνακες Επιμέλεια: I. Λυχναρόπουλος

Εφαρμοσμένα Μαθηματικά ΙΙ 5ο Σετ Ασκήσεων (Λύσεις) Πίνακες Επιμέλεια: I. Λυχναρόπουλος Εφαρμοσμένα Μαθηματικά ΙΙ 5ο Σετ Ασκήσεων (Λύσεις) Πίνακες Επιμέλεια: I. Λυχναρόπουλος 3. Αν A 5 4, B 4, C να υπολογίσετε τις ακόλουθες πράξεις 4 3 8 3 7 3 (αν έχουν νόημα): α) AB, b) BA, c) CB, d) C B,

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 09/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/9/2017

Διαβάστε περισσότερα

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

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Ορισμός ελαχίστου πολυωνύμου γραμμικής απεικόνισης και ιδιότητές του Κριτήριο διαγωνισιμότητας

Διαβάστε περισσότερα

Επιμέλεια: xr.tsif Σελίδα 1 ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΓΙΑ ΜΑΘΗΤΙΚΟΥΣ ΔΙΑΓΩΝΙΣΜΟΥΣ ΤΕΥΧΟΣ 6ο ΑΣΚΗΣΕΙΣ 501-600 Αφιερωμένο σε κάθε μαθητή που ασχολείται ή πρόκειται να ασχοληθεί με Μαθηματικούς διαγωνισμούς

Διαβάστε περισσότερα

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1 Ασκήσεις4 48 Ασκήσεις4 Τριγωνισιμότητα Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Θεώρημα: είναι τριγωνίσιμος αν και μόνο αν ( x ) γινόμενο πρωτοβάθμιων παραγόντων

Διαβάστε περισσότερα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 3 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2016/nt2016.html Πέµπτη 3 Νοεµβρίου 2016 Ασκηση 1. Αφού ϐρείτε

Διαβάστε περισσότερα

ΠΑΡΑΤΗΡΗΣΕΙΣ. 1. Η μέθοδος της μαθηματικής επαγωγής αποτελείται από δυο βήματα :

ΠΑΡΑΤΗΡΗΣΕΙΣ. 1. Η μέθοδος της μαθηματικής επαγωγής αποτελείται από δυο βήματα : ΠΑΡΑΤΗΡΗΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΕΠΑΓΩΓΗ 1. Η μέθοδος της μαθηματικής επαγωγής αποτελείται από δυο βήματα : Βήμα 1 ο : Δείχνουμε ότι η πρόταση Ρ( ν ) είναι αληθής για το μικρότερο φυσικό για τον οποίο ζητείται

Διαβάστε περισσότερα

Επαναληπτικές Ασκήσεις στα Σύνολα

Επαναληπτικές Ασκήσεις στα Σύνολα Επαναληπτικές Ασκήσεις στα Σύνολα ) Εξετάστε αν η παρακάτω πρόταση είναι αληθής για οποιαδήποτε σύνολα Α,Β,C. Δικαιολογήστε την απάντηση σας Αν A B και B C, τότε Α C έστω Β {α,β,γ}, αφού Α B τότε ένα παράδειγμα

Διαβάστε περισσότερα

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

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Το σύνολο των πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας) α)

Διαβάστε περισσότερα

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

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις Ασκήσεις 5 Βασικά σημεία Ιδιότητες ιδιόχωρων: Έστω,, Ισχύουν τα εξής Ασκήσεις Διαγωνίσιμες Γραμμικές Απεικονίσεις κάποιες διακεκριμένες ιδιοτιμές της γραμμικής απεικόνισης : V V, όπου o Αν v v 0, όπου

Διαβάστε περισσότερα

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

Άλγεβρα Α Λυκείου Κεφάλαιο 2ο. οι πράξεις και οι ιδιότητές τους οι πράξεις και οι ιδιότητές τους Μερικές ακόμη ταυτότητες (επιπλέον από τις αξιοσημείωτες που βρίσκονται στο σχολικό βιβλίο) ) Διαφορά δυνάμεων με ίδιο εκθέτη: ειδικά αν ο εκθέτης ν είναι άρτιος υπάρχει

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Φ1: ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ

Φ1: ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ Φ: ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ: ΓΙΑΝΝΗΣ ΧΡΑΣ 0-0 ΑΛΓΕΒΡΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΠΙΘΑΝΟΤΗΤΩΝ Α ΛΥΚΕΙΟΥ ΘΕΜΑ Α - ΘΕΩΡΙΑ - ΣΩΣΤΟ-ΛΑΘΟΣ - ΠΟΛΛΑΠΛΗΣ ΕΠΙΛΟΓΗΣ - ΑΝΤΙΣΤΟΙΧΗΣΗΣ - ΠΑΡΑΤΗΡΗΣΕΙΣ-ΜΕΘΟΔΟΛΟΓΙΑ ΘΕΜΑ Β - ΑΣΚΗΣΕΙΣ

Διαβάστε περισσότερα

2. Να γράψετε έναν αριθμό που είναι μεγαλύτερος από το 3,456 και μικρότερος από το 3,457.

2. Να γράψετε έναν αριθμό που είναι μεγαλύτερος από το 3,456 και μικρότερος από το 3,457. 1. Ένα κεφάλαιο ενός βιβλίου ξεκινάει από τη σελίδα 32 και τελειώνει στη σελίδα 75. Από πόσες σελίδες αποτελείται το κεφάλαιο; Αν το κεφάλαιο ξεκινάει από τη σελίδα κ και τελειώνει στη σελίδα λ, από πόσες

Διαβάστε περισσότερα

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

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ο ΓΕΛ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β ΛΥΚΕΙΟΥ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΣΧΟΛΙΚΟ ΕΤΟΣ -4 ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Επιμέλεια: ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης

Μαθηματικά: Αριθμητική και Άλγεβρα. Μάθημα 3 ο, Τμήμα Α. Τρόποι απόδειξης Μαθηματικά: Αριθμητική και Άλγεβρα Μάθημα 3 ο, Τμήμα Α Ο πυρήνας των μαθηματικών είναι οι τρόποι με τους οποίους μπορούμε να συλλογιζόμαστε στα μαθηματικά. Τρόποι απόδειξης Επαγωγικός συλλογισμός (inductive)

Διαβάστε περισσότερα

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d Γραμμική Άλγεβρα Ι, 07-8 Ασκήσεις6: Βάση και Διάσταση Βασικά σημεία Βάση διανυσματικού χώρου (ορισμός, παραδείγματα, μοναδικότητα συντελεστών) Θεώρημα (ύπαρξη, πρώτη μορφή) Έστω V K μη μηδενικός με K πεπερασμένο

Διαβάστε περισσότερα

I. ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ. math-gr

I. ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ. math-gr I ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ i e ΜΕΡΟΣ Ι ΟΡΙΣΜΟΣ - ΒΑΣΙΚΕΣ ΠΡΑΞΕΙΣ Α Ορισμός Ο ορισμός του συνόλου των Μιγαδικών αριθμών (C) βασίζεται στις εξής παραδοχές: Υπάρχει ένας αριθμός i για τον οποίο ισχύει i Το σύνολο

Διαβάστε περισσότερα

Ορισμένες σελίδες του βιβλίου

Ορισμένες σελίδες του βιβλίου Ορισμένες σελίδες του βιβλίου 7. Θεωρούμε το σύνολο αναφοράς 0,,. Να οριστούν τα σύνολα: Α. των τριψηφίων αριθμών που σχηματίζουν τα στοιχεία του Ω. Β. των τριψηφίων αριθμών με διαφορετικά ψηφία Γ. των

Διαβάστε περισσότερα

Επιμέλεια:xr.tsif Σελίδα 1 ΠΡΟΤΕΙΝΟΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΓΙΑ ΜΑΘΗΤΙΚΟΥΣ ΔΙΑΓΩΝΙΣΜΟΥΣ ΤΕΥΧΟΣ 8ο ΑΣΚΗΣΕΙΣ 701-800 Αφιερωμένο σε κάθε μαθητή που ασχολείται ή πρόκειται να ασχοληθεί με Μαθηματικούς διαγωνισμούς Τσιφάκης

Διαβάστε περισσότερα

ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ

ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΕΡΩΤΗΣΕΙΣ ΚΑΤΑΝΟΗΣΗΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ Ε.1 I. 1. α 2 = 9 α = 3 ψ p: α 2 = 9, q: α = 3 Σύνολο αλήθειας της p: Α = {-3,3}, Σύνολο αλήθειας της q: B = {3} A B 2. α 2 = α α = 1 ψ p: α 2 = α, q: α = 1 Σύνολο

Διαβάστε περισσότερα

2.2 ιαίρεση Πολυωνύμων

2.2 ιαίρεση Πολυωνύμων ιαίρεση Πολυωνύμων 1 Να γίνουν οι διαιρέσεις: α) (x 5 - x + x - 9) : (x - 1) β) (x 4-7x + x - 15) : (x + 5) γ) (x - 4αx + α ) : (x - α) δ) [7x - (9α + 7α ) x + 9α ] : (x - α) Με τη βοήθεια του σχήματος

Διαβάστε περισσότερα

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ; ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦΑΛΑΙΟ ο : ( ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ) ΠΑΡΑΤΗΡΗΣΗ : Το κεφάλαιο αυτό περιέχει πολλά θέματα που είναι επανάληψη εννοιών που διδάχθηκαν στο Γυμνάσιο γι αυτό σ αυτές δεν θα επεκταθώ αναλυτικά

Διαβάστε περισσότερα

ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 89. Ύλη: Πιθανότητες Το σύνολο R-Εξισώσεις Σ Λ 2. Για τα ενδεχόμενα Α και Β ισχύει η ισότητα: A ( ) ( ') ( ' )

ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 89. Ύλη: Πιθανότητες Το σύνολο R-Εξισώσεις Σ Λ 2. Για τα ενδεχόμενα Α και Β ισχύει η ισότητα: A ( ) ( ') ( ' ) ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ 89 Ον/μο:.. Α Λυκείου Ύλη: Πιθανότητες Το σύνολο R-Εξισώσεις 6-0- Θέμα ο : Α.. Να δώσετε τον ορισμό της εξίσωσης ου βαθμού (μον.) Α.. Αν, ρίζες της εξίσωσης 0, να αποδείξετε ότι

Διαβάστε περισσότερα

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i.

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i. Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

( ( )) ( 3 1) 2( 3 1)

( ( )) ( 3 1) 2( 3 1) Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 7/4/2017 ΜΕΡΟΣ Α: ΣΥΝΑΡΤΗΣΕΙΣ Άσκηση Φ5.1: (α) Έστω οι συναρτήσεις f : A B, g : B διάγραμμα. C και h : C D που ορίζονται στο παρακάτω Υπολογίστε

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Πέµπτη, 19/03/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 1 1 Μαθηµατική

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Θετικής & Τεχνολογικής Κατεύθυνσης Β ΜΕΡΟΣ (ΑΝΑΛΥΣΗ) ΚΕΦ 1 ο : Όριο Συνέχεια Συνάρτησης

ΜΑΘΗΜΑΤΙΚΑ Θετικής & Τεχνολογικής Κατεύθυνσης Β ΜΕΡΟΣ (ΑΝΑΛΥΣΗ) ΚΕΦ 1 ο : Όριο Συνέχεια Συνάρτησης ΜΑΘΗΜΑΤΙΚΑ Θετικής & Τεχνολογικής Κατεύθυνσης Β ΜΕΡΟΣ (ΑΝΑΛΥΣΗ) ΚΕΦ ο : Όριο Συνέχεια Συνάρτησης Φυλλάδιο Φυλλάδι555 4 ο ο.α) ΕΝΝΟΙΑ ΣΥΝΑΡΤΗΣΗΣ - ΓΡΑΦΙΚΗ ΠΑΡΑΣΤΑΣΗ.α) ΕΝΝΟΙΑ ΣΥΝΑΡΤΗΣΗΣ - ΓΡΑΦΙΚΗ ΠΑΡΑΣΤΑΣΗ

Διαβάστε περισσότερα

, για κάθε n N. και P είναι αριθμήσιμα.

, για κάθε n N. και P είναι αριθμήσιμα. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.

Διαβάστε περισσότερα

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016 Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016 Άσκηση Φ4.1: Θεωρείστε τις ακόλουθες σχέσεις επί του συνόλου Α={1, 2, 3} 1. R={(1, 1), (1, 2), (1, 3), (3, 3)} 2. S={(1, 1), (1, 2), (2, 1), (2, 2),

Διαβάστε περισσότερα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt014/nt014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

ΓΕΛ ΝΕΑΣ ΠΕΡΑΜΟΥ ΠΙΘΑΝΟΤΗΤΕΣ ΚΛΑΣΙΚΟΣ ΟΡΙΣΜΟΣ-ΛΟΓΙΣΜΟΣ. Στατιστική ομαλότητα ή Νόμος των μεγάλων αριθμών

ΓΕΛ ΝΕΑΣ ΠΕΡΑΜΟΥ ΠΙΘΑΝΟΤΗΤΕΣ ΚΛΑΣΙΚΟΣ ΟΡΙΣΜΟΣ-ΛΟΓΙΣΜΟΣ. Στατιστική ομαλότητα ή Νόμος των μεγάλων αριθμών ΠΙΘΑΝΟΤΗΤΕΣ ΚΛΑΣΙΚΟΣ ΟΡΙΣΜΟΣ-ΛΟΓΙΣΜΟΣ Στατιστική ομαλότητα ή Νόμος των μεγάλων αριθμών Οι σχετικές συχνότητες πραγματοποίησης των ενδεχομένων ενός πειράματος σταθεροποιούνται γύρω από κάποιους αριθμούς

Διαβάστε περισσότερα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 7 Φεβρουαρίου 03 Ασκηση. είξτε ότι

Διαβάστε περισσότερα

1. * Ο αριθμός, ν Ν, είναι ανάγωγο κλάσμα για κάθε ν Ν. Σ Λ 2. * Οι αριθμοί 2ν και 2ν + 2 είναι διαδοχικοί άρτιοι για κάθε ν Ν.

1. * Ο αριθμός, ν Ν, είναι ανάγωγο κλάσμα για κάθε ν Ν. Σ Λ 2. * Οι αριθμοί 2ν και 2ν + 2 είναι διαδοχικοί άρτιοι για κάθε ν Ν. Κεφάλαιο 4ο: ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ερωτήσεις του τύπου «Σωστό-Λάθος» ν 1. * Ο αριθμός, ν Ν, είναι ανάγωγο κλάσμα για κάθε ν Ν. 3 Σ Λ. * Οι αριθμοί ν και ν + είναι διαδοχικοί άρτιοι για κάθε ν Ν. 3. * Αν ένας

Διαβάστε περισσότερα

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

A, και εξετάστε αν είναι διαγωνίσιμη. Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Θεώρημα (Κριτήριο διαγωνισιμότητας) Ένας είναι διαγωνίσιμος αν και μόνο αν ( x) γινόμενο διακεκριμένων

Διαβάστε περισσότερα

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Μαθηματική Επαγωγή ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Τεχνικές Απόδειξης Εξαντλητική

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ 118 ερωτήσεις θεωρίας με απάντηση 34 416 ασκήσεις για λύση ερωτήσεις κατανόησης λυμένα παραδείγματα 0 συνδυαστικά θέματα εξετάσεων Π Ε Ρ Ι Ε Χ Ο Μ Ε Ν Α Εισαγωγική ενότητα Το λεξιλόγιο

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ 1 ΤΕΤΑΡΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΤΕΤΑΡΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΤΕΤΑΡΤΟ ΜΑΘΗΜΑ, 15-10-13 Μ. Παπαδημητράκης. 1 Παράδειγμα. Ως εφαρμογή της Αρχιμήδειας Ιδιότητας θα μελετήσουμε το σύνολο { 1 } A = n N = {1, 1 n 2, 1 } 3,.... Κατ αρχάς το σύνολο A έχει προφανώς

Διαβάστε περισσότερα

Εισαγωγικά Παραδείγματα: Παρατηρήσεις:

Εισαγωγικά Παραδείγματα: Παρατηρήσεις: 1 Εισαγωγικά Η έννοια του συνόλου είναι πρωταρχική στα Μαθηματικά, δεν μπορεί δηλ. να οριστεί από άλλες έννοιες. Γενικά, μπορούμε να πούμε ότι σύνολο είναι μια συλλογή αντικειμένων. υτά λέμε ότι περιέχονται

Διαβάστε περισσότερα

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ιανουάριος 2012 Τμήμα Μαθηματικών Διδάσκων: Χρήστος Κουρουνιώτης Μ1124 ΘΕΜΕΛΙΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Παρατηρήσεις 1. Διαβάστε προσεκτικά τα θέματα πριν αρχίσετε να απαντάτε. Οι απαντήσεις

Διαβάστε περισσότερα

Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018

Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018 Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018 Άσκηση 9.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ

ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ ΕΥΡΙΠΙΔΟΥ 80 ΝΙΚΑΙΑ ΝΕΑΠΟΛΗ ΤΗΛΕΦΩΝΟ 0965897 ΔΙΕΥΘΥΝΣΗ ΣΠΟΥΔΩΝ ΒΡΟΥΤΣΗ ΕΥΑΓΓΕΛΙΑ ΜΠΟΥΡΝΟΥΤΣΟΥ ΚΩΝ/ΝΑ ΑΥΓΕΡΙΝΟΣ ΒΑΣΙΛΗΣ ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ Η έννοια του μιγαδικού

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΑΠΑΝΤΗΣΕΙΣ Α ΕΡΓΑΣΙΑΣ. ( 8 µον.) Η άσκηση αυτή αναφέρεται σε διαιρετότητα και ρίζες πολυωνύµων. a. Να λυθεί η εξίσωση

Διαβάστε περισσότερα

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

OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ Ο ΚΕΦΑΛΑΙΟ : ΟΡΙΟ ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΣΥΝΑΡΤΗΣΕΙΣ Έστω Α ένα υποσύνολο του Τι ονομάζουμε πραγματική συνάρτηση με πεδίο ορισμού το Α ; Απάντηση : ΕΣΠ Β Έστω

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 4: Εισαγωγή / Σύνολα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

Μαθηματικά Γ Γυμνασίου

Μαθηματικά Γ Γυμνασίου Α λ γ ε β ρ ι κ έ ς π α ρ α σ τ ά σ ε ι ς 1.1 Πράξεις με πραγματικούς αριθμούς (επαναλήψεις συμπληρώσεις) A. Οι πραγματικοί αριθμοί και οι πράξεις τους Διδακτικοί στόχοι Θυμάμαι ποιοι αριθμοί λέγονται

Διαβάστε περισσότερα

Κεφάλαιο 4 Διανυσματικοί Χώροι

Κεφάλαιο 4 Διανυσματικοί Χώροι Κεφάλαιο Διανυσματικοί Χώροι Διανυσματικοί χώροι - Βασικοί ορισμοί και ιδιότητες Θεωρούμε τρία διαφορετικά σύνολα: Διανυσματικοί Χώροι α) Το σύνολο διανυσμάτων (πινάκων με μία στήλη) με στοιχεία το οποίο

Διαβάστε περισσότερα

4.1. Πολυώνυμα. Η έννοια του πολυωνύμου

4.1. Πολυώνυμα. Η έννοια του πολυωνύμου 4.1 Πολυώνυμα Η έννοια του πολυωνύμου ΟΡΙΣΜΟΙ 1. Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής αx ν, όπου α R, ν N (σταθερές) και x R (μεταβλητή). 2. Πολυώνυμο του x ονομάζουμε κάθε παράσταση της

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Παρασκευή, 10/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 1 1

Διαβάστε περισσότερα

Διακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2017 Οργάνωση Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες Συνεπαγωγή Αποδείξεις

Διαβάστε περισσότερα

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

Α Δ Ι. Παρασκευή 15 Νοεμβρίου Ασκηση 1. Να ευρεθεί η τάξη τού στοιχείου a τής ομάδας (G, ), όπου. (4) a = ( 1 + i 3)/2, (G, ) = (C, ), Α Δ Ι Α - Φ 4 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 15 Νοεμβρίου

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

Διαβάστε περισσότερα

Διακριτά Μαθηματικά Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών http://eclass.uoa.gr/ Οκτώβριος 2018 Οργάνωση και περιεχόμενα Μαθήματος Προτασιακή Λογική, Αποδείξεις Κατηγορήματα και ποσοδείκτες

Διαβάστε περισσότερα

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

ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΓΕΝΙΚΑ ΘΕΜΑ Α. , έχει κατακόρυφη ασύμπτωτη την x 0. ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΓΕΝΙΚΑ ΘΕΜΑ Α Άσκηση Θεωρούμε τον παρακάτω ισχυρισμό: «Αν η συνάρτηση την» ορίζεται στο τότε δεν μπορεί να έχει κατακόρυφη ασύμπτωτη ) Να χαρακτηρίσετε τον παραπάνω ισχυρισμό γράφοντας

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

Διαβάστε περισσότερα

Κεφάλαιο 4 Διανυσματικοί Χώροι

Κεφάλαιο 4 Διανυσματικοί Χώροι Κεφάλαιο Διανυσματικοί χώροι - Βασικοί ορισμοί και ιδιότητες Θεωρούμε τρία διαφορετικά σύνολα: α) Το σύνολο διανυσμάτων (πινάκων με μία στήλη) με στοιχεία το οποίο συμβολίζουμε με Σε αυτό το σύνολο γνωρίζουμε

Διαβάστε περισσότερα

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

(β ) ((X c Y ) (X c Y c )) c Λύσεις Ασκήσεων στα Θεμέλια των Μαθηματικών II Ρωμανός-Διογένης Μαλικιώσης Παρασκευή, 29 Οκτωβρίου 2010 Άσκηση 1. Απλοποιήστε τις ακόλουθες εκφράσεις (α ) (D c F ) c (D F ) (β ) ((X c Y ) (X c Y c )) c

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18

Διαβάστε περισσότερα

ΘΕΜΑ 2. βρείτε. (Μονάδες 15) με διαφορά ω.

ΘΕΜΑ 2. βρείτε. (Μονάδες 15) με διαφορά ω. ΘΕΜΑ ΘΕΜΑ Έστω α, β πραγµατικοί αριθµοί για τους οποίους ισχύουν: α β = 4 και αβ + αβ = 0 α) Να αποδείξετε ότι: α + β = 5. (Μονάδες 0) β) Να κατασκευάσετε εξίσωση ου βαθµού µε ρίζες τους αριθµούς α, β

Διαβάστε περισσότερα