תרגול מס' 1 3 בנובמבר 2012

Σχετικά έγγραφα
שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

gcd 24,15 = 3 3 =

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

חורף תש''ע פתרון בחינה סופית מועד א'

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

תרגיל 13 משפטי רול ולגראנז הערות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

Logic and Set Theory for Comp. Sci.

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

תורת הקבוצות תרגיל בית 2 פתרונות

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

מתמטיקה בדידה תרגול מס' 5

אלגברה ליניארית (1) - תרגיל 6

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ

ל הזכויות שמורות לדפנה וסטרייך

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי

אלגברה מודרנית פתרון שיעורי בית 6

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

מתמטיקה בדידה תרגול מס' 13

הגדרה: מצבים k -בני-הפרדה

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

תרגול פעולות מומצאות 3

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה.

מבנים אלגבריים עוזי וישנה

x a x n D f (iii) x n a ,Cauchy

co ארזים 3 במרץ 2016

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

אלגברה לינארית 1 יובל קפלן

אלגברה לינארית (1) - פתרון תרגיל 11

logn) = nlog. log(2n

הגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )

סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך.

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

גבול ורציפות של פונקציה סקלרית שאלות נוספות

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות

חשבון אינפיניטסימלי 1

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22

אלגברה לינארית מטריצות מטריצות הפיכות

אלגברה א' - פתרונות לשיעורי הבית סמסטר חורף תשס"ט


תרגיל 7 פונקציות טריגונומטריות הערות

מודלים חישוביים תרגולמס 5

מתמטיקה בדידה תרגול מס' 2

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5

אינפי - 1 תרגול בינואר 2012

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

1 סכום ישר של תת מרחבים

{ : Halts on every input}

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

סדרות - תרגילים הכנה לבגרות 5 יח"ל

מבוא לתורת החבורות עוזי וישנה

רשימת משפטים והגדרות

תורת הקבוצות ניר אדר ניר אדר.

מבנים אלגבריים II 27 במרץ 2012

אלגוריתמים בתורת הגרפים חלק שני

לוגיקה ותורת הקבוצות למדעי המחשב הרצאות

. {e M: x e} מתקיים = 1 x X Y

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r

תורת הקבוצות מושגי יסוד בתורת הקבוצות קבוצה אוסף של אלמנטים הנקראים אברי הקבוצה. אין חשיבות לסדר האיברים בקבוצה. אין חשיבות לחזרות.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה!

אלגברה ליניארית 1 א' פתרון 2

לולאות קבוע, פסוק while פסוק do-while פסוק for

אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה:

לוגיקה למדעי המחשב תרגולים

אלגברה ליניארית 1 א' פתרון 11

אוטומטים- תרגול 8 שפות חסרות הקשר

תרגול מס' 6 פתרון מערכת משוואות ליניארית

מבוא לתורת השדות עוזי וישנה

אלגברה ליניארית 1 א' פתרון 7

לוגיקה מתמטית הוא התחום במתמטיקה שחוקר בצורה מדויקת מושגים כמו טענה ו- הוכחה. על מנת לספק מוטיבציה, נתבונן בשתי דוגמאות היסטוריות.

The No Arbitrage Theorem for Factor Models ג'רמי שיף - המחלקה למתמטיקה, אוניברסיטת בר-אילן

תורת המספרים ושימושים בקריפטוגרפיה

הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה.

תכנון אלגוריתמים 2016 עבודה 1 שאלה 1 פתרון נתונות שתי בעיות. יש למצוא: אורך מסלול קצר ביותר המתחיל באחד מן הקודקודים s 1,..., s k ומסתיים ב t.

מתרגלת: שירה גילת סמסטר א 2017 תשע"ז

xpy xry & ~yrx xiy xry & yrx

שאלה 1 V AB פתרון AB 30 R3 20 R

מבוא ללוגיקה מתמטית 80423

C.C Ωשרשרת. Eחסומה. E אם לכל x Rb x E

Transcript:

