|
|
| (28 גרסאות ביניים של אותו משתמש אינן מוצגות) |
| שורה 1: |
שורה 1: |
| *[[משתמש:איתמר שטיין/הסבר הופכי|הסבר על חישוב הופכי ב <math>\mathbb{Z}_p</math>]]
| | לפעמים אני מתיימר לטעון שאני דוקטורנט למתמטיקה. |
|
| |
|
|
| |
|
| ==שאלה 4==
| | לפעמים אני טוען שאני לומד הצגות של מונואידים. (ההוכחה בנפנופי ידיים) |
| ===סעיף א===
| |
| | |
| המשוואות המדוברות דיפרנציאביליות ברציפות והגרדיאנט של התנאי הוא:
| |
| | |
| <math>\nabla g = (\frac{2x}{a^2},\frac{2y}{b^2},\frac{2z}{c^2})</math>
| |
| | |
| שהוא לא מתאפס בנקודות שמקיימות את התנאי.
| |
| | |
| לכן אפשר להשתמש בכופלי לגרנז ללא חשש.
| |
| | |
| שימוש בכופלי לגרנז מוביל אל המשוואות הבאות:
| |
| | |
| <math>2x+\lambda \frac{2x}{a^2}=0</math>
| |
| | |
| <math>2y+\lambda \frac{2y}{b^2}=0</math>
| |
| | |
| <math>2z+\lambda \frac{2z}{c^2}=0</math>
| |
| | |
| <math>\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1</math>
| |
| | |
| אם נסתכל על שלושת המשוואות הראשונות, נקבל מערכת משוואות לינארית
| |
| | |
| <math>
| |
| \begin{bmatrix}
| |
| 2+\frac{2 \lambda}{a^2} & 0 & 0 \\
| |
| 0 & 2+\frac{2 \lambda}{b^2} & 0 \\
| |
| 0 & 0 & 2+\frac{2 \lambda}{c^2}
| |
| \end{bmatrix}
| |
| \begin{bmatrix}
| |
| x \\
| |
| y \\
| |
| z
| |
| \end{bmatrix}
| |
| =
| |
| \begin{bmatrix}
| |
| 0 \\
| |
| 0 \\
| |
| 0
| |
| \end{bmatrix}
| |
| </math>
| |
| | |
| אם המטריצה הפיכה, אז הפתרון היחיד הוא
| |
| | |
| <math>x=0,\quad y=0, \quad z=0</math>
| |
| | |
| וזה לא יקיים את האילוץ
| |
| | |
| לכן בהכרח המטריצה לא הפיכה, כלומר
| |
| | |
| <math>\lambda \in \{-a^2,-b^2,-c^2\}</math>
| |
| | |
| בגלל ש <math>a,b,c</math> מספרים שונים אלה שלוש אפשרויות שונות.
| |
| | |
| אם <math>\lambda = -a^2</math> נקבל שבהכרח <math>y=z=0</math> ולפי האילוץ
| |
| | |
| <math>\frac{x^2}{a^2}=1</math> כלומר <math>x=\pm a</math>.
| |
| | |
| בדומה שתי האפשרויות האחרות הן:
| |
| | |
| <math>x=0 ,\quad y=\pm b ,z=0</math>
| |
| | |
| <math>x=0 ,\quad y=0 ,\quad z=\pm c</math>
| |
| | |
| כעת נותר להחליט אם אלה אקסטרימלים (נקודות קיצון).
| |
| | |
| | |
| | |
| אפשר להפעיל שיקול כזה: היות ו <math>f</math> רציפה על קבוצה סגורה וחסומה, יש לה נקודות מינמום ומקסימום גלובאליות (שהן בפרט מקומיות).
| |
| ידוע שנקודות הקיצון המקומיות הן פתרונות של משוואות לגרנז'.
| |
| | |
| לכן שניים מהפתרונות חייבים להיות מינימום ומקסימום גלובאליים.
| |
| | |
| היות ו <math>a>b>c>0</math> ברור ש
| |
| | |
| <math>(\pm a ,0,0)</math> הן מקסימום גלובאלי.
| |
| | |
| ו <math>(0,0,\pm c)</math> הוא מינימום גלובאלי.
| |
| | |
| כעת נותר להחליט האם <math>(0,\pm b,0)</math> היא גם נקודת קיצון.
| |
| | |
| אפשר להפעיל שיקול כזה:
| |
| | |
| אם נסתכל על ההטלה על המישור <math>z=0</math> נקבל חישוב של <math>x^2+y^2</math> תחת האילוץ <math>\frac{x^2}{a^2}+\frac{y^2}{b^2}</math>
| |
| | |
| במצב כזה, <math>(0,\pm b)</math> היא נקודת מינימום.
| |
| | |
| אם נסתכל על ההטלה למישור <math>x=0</math> נקבל ש <math>(\pm b,0)</math> היא נקודת מקסימום.
| |
| | |
| ולכן <math>(0,\pm b,0)</math> היא לא נקודת קיצון.
| |
| | |
| לסיכום נקודות הקיצון הן:
| |
| | |
| נקודות מקסימום
| |
| <math>(a,0,0) \quad (-a,0,0)</math>
| |
| | |
| נקודות מינימום:
| |
| <math>(0,0,c) \quad (0,0,-c)</math>
| |
