|
|
| (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>
| + | |