תרגול מס' 1 3 בנובמבר 2012 1 מערכת המספרים השלמים בשיעור הקרוב אנו נעסוק בקבוצת המספרים השלמים Z עם הפעולות (+) ו ( ), ויחס סדר (>) או ( ). כל התכונות הרגילות והידועות של השלמים מתקיימות: חוק הקיבוץ (אסוציאטיביות), חוק החילוף, חוק הפילוג (דיסטריביוטיביות) וכן הלאה. נעבור לפתח כמה תכונות ומשפטים שיהיו כלים חיוניים להמשך הקורס. הגדרה 1.1 קבוצת המספרים הטבעיים N היא z}.{z Z : 0 נעבור לדון בכמה תכונות. 1.1 עקרון הסדר הטוב משפט 1.2 עקרון הסדר הטוב: לכל תת קבוצה לא ריקה של מספרים טבעיים קיים איבר מינימלי (או איבר ראשון). מעקרון הסדר הטוב נובע משפט האינדוקציה המוכר לכם מהקורס במתמטיקה בדידה ומבית הספר התיכון. משפט 1.3 אינדוקציה על הטבעיים: תהי A N כך ש A 0 וכן לכל,a N אם,a A אז.a + 1 A אזי.A = N הוכחה: נניח בשלילה.A N אזי הקבוצה A} {n N : n / אינה ריקה. לפי עקרון הסדר הטוב קיים בה איבר ראשון, b b. הוא טבעי שונה מאפס, ולכן גם 1 b הוא טבעי. אזי,b 1 A לכן לפי הנחת המשפט.(b 1) + 1 = b A סתירה. 1.2 יחס חלוקה הגדרה 1.4 עבור,a b Z אנו אומרים ש a מחלק את b ומסמנים a b אם קיים c Z כך שמתקיים.ac = b דוגמא: 2 אינו מחלק את 5, אבל 17 מחלק את 34. ניתן לבדוק שהיחס הינו סדר חלקי על N. (שימו לב: הטענה הזו עוסקת בטבעיים ולא בשלמים! עבור השלמים יחס חילוק אינו יחס סדר). תכונות: 1

