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

במתמטיקה, הוצאת שורש ריבועי היא הפעולה של חישוב שורש ריבועי של מספר או ערך נתון. באופן כללי יותר, הוצאת שורש ריבועי דורשת פתרון של משוואה מהצורה , כאשר  ידוע ו-  הוא הנעלם.
המקרה הפשוט ביותר הוא הוצאת שורש ריבועי ממספר שלם, כמו בדוגמה . פעולה זו היא פשוטה יחסית; כל מחשבון כיס יכול לבצע אותה בקלות, ואפילו בעידנים הקדומים ניתן היה לחשבו בדומה לחישוב מנה באמצעות חילוק ארוך.
אופי החישוב תלוי במבנה האלגברי שבו מבצעים את הפעולה.

הוצאת שורש ממספר ממשי או מרוכב

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

הוצאת שורש ידנית ממספר עשרוני

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

לדוגמה המספר 34927.8721 יחולק כך: 21 87 . 27 49 3
נסמן את תוצאת הביניים ב- X. (בשלב הראשון X=0)

לוקחים את הזוג הגדול ביותר שעוד לא "טופל" ומצמידים אותו מימין לשארית מהסבב הקודם. (בשלב הראשון השארית היא 0) – נסמן את החיבור הזה ב-Y.

בכל שלב מחפשים את הספרה a הגדולה ביותר המקיימת: 20x+a)*a  Y)

רושמים את הספרה a מעל לזוג המתאים והשארית החדשה היא: Y - (20x+a)*a
דוגמה לחישוב:

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

מציאת השורש ריבועי של מספר נתון מודולו מספר אחר היא בעיה שכיחה בהצפנה מודרנית. לדוגמה במציאת השורש של 37 מודולו 63, הבעיה היא למצוא שלם , המקיים . הצעד הראשון לפתרון הבעיה הוא פירוקה לגורמים לפי משפט השאריות הסיני: , ולכן עלינו למצוא מספר שיקיים בו זמנית את שתי המשוואות  ו- . למעשה, היכולת להוציא שורשים מודולו n שקולה, מבחינה חישובית, ליכולת לפרק את n לגורמים ראשוניים (ראו שיטת רבין).
אם  הוא חזקה של מספר ראשוני, הוצאת שורש מודולו n קשה בערך כמו הוצאת שורש מודולו p עצמו. המעבר החישובי משורש מודולו p לשורש מודולו n נעשה באינדוקציה על k, כמו בלמה של הנזל. לא לכל מספר קיים שורש מודולו n; אם p איזוגי, אז שורש כזה קיים מודולו n אם ורק אם הוא קיים מודולו p - וכאשר יש למספר (שונה מאפס) שורש, יש לו בדיוק שניים. אם n הוא חזקת 2, אז קיים לו שורש אם ורק אם קיים שורש מודולו 8, ואם קיים שורש אז קיימים בדיוק ארבעה. (לפרטים בנושא זה, ראו חבורת אוילר).
הוצאת שורש ריבועי מודולו מספר ראשוני  (אי-זוגי), מתחלקת לשני מצבים. אם  אז , ולכן  הוא שורש של  או של  (רק לאחד מהם יש שורשים). המקרה השני, כאשר , יותר מסובך.

הוצאת שורש בשדה סופי

נניח ש-  הוא השדה הסופי בן q איברים. החבורה הכפלית של השדה היא בת q-1 איברים. אם q הוא חזקת 2, לפי משפט לגראנז',  הוא שורש של a. אם q איזוגי המצב דומה להוצאת שורש מודולו ראשוני (אף על פי שהוצאת שורש בשדה בגודל 27 היא משימה אחרת מהוצאת שורש מודולו 27).

הוצאת שורש בשדות מספרים

לפעמים רוצים לחשב את השורש של מספר שאיננו רציונלי, כגון , באופן מדויק, ולקבל תשובה מאותה צורה (ולא רק מספר עשרוני, שהוא פתרון מקורב). זוהי בעיה קשה באופן כללי, אבל במקרים מסוימים אפשר לפתור אותה בקלות יחסית. הכלי המרכזי במקרה זה הוא הנורמה, שמוגדרת במקרה של השדה  לפי הנוסחה .
מכיוון ש- , ברור שהשורש  (אם קיים שורש מצורה זו) יהיה בעל נורמה  או , כלומר,  מצד שני, השורש מקיים , או . מחיבור וחיסור שתי המשוואות על  מקבלים שהנורמה היא דווקא 211,  והשורש הוא .

שורש ממטריצה חיובית או אופרטור

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