הוצאת שורש ריבועי

במתמטיקה, הוצאת שורש ריבועי היא הפעולה של חישוב שורש ריבועי של מספר או ערך נתון. באופן כללי יותר, הוצאת שורש ריבועי דורשת פתרון של משוואה מהצורה <math>\ x^2 = a</math>, כאשר <math>\ a</math> ידוע ו-<math>\ x</math> הוא הנעלם.

המקרה הפשוט ביותר הוא הוצאת שורש ריבועי ממספר שלם, כמו בדוגמה <math>\ \sqrt{17956}=134</math>. פעולה זו היא פשוטה יחסית; כל מחשבון כיס יכול לבצע אותה בקלות, ואפילו בעידנים הקדומים ניתן היה לחשבו בדומה לחישוב מנה באמצעות חילוק ארוך.

אופי החישוב תלוי במבנה האלגברי שבו מבצעים את הפעולה.

== דוגמאות ==
===הוצאת שורש ממספר ממשי או מרוכב===
מציאת השורש של מספר ממשי נתון היא בעיה בסיסית באנליזה נומרית. כמו הרבה בעיות אחרות, הפתרון כולל שני מרכיבים: מציאת קירוב, ושיפורו ההדרגתי. את הקירוב הראשוני לשורש אפשר למצוא על ידי הוצאת שורש ממספר שלם. לדוגמה, <math>\ \sqrt{0.65} = \frac{\sqrt{65}}{10} \approx \frac{\sqrt{64}}{10} = \frac{8}{10} = 0.8</math>.

השלב הבא הוא הפעלת שיטת ניוטון-רפסון. אם t הוא קירוב לשורש של a, אז <math>\ t_+ = \frac{1}{2}(t+a/t)</math> הוא בדרך-כלל קירוב טוב יותר. כאשר הקירוב הראשון קרוב מספיק למטרה, שיטה זו מכפילה את מספר הספרות המדויקות בכל צעד. השורש תמיד נמצא בין t לבין a/t. 

בהצגה הקרטזית, השורש השני של מספר מרוכב <math>\ a+bi</math> (<math>\ a,b\in \mathbb{R}</math>) נתון על ידי הנוסחה <math>\ \sqrt{a+bi} = \pm (\frac{b}{2t}+ti)</math>, כאשר <math>\ t = \sqrt{\frac{\sqrt{a^2+b^2}-a}{2}}</math>. זוהי רדוקציה של הוצאת השורש ממספר מרוכב להוצאת שורש ממספר ממשי (חיובי).

===הוצאת שורש ידנית ממספר עשרוני===
כדי להוציא ידנית שורש ממספר עשרוני, מחלקים את המספר לזוגות (הנקודה העשרונית נמצאת בין הזוגות)<BR>
לדוגמה המספר 34927.8721 יחולק כך: 21 87 . 27 49 3

נסמן את תוצאת הביניים ב-X. (בשלב הראשון X=0)<BR>
לוקחים את הזוג הגדול ביותר שעוד לא "טופל" ומצמידים אותו מימין לשארית מהסבב הקודם. (בשלב הראשון השארית היא 0) – נסמן את החיבור הזה ב-Y.<BR>
בכל שלב מחפשים את הספרה a הגדולה ביותר המקיימת: <math>(20x+a)\cdot a \le y</math>
רושמים את הספרה a מעל לזוג המתאים והשארית החדשה היא: <math>y - (20x+a)\cdot a</math>

דוגמה לחישוב:

<math>
\begin{matrix}
\ \ 1 \ \ 8 \ \ \ 6 \ \ .8 \ \ 9 \\
\sqrt{ 3 \ 49 \ 27 \ .87 \ 21 } \\
&
&
&
&
&
x=0\ \ \ \ &
20x+a \equiv \underline{a}\ \ \ \ 
\\
\underline{\ } \ 3 \qquad \qquad \quad \ &
\underline{a} \times \underline{a} \le 3\ 
\\
\ \underline{\ 1 \ }\qquad \qquad \quad &
\underline{1} \times \underline{1} = 1\ &
\Rightarrow &
a = 1 &
\Rightarrow &
x=\underline{1}\ \ \ \ &
20x+a \equiv 2 \underline{a}\ \ \ 
\\
\underline{\ } \ 2 \ 49 \qquad \qquad &
2\underline{a} \times \underline{a} \le 249
\\
\underline{\ 2 \ 24 \ } \quad \qquad \ &
2\underline{8} \times \underline{8} = 224 &
\Rightarrow &
a = 8 &
\Rightarrow &
x=1 \underline{8} \ \ \ &
20x+a \equiv 36 \underline{a}\ \ 
\\
\underline{\ } \ 25 \ 27 \qquad &
36\underline{a} \times \underline{a} \le 2527
\\
\ \ \underline{\ 21\ 96\ } \qquad &
36\underline{6} \times \underline{6} = 2196 &
\Rightarrow &
a = 6 &
\Rightarrow &
x=18\underline{6}\ \ &
20x+a \equiv 372 \underline{a}\ 
\\
\ \underline{\ } \ 3 \ 31 \ .87 &
372\underline{a} \times \underline{a} \le 33187
\\
\ \ \ \underline{\ 2 \ 98 \ .24\ } &
372\underline{8} \times \underline{8} = 29824 &
\Rightarrow &
a = 8 &
\Rightarrow &
x=186 \underline{8}\ &
20x+a \equiv 3736\underline{a}
\\
\qquad \ \ \underline{\ } \ 33 \ .63 \ 21 &
3736\underline{a} \times \underline{a} \le 336321
\\
\qquad \ \quad \underline{\ 33 \ .63 \ 21\ } &
3736\underline{9} \times \underline{9} = 336321 &
\Rightarrow &
a = 9 &
\Rightarrow &
x=1868 \underline{9}
\\
\qquad \qquad \qquad \ \ 0
\\
\end{matrix}
</math>

