משתמש:איתמר שטיין

• הסבר על חישוב הופכי ב $\mathbb{Z}_p$

שאלה 4

סעיף א

המשוואות המדוברות דיפרנציאביליות ברציפות והגרדיאנט של התנאי הוא:

$\nabla g = (\frac{2x}{a^2},\frac{2y}{b^2},\frac{2z}{c^2})$

שהוא לא מתאפס בנקודות שמקיימות את התנאי.

לכן אפשר להשתמש בכופלי לגרנז ללא חשש.

שימוש בכופלי לגרנז מוביל אל המשוואות הבאות:

$2x+\lambda \frac{2x}{a^2}=0$

$2y+\lambda \frac{2y}{b^2}=0$

$2z+\lambda \frac{2z}{c^2}=0$

$\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1$

אם נסתכל על שלושת המשוואות הראשונות, נקבל מערכת משוואות לינארית

$\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}$

אם המטריצה הפיכה, אז הפתרון היחיד הוא

$x=0,\quad y=0, \quad z=0$

וזה לא יקיים את האילוץ

לכן בהכרח המטריצה לא הפיכה, כלומר

$\lambda \in \{-a^2,-b^2,-c^2\}$

בגלל ש $a,b,c$ מספרים שונים אלה שלוש אפשרויות שונות.

אם $\lambda = -a^2$ נקבל שבהכרח $y=z=0$ ולפי האילוץ

$\frac{x^2}{a^2}=1$ כלומר $x=\pm a$.

בדומה שתי האפשרויות האחרות הן:

$x=0 ,\quad y=\pm b ,z=0$

$x=0 ,\quad y=0 ,\quad z=\pm c$

כעת נותר להחליט אם אלה אקסטרימלים (נקודות קיצון).

אפשר להפעיל שיקול כזה: היות ו $f$ רציפה על קבוצה סגורה וחסומה, יש לה נקודות מינמום ומקסימום גלובאליות (שהן בפרט מקומיות). ידוע שנקודות הקיצון המקומיות הן פתרונות של משוואות לגרנז'.

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

היות ו $a>b>c>0$ ברור ש

$(\pm a ,0,0)$ הן מקסימום גלובאלי.

ו $(0,0,\pm c)$ הוא מינימום גלובאלי.

כעת נותר להחליט האם $(0,\pm b,0)$ היא גם נקודת קיצון.

אפשר להפעיל שיקול כזה:

אם נסתכל על ההטלה על המישור $z=0$ נקבל חישוב של $x^2+y^2$ תחת האילוץ $\frac{x^2}{a^2}+\frac{y^2}{b^2}$

במצב כזה, $(0,\pm b)$ היא נקודת מינימום.

אם נסתכל על ההטלה למישור $x=0$ נקבל ש $(\pm b,0)$ היא נקודת מקסימום.

ולכן $(0,\pm b,0)$ היא לא נקודת קיצון.

לסיכום נקודות הקיצון הן:

נקודות מקסימום $(a,0,0) \quad (-a,0,0)$

נקודות מינימום: $(0,0,c) \quad (0,0,-c)$