לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 1.5
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
== תרגילים יותר מעניינים (לא בסגנון "בני גורן". אם יש את הרקע המספק)== ===תרגיל === יהא <math>A</math> פסוק. נגדיר בעזרת אינדוקציה פסוקים: <math>P_0 = A, P_n=(P_{n-1})\to A</math> הוכיחו כי <math>P_{n}</math> טואוטולוגיה כאשר <math>n</math> אי-זוגי. פתרון: נוכיח באינדוקציה כי לכל <math>n</math> אי-זוגי, הפסוק <math>P_{n}</math> הוא טואוטולוגיה.בדיקה: עבור <math>n=1</math>, הפסוק הוא <math>A\to A</math>. הוא אכן טואוטולוגיה. צעד: כעת, נניח את נכונות הטענה עבור <math>n</math> אי-זוגי, ונוכיח עבור האי-זוגי הבא בתור, כלומר <math>n+2</math>. מתקיים:<math>P_{n+2}=P_{n+1}\to A=(P_{n}\to A)\to A</math> נראה כי זו אכן טואוטולוגיה. ראשית, לפי ההנחה, <math>P_{n}\equiv T</math> לכל ערך של <math>A</math>. • אם <math>A=F</math>, נקבל <math>(T\to F)\to F\equiv F\to F</math>- אכן אמת. • אם <math>A=T</math>, נקבל <math> (T\to T)\to T\equiv T\to T</math> - אכן אמת. וסיימנו באינדוקציה. ===תרגיל:=== יהיו <math>A_1,A_2,\dots A_n </math> קבוצות אזי <math>A_1 \triangle A_2 \triangle \dots \triangle A_n =\{x| x \; \; \text{in odd number of sets} \}</math> הוכחה: עבור <math>n=2</math> זה נכון כי הפרש סימטרי של 2 קבוצות זה כל ה <math>x</math> - ים שנמצאים או בראשונה בלבד או בשניה בלבד. נניח כי הטענה נכונה עבור <math>n</math> קבוצות. נוכיח עבור <math>n+1</math> קבוצות: <math>A_1 \triangle A_2 \triangle \dots \triangle A_n \triangle A_{n+1} = B\cup C </math> כאשר <math>B=\{x \; | \; x\in (A_1 \triangle A_2 \triangle \dots \triangle A_n )\backslash A_{n+1} \} = \{x \; | \; x\in (A_1 \triangle A_2 \triangle \dots \triangle A_n ) \land x\not\in A_{n+1} \} , \; \\ C= \{ x \; | \; x \in A_{n+1} \backslash (A_1 \triangle A_2 \triangle \dots \triangle A_n ) \} = \{x \; | \; x \in A_{n+1} \land x\not\in (A_1 \triangle A_2 \triangle \dots \triangle A_n )\}</math> לפי הנחת האינדוקציה מתקיים <math>A_1 \triangle A_2 \triangle \dots \triangle A_n =\{x| x \; \; \text{in odd number of sets from}\; A_1,A_2\dots A_n \}</math> ולכן ניתן להמשיך כך <math>B\cup C = \{x \; | \; x\in (A_1 \triangle A_2 \triangle \dots \triangle A_n ) \; \land \; x\not\in A_{n+1}\} \cup \{x \; | \; x \in A_{n+1} \; \land \; x\not\in (A_1 \triangle A_2 \triangle \dots \triangle A_n )\} = </math> <math>\{x \; | \; x\in \; \text{in odd number of sets from}\; A_1,A_2\dots A_n \; \land \; x\not\in A_{n+1} \} \cup \{x \; | \; x \in A_{n+1} \; \land \; x\not\in \text{in odd number of sets from}\; A_1,A_2\dots A_n \} = </math> <math>\{x \; | x\not\in A_{n+1} \; \land \; x\in \; \text{in odd number of sets from}\; A_1,A_2\dots A_n \} \cup \{x \; | \; x \in A_{n+1} \; \land \; x \in \text{in even number of sets from}\; A_1,A_2\dots A_n \}=</math> <math>\{x \; | \; x\in \; \text{in odd number of sets from}\; A_1,A_2\dots A_n, A_{n+1} \}</math> לכן, הטענה נכונה גם עבור <math>n+1</math> וסיימנו === תרגיל === יהא <math>a</math> מספר ממשי המקיים כי <math>a+\frac{1}{a}</math> מספר שלם. הוכיחו כי לכל <math>n</math> טבעי מתקיים כי <math>a^n+\frac{1}{a^n}</math> מספר שלם. === תרגיל === לכל <math>n</math> טבעי מתקיים: כל טבלה ריבועית בגודל <math>2^{n}\times2^{n}</math> שהוצאנו ממנה משבצת, ניתן לכסות ב "י" (3 משבצות בצורת האות יוד) הוכחה: באינדוקציה. בסיס <math>n=1</math>: טבלה ריבועית בגודל 2 על 2, ואכן כל משבצת שנוציא נשאר עם צורה "יוד" בודדת. צעד: נניח נכונות עבור <math>n</math> ונוכיח נוכונות עבור <math>n+1</math>. תהא טבלה בגודל <math>2^{n+1}\times2^{n+1}</math> שהוצאנו משבצת. את הטבלה הזאת נחלק ל 4 טבלאות קטנות יותר בגודל <math>2^{n}\times2^{n}</math> שאחת מהן חסרה משבצת. את הטבלה הזאת ניתן לכסות ב"יוד" ים לפי הנחת האינדוקציה. בנוסף ניתן להוציא "יוד" נוספת כך ששלושת הטבלאות האחרות יהיו חסרות משבצת אחת בדיוק ואז גם אותם ניתן לכסות ב"יוד" ים לפי הנחת האינדוקציה. מסקנה: לכל <math>n</math> טבעי מתקיים ש 3 מחלק את <math>\left(2^{n}\right)^{2}-1</math>. === תרגיל === תהא טבלת שוקולד עם <math>m</math> שורות ו <math>n</math> עמודות. חיתוך של טבלת שוקולד הוא שבירת הטבלה לשתי טבלאות קטנות לאורך או לרוחב הטבלה המקורית. הוכיחו כי בהינתן טבלה עם <math>N</math> קוביות שוקולד, צריך בדיוק <math>N-1</math> חיתוכים על מנת להפריד כל קוביה בנפרד (כלומר לקבל <math>N</math> טבלאות שכל אחת מגודל 1 על 1). הוכחה: באינדוקציה שלמה. אם הטבלה בגודל 1 על 1 סיימנו. אחרת, נבצע חיתוך שרירותי, נקבל 2 טבלאות קטנות יותר, נפעיל עליהם את הנחת האינדוקציה וסיימנו. ===תרגיל=== הוכיחו בעזרת אינדוקציה כי כל מצולע קמור (כלומר הצלע בין כל שני קודקודים נמצאת בפנים המצולע) בן <math>n \geq 3</math> צלעות ניתן לשילוש (כלומר ניתן לחלק אותו למשולשים) ושיש בשילוש <math>n-3</math> אלכסונים. פתרון: עבור <math>n=3</math>: מצולע קמור בן 3 צלעות חייב להיות משולש (ייתכן בעיוות כלשהוא) ולכן הוא ניתן לשילוש ע"י <math>n-3=0</math> אלכסונים. כעת נניח שהטענה נכונה עבור כל מצולע קמור בן <math>3\leq k \leq n</math> ונוכיח את הטענה עבור מצלוע קמור בן <math>n+1</math> צלעות (כלומר שכל מצולע קמור בן <math>n+1</math> ניתן לשילוש עם <math>(n+1)-3</math> אלכסונים). יהא מצולע קמור <math>M</math> בן <math>n+1</math> צלעות. נמתח קו בין שני קודקודים שלו. כעת המצולע שהתחלנו איתו התחלק לשני מצולעים קמורים, נסמנם <math>M_1,M_2</math>. נסמן את מספר הצלעות של <math>M_1</math> ב <math>k</math> (כלומר יש לו <math>k-1</math> צלעות משותפות עם <math>M</math> + הצלע שהוספנו. מספר הצלעות של <math>M</math> הוא <math>n+1</math> ולכן מספר הצלעות המשותפות בין <math>M</math> ל <math>M_2</math> הוא <math>n+1-(k-1)=n-k+2</math> ולכן מספר הצלעות של <math>M_2</math> הוא <math>n-k+3</math>. כיוון ש <math>3\leq k,n-k+3\leq n+1</math> ניתן להפעיל את הנחת האינדוקציה על <math>M_1,M_2</math> ולהסיק כי <math>M_1,M_2</math> ניתן לשילוש ע"י <math>k-3,n-k+3 - 3</math> אלכסונים. צירוף השילושים של <math>M_1,M_2</math> יתן שילוש של <math>M</math> עם <math>(k-3) + (n-k)+1=(n+1)-3 </math> אלכסונים כנדרש. ===תרגיל:=== יהיו <math>A_1,A_2\dots A_{m+1} \in \mathbb{F}^{n\times n}</math> מטריצות ריבועיות אזי האיבר הכללי של המכפלה של כולם ניתן ע"י הנוסחא <math>(A_1A_2\cdots A_{m+1})_{i,j}=\underset{1\leq i_1,i_2,\dots i_m \leq n}{\sum}(A_1)_{i,i_1}(A_2)_{i_1,i_2}\dots (A_{m+1})_{i_m,j}</math> הוכחה (באינדוקציה על מספר המטריצות): עבור <math>m=1</math> זה ההגדרה של כפל בין 2 מטריצות כעת, נניח שהטענה נכונה עבור <math>m</math> כל שהוא. נוכיח נכונות עבור <math>m+1</math> <math>(A_1A_2\cdots A_{m+1}A_{m+2})_{i,j}=\sum_{i_{m+1}=1}^n (A_1A_2\cdots A_{m+1})_{i,i_{m+1}}(A_{m+2})_{i_{m+1},j}</math> לפי הנחת האינדוקציה נמשיך: <math>=\sum_{i_{m+1}=1}^n \underset{1\leq i_1,i_2,\dots i_m \leq n}{\sum}(A_1)_{i,i_1}(A_2)_{i_1,i_2}\dots (A_{m+1})_{i_m,i_{m+1}}(A_{m+2})_{i_{m+1},j} = </math> <math> = \underset{1\leq i_1,i_2,\dots i_m, i_{m+1} \leq n}{\sum}(A_1)_{i,i_1}(A_2)_{i_1,i_2}\dots (A_{m+1})_{i_m,i_{m+1}}(A_{m+2})_{i_{m+1},j}</math> וסיימנו.
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)