a b a c = a (b + c).1 a b b c = a c.2.3 b.(a b) (b 0) = a עבור שלמים חיוביים, היחס הינו תת יחס של. 2 אוקלידיות ואלגוריתם אוקלידס 2.1 אוקלידיות משפט 2.1 לכל a, b Z קיימים q Z ו N r כך ש b r < ו r.a = bq + במילים אחרות, ניתן לבצע חילוק עם שארית. מצאו דוגמאות באופן עצמאי! 2.2 מחלק משותף מקסימלי.(gcd) הערה מתודית: בשיעור התרגיל אנו נעסוק ביחס החלוקה בין מספרים טבעיים בלבד. ניתן להרחיב בקלות את כל ההגדרות גם למקרה של השלמים. נפתח בהגדרה המקובלת. הגדרה 2.2 יהיו,a b N (לא שניהם 0). אנו נאמר ש d הוא המחלק המשותף המקסימלי שלהם ונסמן b) d = gcd (a, אם d a d b ולכל > 0 n שמחלק את a ואת.n d,b אם.gcd (0, 0) אז נסמן = 0 a = b = 0 כסימון, מקובל להשמיט את האותיות gcd לפני הסוגריים, ולכתוב בקיצור (b d. =,a) נביא הגדרה הנוספת. בהמשך נראה שהיא שקולה לראשונה. הגדרה 2.3 יהיו,a b N (לא שניהם 0). אנו נאמר ש d הוא המחלק המשותף המקסימלי שלהם ונסמן b) d = (a, אם d a d b ולכל > 0 n שמחלק את a ואת.n d,b אם = 0 b a = אז נסמן = 0 0).(0, נעבור להוכיח משפט שממנו נסיק את השקילות של ההגדרות, ונקבל דרך מאד נוחה לתאר את המחלק המשותף המקסימלי. משפט 2.4 יהיו,a b N כך שלא שניהם אפס. תהי D := {n N : n > 0 α, β Z, n = αa + βb} זו קבוצה סדורה היטב לא ריקה. נתבונן באיבר המינימלי d. D אזי (b d. =,a) המשפט נכון עבור שתי ההגדרות שראינו לעיל. הוכחה: ראשית נוכיח ש.d a d b לפי משפט 2.1 קיים r < d 0 וקיים q Z כך ש.a = dq + r מכיוון ש,d D קיימים α, β כך ש.αa + βb = d נציב את הביטוי במקום d ונקבל.a = (αa + βb)q + r לאחר העברת אגפים, נקבל.r = (1 αq) a βqb אם כן r הוא צירוף לינארי של.a, b לפיכך אם > 0 r אז.r D אבל r < d שהוא האיבר המינימלי של D, וזו סתירה. לפיכך = 0 r וכך a. = dq כלומר.d a באופן דומה מראים ש d b. בזאת הראנו כי מתקיים התנאי הראשון של ההגדרה, הן בהגדרה 2.2 והן בהגדרה.2.3 2

עכשיו נראה כי גם התנאי השני בהגדרות מתקיים. יהי n המחלק את a ואת b. אזי מתקיים: n a n b = n αa n βb = n (αa + βb) = d מצאנו כאן כי,n d ובכך הראנו כי מתקיים גם התנאי השני בהגדרה 2.2. מתכונות יחס החלוקה שהבאנו לעיל נובע שאכן n d והראנו את קיום התנאי השני גם עבור הגדרה.2.3 לפיכך b).d = (a, הערה 2.5 שימו לב כי במשפט זה הוכחנו קיום (b,a) לפי כל אחת מן ההגדרות, וממילא הוכחנו כי הן שקולות. כמו כן קיבלנו אפיון פשוט של (b,a) (b,a): הינו צירוף לינארי (מעל Z) של a ושל b, המינימלי מבין הצירופים שהם חיוביים. מסקנה 2.6 הגדרה 2.2 והגדרה 2.3 שקולות. תרגיל: נניח שעבור המספרים n, 1,,... n t המחלק המשותף המקסימלי הוא d. הוכח שקיימים.α 1 n 1 +... + α t n t = שלמים כך ש d α 1,..., α t הוכחה: באינדוקציה על t. 2.3 האלגוריתם של אוקלידס בסעיף זה אנו נראה דרך יעילה למציאת (b d =,a) ומציאת המקדמים של a ושל b בביטוי.d = αa + βb למה 2.7 אם,a = bq + r אזי r).(a, b) = (b, הוכחה: יהי d שמחלק את a ואת b. אזי הוא מחלק כל צירוף שלהם ובפרט את r. באופן דומה, כל d שמלחק את r ואת b, מחלק כל צירוף שלהם ופרט את a. לכן קבוצת המחלקים של a ושל b שוה לקבוצת המחלקים של b ושל.r לכן r).(a, b) = (b, למה 2.8 עבור 0 a מתקיים a.(a, 0) = הוכחה הינה תרגיל פשוט, שכדאי לעשות אותו על מנת לוודא שמבינים את כל ההגדרות. אלגוריתם: האלגוריתם של אוקלידס.1 אם = 0 b a = אזי b) (a, אינו מוגדר. 2. אחרת, בצע חילוק עם שארית על מנת לקבל a. = bq + r.3 אם = 0 r אזי.(a, b) = b.4 אחרת a = b, b = r וחזור לשורה.2 שימו לב, אם אנו זוכרים את כל ההצבות בכל צעד של האלגוריתם, אנו יכולים לצעוד אחורנית, מסופו לראשיתו, ולקבל גם את המקדמים של הצירוף הלינארי. דוגמא: מצאו את (21,77), ובטאו אותו כצירוף לינארי של 77 ושל 21. 3

פתרון: 77 = 21 3 + 14.1 21 = 14 + 7.2 14 = 7 2.3 לכן = 7 (21,77). נמצא את המקדמים: 7 = 21 14 14=77 21 3 = 7 = 21 (77 21 3) = ( 1) 77 + 4 21 קיבלנו את 7 כצירוף של 77 ו. 21 הערה 2.9 המקדמים,α β בביטוי d = αa + βb אינם יחידים. קיימת טעות טיפשית אבל נפוצה: d = αa + βb עבור מקדמים,α β כלשהם ולכן מהווה (b,a). הטעות היא שאנו דרשנו צירוף מינימלי במשפט 2.4. gcd מוגדר לכל זוג של מספרים שלמים (לאו דווקא חיוביים) באופן הבא: b ).(a, b) := ( a, תרגיל: הראה שלכל.(4n + 3, 7n + 5) = 1,n פתרון: נשתמש באלגוריתם אוקלידס. 7n + 5 = 1 (4n + 3) + (3n + 2).1 4n + 3 = 1 (3n + 2) + (n + 1).2 3n + 2 = 2 (n + 1) + n.3 n + 1 = 1 n + 1.4 n = 1 n.5 לכן = 1 (5 + 7n 4n). +,3 נבטא את 1 כצירוף שלהם. נתחיל בצעד 4 (תמיד מדלגים על הצעד האחרון). נבודד את n מצעד 3, את + 1 n מצעד 2, ואת + 2 3n מצעד 1. נציב זאת לפי הסדר: 1 (4) = (n + 1) n (3) = (n + 1) ((3n + 2) 2 (n + 1)) = 3 (n + 1) (3n + 2) (2) = 3 ((4n + 3) (3n + 2)) (3n + 2) = 3 (4n + 3) 4 (3n + 2) (1) = 3 (4n + 3) 4 ((7n + 5) (4n + 3)) = 7 (4n + 3) 4 (7n + 5) בסיכום קיבלנו 5) + (7n (4n + 3) 4 7 =.1 4

2.4 מספרים זרים הגדרה 2.10 אנו אומרים על זוג מספרים n ו m שהם זרים אם = 1 (m,n). תרגיל: יהיו.n, m Z נסמן m).d = (n, אזי קיימים m n, זרים כך ש dn n = וכן.m = dm.m = m d, n = n d אלו מספרים שלמים (הוכיחו!). יהיו α, β Z כך ש פתרון: נסמן.αn + βm = d הצבה תגלה ש = 1 βm.αn + לכן m ו n זרים. טענה 2.11 אם a ו b זרים, וכן a bc אזי.a c הוכחה:.c = c 1 = c (αa + βb) = αca + βbc מכיוון ש a מחלק כל מחובר בסכום, a מחלק את כל הביטוי, כלומר את c. 2.5 הכפולה המשותפת המינינלית.(lcm) הגדרה 2.12 יהיו,n m מספרים שלמים. אזי הכפולה המשותפת המינימלית (lcm) שלהם מוגדרת כמספר הטבעי הקטן ביותר שמתחלק בשניהם. אנו מסמנים (m,n]. [m =: lcm,n) טענה 2.13 יהיו n, m מספרים טבעיים. אזי.[n, m](n, m) = nm הוכחה: נסמן.(n, m) = d לפי התרגיל בסעיף,2.4 קיימים n m, זרים כך ש,n = n d.m = m d אנו נראה ש m].dn m = [n, ברור, ש m.n dn m, m dn אנו נוכיח שלכל 0 p שמתתחלק ב m וב n,.dn m p נניח, מספר כלשהו 0 p שמתחלק ב n וב m. אזי, ניתן לבטא אותו בשני אופנים p. = αm = βn נציב את הביטויים עבור n ו m, ונקבל βdn.αdm = נחלק את שני האגפים ב d, ונקבל βn.αm = על פי טענה 2.11.n dm αdm = p לכן.m n m α ולכן n α 3 מספרים ראשוניים ופירוק לגורמים 3.1 מספרים ראשוניים ומספרים אי פריקים הגדרה 3.1 מספר שלם a Z 0 הוא ראשוני, אם לכל b ו c המקיימים a, = bc מתקיים b הפיך או c הפיך. בהקשר של המספרים השלמים, ניתן לנסח את ההגדרה גם כך: מספר שלם a הוא ראשוני אם אין לו מחלקים חיוביים מלבד a עצמו ו 1. הספרים השלמים הם דוגמא לתחום שלמות, עליהם נלמד בהמשך הקורס. בתחומי שלמות מבחינים בין המושגים אי פריק וראשוני. ההגדרה שלעיל מתאימה למושג אי פריק. בטענה 3.3 נוכיח כי גם תכונת הראשוניות מתקיימת. דוגמא: 2 הוא מספר ראשוני. טענה 3.2 אם p ראשוני אזי לכל n, מתקיימת לפחות אחת מהשתיים:,p n או = 1 (n,p). הוכחה: נניח 1 d.(p, n) = בפרט d p וקיים q כך ש p p.dq = ראשוני, d לא הפיך, ולכן,n = dm = pq 1 m ביחד נקבל.dm = כך ש n m וקיים d n בנוסף,.d = pq 1 הפיך, q וכך p n כמבוקש. 5

טענה 3.3 (אי פריקות גוררת ראשוניות) אם p הוא ראשוני, אזי לכל b ו c המקיימים,p bc מתקיים גם p b או.p c הוכחה: נניח ש p הוא ראשוני. יהיו b ו c, כך ש p. bc אם p ו b זרים, אזי p מחלק את c על פי טענה 2.11. אחרת p מחלק את b על פי הטענה 3.2. 3.2 פירוק לגורמים טענה 3.4 כל מספר טבעי, אפשר להציג כמכפלה של ראשוניים. הוכחה: נוכיח את המשפט באינדוקציה. עבור =,1 2 n הטענה נכונה. נניח שהטענה נכונה לכל < m < n 1. אנו נוכיח שהטענה אף ל n. אם n ראשוני, הטענה נכונה. אחרת n פריק, לכן קיימים,a, b < n כך ש n. = ab לפי הנחת האינדוקציה, a ניתן להציג כמכפלה של מספרים ראשוניים ו b ניתן להציג כמכפלה של מספרים ראשוניים. לכן n אף הוא מכפלה של מספרים ראשוניים. טענה 3.5 הפירוק של מספר טבעי לגורמים ראשוניים הינו יחיד עד כדי סדר. n. = p α1 מכיוון שכל ראשוני זר לכל ראשוני אחר, כל 1...pαm m = q β1 הוכחה: נניח ש...qβr r 1 גורם שמופיע בצד ימין חייב להופיע גם בצד שמאל, על פי הטענה 2.11. אם כן, ניתן להתאים את כל ה p i באופן חח"ע עם כל ה q. i אנו נקבע כי סדרם אחיד, כלומר p i = q i לכל i. כעת נראה את ההתאמה.α i = β i נניח בשלילה כי,α i β i ובה"כ.α i < β i אזי נחלק את.p α1 אם 1 pαi 1 pαi+1 pαm m = p β1 1 pβi αi i p βn n קיבלנו.p αi שני הצדדים ב i כן, p i מופיע באגף ימין בחזקה חיובית ממש, בעוד שבאגף שמאל הוא מופיע בחזקת אפס. אבל מכיוון שהוא ראשוני, הוא חייב לחלק את אחד הגורמים של אגף שמאל. מכיוון שכל הגורמים האחרים הם ראשוניים ושונים מ p, i אין ראשוני שכזה. סתירה. אם כן, לכל i,,α i = β i והפירוק יחיד. שתי הטענות האחרונות יחדיו מכונות בשם המשפט היסודי של האריתמטיקה. 4 שקילות מודולו n. הגדרה 4.1 אנו אומרים a ו b שקולים מודולו,n אם b),n (a ומסמנים n).a b (mod טענה 4.2 שקילות מודולו n היא יחס שקילות. כמו כן, כפל וחיבור מודולו n מוגדרים היטב על מחלקות שקילות, דהיינו: אם n),a a, b b (mod אזי n).a + b a + b, ab a b (mod 4.1 משפט השאריות הסיני משפט 4.3 אם n ו m זרים, אזי לכל a ו b קיים x יחיד עד כדי שקילות מודולו mn כך ש.x b (mod m) ו,x a (mod n) הוכחה: קיום. מכיוון ש = 1 n),(m, קיימים α ו β כך ש = 1 βn.αm + נתבונן ב.aαm + bβn מתקיים aαm + bβn aαm a 1 a (mod n) 6

באופן דומה aαm + bβn bβn b 1 b (mod m) לפיכך אנו נסמן x, = aαm + bβn והמבוקש יתקיים. קל לראות כי הפתרון שמצאנו x מכבד את השקילות (מודולו.(mn ניתן לבדוק לצורך זה את המקרה x = x+kmn ולגלות שגם זה פתרון טוב. יחידות. נוכיח באופן קומבינטורי. לכל זוג (b,a) יש x (לפחות אחד) המתאים לו (מודולו.(mn (מודולו שונות ל x אפשרויות ו mn,a) (b זוגות שונים mn ישנם בסה"כ.(mn ההתאמה הזו היא פונקציה חח"ע בין קבוצות סופיות שוות עוצמה, ולכן היא גם על. 7