=== הוצאת שורש מודולרית ===

מציאת השורש ריבועי של מספר נתון מודולו מספר אחר היא בעיה שכיחה בהצפנה מודרנית. לדוגמה במציאת השורש של 37 מודולו 63, הבעיה היא למצוא שלם <math>\ x</math>, המקיים <math>\ x^2 \equiv 37 \pmod{63}</math>. הצעד הראשון לפתרון הבעיה הוא פירוקה לגורמים לפי משפט השאריות הסיני: <math>\ 63 = 3^2 \cdot 7</math>, ולכן עלינו למצוא מספר שיקיים בו זמנית את שתי המשוואות <math>\ x^2 \equiv 37 \pmod{7}</math> ו-<math>\ x^2 \equiv 37 \pmod{3^2}</math>. למעשה, היכולת להוציא שורשים מודולו n שקולה, מבחינה חישובית, ליכולת לפרק את n לגורמים ראשוניים (ראו שיטת רבין).

אם <math>\ n=p^k</math> הוא חזקה של מספר ראשוני, הוצאת שורש מודולו n קשה בערך כמו הוצאת שורש מודולו p עצמו. המעבר החישובי משורש מודולו p לשורש מודולו n נעשה באינדוקציה על k, כמו בלמה של הנזל. לא לכל מספר קיים שורש מודולו n; אם p אי זוגי, אז שורש כזה קיים מודולו n אם ורק אם הוא קיים מודולו p – וכאשר יש למספר (שונה מאפס) שורש, יש לו בדיוק שניים. אם n הוא חזקת 2, אז קיים לו שורש אם ורק אם קיים שורש מודולו 8, ואם קיים שורש אז קיימים בדיוק ארבעה. (לפרטים בנושא זה, ראו חבורת אוילר).

הוצאת שורש ריבועי מודולו מספר ראשוני <math>\ p</math> (אי-זוגי), מתחלקת לשני מצבים. אם <math>\ p \equiv 3 \pmod{4}</math> אז <math>\ a^{\frac{p+1}{2}}=\pm a</math>, ולכן <math>\ a^{\frac{p+1}{4}}</math> הוא שורש של <math>\ a</math> או של <math>\ -a</math> (רק לאחד מהם יש שורשים). המקרה השני, כאשר <math>\ p\equiv 1 \pmod{4}</math>, יותר מסובך.

=== הוצאת שורש בשדה סופי ===
נניח ש-<math>\ F = \mathbb{F}_q</math> הוא השדה הסופי בן q איברים. החבורה הכפלית של השדה היא בת q-1 איברים. אם q הוא חזקת 2, לפי משפט לגראנז', <math>\ a^{q/2}</math> הוא שורש של a. אם q אי זוגי המצב דומה להוצאת שורש מודולו ראשוני (אף על פי שהוצאת שורש בשדה בגודל 27 היא משימה אחרת מהוצאת שורש מודולו 27).

=== הוצאת שורש בשדות מספרים ===
לפעמים רוצים לחשב את השורש של מספר שאיננו רציונלי, כגון <math>\ 301+96\sqrt{5}</math>, באופן מדויק, ולקבל תשובה מאותה צורה (ולא רק מספר עשרוני, שהוא פתרון מקורב). זוהי בעיה קשה באופן כללי, אבל במקרים מסוימים אפשר לפתור אותה בקלות יחסית. הכלי המרכזי במקרה זה הוא הנורמה, שמוגדרת במקרה של השדה <math>\ \mathbb{Q}[\sqrt{5}]</math> לפי הנוסחה <math>\ N(a+b\sqrt{5})=a^2-5b^2</math>.

מכיוון ש-<math>\ N(301+96\sqrt{5})=301^2-5\cdot 96^2=44521=211^2</math>, ברור שהשורש <math>\ x+y\sqrt{5}</math> (אם קיים שורש מצורה זו) יהיה בעל נורמה <math>\ 211</math> או <math>\ -211</math>, כלומר, <math>\ x^2-5y^2=\pm 211</math> מצד שני, השורש מקיים <math>\ (x+y\sqrt{5})^2 = (x^2+5y^2)+2xy\sqrt{5}=301+96\sqrt{5}</math>, או <math>\ x^2+5y^2=301;\ 2xy=96</math>. מחיבור וחיסור שתי המשוואות על <math>\ x^2,y^2</math> מקבלים שהנורמה היא דווקא 211, <math>\ x=\sqrt{\frac{301+211}{2}}=\sqrt{256}=16</math> והשורש הוא <math>\ \sqrt{301+96\sqrt{5}}=\pm(16+ 3\sqrt{5})</math>.

=== שורש ממטריצה חיובית או אופרטור ===
לא לכל מטריצה קיים שורש מעל שדה המספרים הממשיים: יש מטריצות A עבורן לא ייתכן ש-<math>\ X^2=A</math>. לעומת זאת, אם A היא מטריצה חיובית, אפשר למצוא את השורש (הריבועי, ומכל סדר) על ידי לכסון אורתוגונלי והוצאת השורש מן המטריצה האלכסונית המתקבלת.

== ראו גם ==
* ארבע פעולות החשבון
* פירוק מספר שלם לגורמים

==קישורים חיצוניים==
* 
* 

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