הפרש ריבועים

במתמטיקה, הפרש ריבועים הוא ביטוי מהצורה $a^{2}-b^{2}$ .

זהות הפרש הריבועים

אחת הזהויות המוכרות ביותר באלגברה בסיסית היא $a^{2}-b^{2}=(a+b)(a-b)$ לכל זוג מספרים $a,b$ .

הוכחה: נפתח את הסוגריים בביטוי $(a+b)(a-b)$ לפי חוק הפילוג:

$(a+b)(a-b)=(a+b)a-(a+b)b=a^{2}+ba-ab-b^{2}$

מכיוון שכפל הוא פעולה קומוטטיבית (כלומר $ab=ba$) מתקיים: $ba-ab=0$ , ולכן:

$(a+b)(a-b)=a^{2}+(ba-ab)-b^{2}=a^{2}-b^{2}$

ומתקבלת הזהות הרצויה.

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

בשדה המספרים המרוכבים זהות הפרש הריבועים מאפשרת לפרק גם סכום של ריבועים. מכיוון ש-$i^{2}=-1$ אזי מתקיים לכל $a,b$ מרוכבים:

הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle a^{2}+b^{2}=a^{2}-(bi)^{2}=(a+bi)(a-bi)}

לכל מספר מרוכב $z=a+bi$ ($a,b$ ממשיים) מוגדר מספר צמוד: ${\bar {z}}=a-bi$ וערך מוחלט: $|z|={\sqrt {a^{2}+b^{2}}}$ (זהו המרחק של $z$ מ־0 במישור המרוכב). לפי פירוק סכום הריבועים מתקיימת הזהות: $|z|^{2}=z{\bar {z}}$ .

הפרש של ריבועי טבעיים

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

אף מספר מהצורה $n=4k+2$ אינו הפרש של שני מספרים ריבועיים. טענה זו פשוטה להוכחה בעזרת חשבון מודולו 4:

$0^{2}\equiv _{4}0,\quad 1^{2}\equiv _{4}1,\quad 2^{2}\equiv _{4}0,\quad 3^{2}\equiv _{4}1$

לכן מבדיקת כל האפשרויות עולה:

$a^{2}-b^{2}\not \equiv 2\equiv n{\pmod {4}}$

כל מספר אי־זוגי $n=2k+1$ הוא הפרש של שני מספרים ריבועיים:

$(k+1)^{2}-k^{2}=(k+1+k)(k+1-k)=2k+1=n$

גם כל מספר מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n=4k} הוא הפרש שני מספרים ריבועיים:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (k+1)^2-(k-1)^2=(k+1+k-1)(k+1-k+1)=2k\cdot2=n}

המסקנה היא שמספר טבעי הוא הפרש של שני מספרים ריבועיים אם ורק אם הוא משאיר שארית שונה מ־2 בחלוקה ב־4.

אלגוריתמים רבים לפירוק לגורמים של מספר שלם מבוססים על התובנה שאם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n=ab} הוא מספר אי־זוגי אז:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n=\left(\frac{a+b}{2}\right)^2-\left(\frac{a-b}{2}\right)^2}

הכללה

זהות הפרש הריבועים היא מקרה פרטי של זהות כללית של הפרש חזקות:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^n-b^n=(a-b)(a^{n-1}+a^{n-2}b+\cdots+ab^{n-2}+b^{n-1})=(a-b)\sum_{k=0}^{n-1}a^{n-1-k}b^k}

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

ראו גם

• סכום של שני ריבועים
• פירוק לגורמים בעזרת הפרש ריבועים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0