הצגת המקור של הדף "שיטות למציאת אינטגרלים לא מסוימים"

{{סימון מתמטי}}לחלק מה[[אינטגרל לא מסוים|אינטגרלים הלא מסוימים]] ניתן למצוא [[פתרון אנליטי]] כללי, כלומר פתרון של האינטגרל מהצורה: <math> \int f \left( x \right)\, \mathrm{d}x</math>. בעזרת פתרון כזה ניתן לקבל (בעזרת [[המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי|המשפט היסודי]]) גם פתרון ל[[אינטגרל מסוים]].

כדלקמן רשימה חלקית של שיטות לביצוע תהליך האינטגרציה:

==האינטגרל כאופרטור ליניארי==
האינטגרל הוא [[אופרטור ליניארי]].

יהי מספר סופי (קבוע) <math>n \in\mathbb{R}</math> של [[פונקציה|פונקציות]] [[אינטגרביליות]] בקטע <math>I</math>, <math>f(x)_n \colon A_n\rightarrow B_n</math>כאשר <math> A_n, B_n \subseteq \mathbb{R}</math>. מתקיים:

<math>\int \left(\sum_{i=1}^n \zeta_if(x)_i \right)\, \mathrm{d}x=\sum_{i=1}^n \zeta_i \int f(x)_i \,\mathrm{d}x </math>

כאשר <math>\zeta_i \in \mathbb{R} </math>.

ובניסוח פשטני יותר:

<math>\int \left(\sum_{i=1}^n \zeta_if(x)_i \right)\, \mathrm{d}x=\zeta_1 \int f(x)_1 \,\mathrm{d}x+ \zeta_2 \int f(x)_2 \,\mathrm{d}x+...+\zeta_n \int f(x)_n \,\mathrm{d}x </math>

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

*דוגמה:

:<math>\int e^x+\cos(x) \,\mathrm{d}x= \int e^x \,\mathrm{d}x +\int \cos(x) \,\mathrm{d}x = e^x + \sin(x) + C</math>

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

<math>\int x^n \,\mathrm{d}x=\begin{cases}\ln x +C & n=-1 \\ \frac{1}{n+1}x^{n+1} + C & \text{else}   \end{cases}</math>

<math>\int \sin (x) \,\mathrm{d}x = -\cos (x) +C</math>

<math>\int \cos (x) \,\mathrm{d}x =  \sin(x) +C</math>

<math>\int \frac{\mathrm{d}x}{\cos^2(x)}= \tan(x)+C</math>

<math>\int -\frac{\mathrm{d}x}{\sin^2(x)}= \frac{1}{\tan(x)}+C</math>

<math>\int n^x \,\mathrm{d}x= \frac{n^x}{\ln(n)}+C</math>

<math>\int \frac{\mathrm{d}x}{\sqrt{1-x^2}}= \arcsin (x) +C=- \arccos(x)+C</math>

<math>\int \frac{\mathrm{d}x}{1+x^2}= \arctan (x) +C</math>

==אינטגרציה בחלקים==
{{הפניה לערך מורחב|אינטגרציה בחלקים}}

מקור שיטת אינטגרציה זו, היא ב[[נגזרת]] של מכפלת פונקציות. יהיו <math>f(x) \colon A\longrightarrow B</math> ו-<math>g(x) \colon C\longrightarrow D</math>שתי פונקציות [[מספר ממשי|ממשיות]] [[פונקציה רציפה (אנליזה)|רציפות]] (<math>A,B,C,D,E,F\subseteq \mathbb{R}</math>), ופונקציה שלישית <math>h(x):  E\longrightarrow F</math> שנתונה על ידי מכפלת שתי הפונקציות: <math>h(x)\equiv f(x)\cdot g(x):=fg</math>. כמו כן הנגזרת נתונה על ידי: <math>\frac{\mathrm{d}h}{\mathrm{d}x}=\frac{\mathrm{d}f}{\mathrm{d}x}\cdot g+ \frac{\mathrm{d}g}{\mathrm{d}x}\cdot f</math>. על ידי העברת אגפים נקבל:

<math>\frac{\mathrm{d}f}{\mathrm{d}x}\cdot g=\frac{\mathrm{d}h}{\mathrm{d}x}-\frac{\mathrm{d}g}{\mathrm{d}x}\cdot f</math>, וכעת על ידי אינטגרציה נוכל לקבל את הביטוי: <math>\int \frac{\mathrm{d}f}{\mathrm{d}x}\cdot g=\int \left(\frac{\mathrm{d}h}{\mathrm{d}x}-\frac{\mathrm{d}g}{\mathrm{d}x}\cdot f\right) </math>. נשתמש בעובדה שהאינטגרל הוא [[אופרטור ליניארי]], ונקבל: <math>\int \frac{\mathrm{d}f}{\mathrm{d}x}\cdot g=\int \frac{\mathrm{d}h}{\mathrm{d}x}-\int \frac{\mathrm{d}g}{\mathrm{d}x}\cdot f </math>. בעצם, <math>\int \frac{\mathrm{d}h}{\mathrm{d}x}=h=fg </math>. מכאן נקבל את הנוסחה לאינטגרציה בחלקים <math>\int \frac{\mathrm{d}f}{\mathrm{d}x}\cdot g=fg -\int \frac{\mathrm{d}g}{\mathrm{d}x}\cdot f </math>, או בכתיב ניוטוני <math>\ \int f(x)\cdot g'(x)\,\mathrm{d}x=f(x)\cdot g(x)-\int f'(x) g(x)\,\mathrm{d}x</math>.

לחלופין נגדיר <math>\begin{matrix} u:=f(x) & du:=f'(x) \,\mathrm{d}x \\ v:=g(x) & dv:=g'(x) \,\mathrm{d}x \end{matrix}</math>, ועל ידי הצבה לאינטגרל נקבל <math>\int u \,\mathrm{d}v = uv-\int v \,\mathrm{d}u</math>.

כלומר בעת פתרון האינטגרל, נצטרך לבחור חלק מה[[אינטגרנד]] (הפונקציה עליה מתבצעת האינטגרציה) להיות <math>u</math>, את הנותר <math>\mathrm{d}v</math> ועל ידי גזירה לקבל את <math>\mathrm{d}u</math> ועל ידי אינטגרציה לקבל את <math>v</math>, ומכאן פשוט להציב בנוסחה לעיל ולפתור. לעיתים יהיה צורך בשימוש בשיטה זו יותר מפעם אחת כדי לפתור אינטגרל.

* דוגמה 1:

<math>\int \ln(x) \,\mathrm{d}x =\begin{Bmatrix} u=\ln(x) & du=\frac{1}{x} \,\mathrm{d}x \\ v=\int \,\mathrm{d}x=x & \mathrm{d}v=1\mathrm{d}x \end{Bmatrix}=x \ln(x)-\int x\cdot\frac{1}{x} \,\mathrm{d}x=x \ln(x)-\int \mathrm{d}x=x \ln(x)-x+C </math>

* דוגמה 2:

<math>\int x^2e^x \,\mathrm{d}x=\begin{Bmatrix} u=x^2 & \mathrm{d}u=2x \,\mathrm{d}x \\ v=\int e^x\mathrm{d}x=e^x & \mathrm{d}v=e^x \,\mathrm{d}x \end{Bmatrix}=x^2e^x-\int 2xe^x\mathrm{d}x </math>

גם את האינטגרל שיצא מתוך האינטגרציה בחלקים אין אנו יודעים לפתור באופן מידי. לכן נבצע גם עליו [[אינטגרציה בחלקים]]:

<math>2\int xe^x \,\mathrm{d}x=\begin{Bmatrix} u=x & \mathrm{d}u=\mathrm{d}x \\ v=\int e^x\mathrm{d}x=e^x & dv=e^x \,\mathrm{d}x \end{Bmatrix}=2 \left( xe^x-\int e^x \,\mathrm{d}x \right)=2xe^x-2e^x+c_1 </math>

נציב את פתרון האינטגרל השני בחזרה ונקבל:

<math>\int x^2e^x \,\mathrm{d}x=x^2e^x-2xe^x+2e^x+C </math>

'''הערה חשובה!''' בכל פעם שנתבקש לחשב אינטגרל שמורכב ממכפלה של [[אקספוננט]] בפולינום כלשהו, נשתמש באינטגרציה בחלקים. בכל פעם נגדיר את <math>u</math> להיות המשתנה בחזקה בה הוא מופיע, ונחזור על פעולה זו שוב ושוב עד שהאינטגרל יהפוך להיות אינטגרל על אקספוננט בלבד.

* דוגמה 3:

<math>\int e^x \cos x \,\mathrm{d}x=\begin{Bmatrix} u=\cos x & \mathrm{d}u=- \sin x \,\mathrm{d}x \\ v=\int e^x \,\mathrm{d}x=e^x & \mathrm{d}v=e^x \,\mathrm{d}x \end{Bmatrix}=e^x \cos x-\int (- \sin x)e^x \,\mathrm{d}x=e^x \cos x+\int  \sin xe^x \,\mathrm{d}x </math>

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

<math>\int \sin xe^x \,\mathrm{d}x= \begin{Bmatrix} u=\sin x & \mathrm{d}u= \cos x \,\mathrm{d}x \\ v=\int e^x \,\mathrm{d}x=e^x & \mathrm{d}v=e^x \,\mathrm{d}x \end{Bmatrix}= e^x\sin x- \int e^x \cos x \,\mathrm{d}x </math>

למעשה, לא הצלחנו להיפטר מסימן האינטגרל, ויתר על כן, הגענו לאותו האינטגרל שקודם לכן לא יכולנו לפתור. יחד עם זאת, ישנה דרך להגיע לפתרון האינטגרל. לשם כך נסמן <math>I := \int e^x \cos x \,\mathrm{d}x </math>. נציב בחזרה את פתרון האינטגרל השני ונקבל: <math>I= e^x \cos x+e^x\sin x- I </math>. נעביר אגפים ונקבל <math>2I=e^x \cos x+e^x\sin x </math>. על ידי [[חלוקה בשתיים]], נמצא את פתרון האינטגרל: <math>I=\int e^x \cos x \,\mathrm{d}x=\frac{e^x \cos x+e^x\sin x}{2}+C </math>.

== אינטגרלים של חזקות של פונקציות טריגונומטריות ==
כל [[פונקציות טריגונומטריות|פונקציה טריגונומטרית]] שהיא ניתן להציג על ידי מנה או מכפלה של שתי הפונקציות הטריגונומטריות הבסיסיות <math>\sin (x)</math> ו-<math>\cos (x)</math>. כל אינטגרל מהצורה <math>\int \sin^m (x) \cos^n (x) \,\mathrm{d}x</math> לכל <math>n,m \in \mathbb{Z}</math> ניתן לפתור באחת מהדרכים הבאות:

{| class="wikitable"
|+
!מקרה
!נוהל
!זהות עזר
|-
|<math>n=1</math>
|
* החלפת משתנה <math>\xi=\sin(x)</math>:

* נשתמש בהחלפת המשתנה ובזהות העזר כדי לקבל:
<math>\int \sin^m (x) \cos (x) \,\mathrm{d}x = \int \xi^m \,\mathrm{d}\xi = \frac{\xi^{m+1}}{m+1}+C = \frac{\sin^{m+1}(x)}{m+1}+C</math>

|<math>d(\sin (x)) = \cos (x) \,\mathrm{d}x</math>
|-
|<math>m=1</math>
|
* החלפת משתנה <math>\xi=\cos(x)</math>:

* נשתמש בהחלפת המשתנה ובזהות העזר כדי לקבל:
<math>\int \sin (x) \cos^n (x) \,\mathrm{d}x = \int -\xi^n \,\mathrm{d}\xi = -\frac{\xi^{n+1}}{n+1}+C = -\frac{\cos^{n+1}(x)}{n+1}+C</math>

|<math>d(\cos (x)) = -\sin (x) \,\mathrm{d}x</math>
|-
|לפחות <math>\begin{vmatrix} n \end{vmatrix}</math> אי זוגי
|
* הפרדת גורם של <math>\cos (x)</math>:
<math>\cos^n (x)= \cos^{n-1}(x) \cos(x)</math>

* נשתמש בזהות העזר ובהפרדה כדי לקבל:
<math>\sin^m(x)\cos^n(x) = \sin^m(x)(1-\sin^2(x))^k \cos(x)</math> (כאשר <math>k=\frac{n-1}{2}</math> שלם כי <math>\begin{vmatrix} n \end{vmatrix}</math> אי זוגי).

* קיבלנו סכום של ביטויים מהצורה <math>\sin^m (x) \cos (x)</math> ועל ידי ההצבה <math>\xi=\sin(x)</math> והעברת האינטגרל למשתנה החדש, ניתן לפתור על פי המקרה <math>n=1</math>
|<math>\cos^2 (x)=1- \sin^2 (x)</math>
|-
|לפחות <math>\begin{vmatrix} m \end{vmatrix}</math> אי זוגי
|
* הפרדת גורם של <math>\sin (x)</math>:

<math>\sin^m (x)=\sin(x) \sin^{m-1}(x)</math>

* נשתמש בזהות העזר ובהפרדה כדי לקבל:
<math>\sin^m(x)\cos^n(x) = \sin(x)(1-\cos^2(x))^k \cos^n(x)</math> (כאשר <math>k=\frac{m-1}{2}</math> שלם כי <math>\begin{vmatrix} m \end{vmatrix}</math> אי זוגי).

* קיבלנו סכום של ביטויים מהצורה <math>\sin (x)\cos^n(x)</math> ועל ידי ההצבה <math>\xi=\cos(x)</math> והעברת האינטגרל למשתנה החדש, ניתן לפתור על פי המקרה <math>m=1</math>
|<math> \sin^2 (x)=1-\cos^2 (x)</math>
|-
|<math>\begin{vmatrix} n \end{vmatrix}</math> אי זוגי
<math>\begin{vmatrix} m \end{vmatrix}</math> אי זוגי
|ניתן לבחור באיזו דרך מבין שתי הדרכים הקודמות לפתור
|
|-
|<math>\begin{vmatrix} n \end{vmatrix}</math> זוגי
<math>\begin{vmatrix} m \end{vmatrix}</math> זוגי
|
* נשתמש בזהויות עזר כדי להקטין את החזקות של הפונקציות הטריגונומטריות ולהפוך מכפלות לסכומים 

עוד ועוד, עד שלא יהיו יותר מכפולת אלא רק סכומים נפרדים של פונקציות סינוס בנפרד, ופונקציות קוסינוס בנפרד
|<math>\sin^2 (x) = \frac{1- \cos(2x)}{2}</math>
<math>\cos^2 (x) = \frac{1+ \cos(2x)}{2}</math>

<math>\sin (x) \cos (y)= \frac{\sin(x+y)}{2}+\frac{\sin(x-y)}{2}</math>
|}

* דוגמה:

<math>\begin{align}
\int \sin (x) \tan^2 (x) \,\mathrm{d}x
&= \int \sin(x) \left(\frac{\sin (x)}{\cos (x)}\right)^2 \,\mathrm{d}x
= \int \frac{\sin^2(x)}{\cos (x)} \sin (x) \,\mathrm{d}x
= \int \frac{1- \cos^2 (x)}{\cos (x)} \sin(x) dx=\begin{Bmatrix} \xi=\cos (x)  \\ \,\mathrm{d}\xi = -\sin (x) \,\mathrm{d}x   \end{Bmatrix} \\
&=-\int \frac{1-\xi^2}{\xi} \,\mathrm{d}\xi
=- \int\frac{\mathrm{d}\xi}{\xi}+\int\xi \,\mathrm{d}\xi
=-\ln|\xi|+\frac{1}{2}\xi^2+C
=- \ln (\cos(x))+\frac{1}{2}\cos^2 (x)+C
\end{align}</math>

==[[השלמה לריבוע]]==
טכניקת ההשלמה לריבוע יעילה במקרים מסוימים מאוד. יהי אינטגרל <math>\int \frac{\mathrm{d}x}{ax^2+bx+c}</math> כאשר <math>a,b,c \in\mathbb{R}, a\neq0</math>. נרצה להציג את המכנה כביטוי ריבועי ועוד קבוע, ובכך נקל באופן משמעותי על פתרון הבעיה. על ידי הוצאת גורם משותף <math>\frac{1}{a}</math> ניתן להביא את האינטגרל לצורה <math> \alpha \int \frac{\mathrm{d}x}{x^2+ \beta x +\gamma}</math>. כעת נרצה להציג את המכנה כריבוע שלם ועוד מספר קבוע ולשם כך ניעזר ב[[נוסחאות הכפל המקוצר]] למעלה השנייה. כאשר נביא את האינטגרל לצורה <math>\Alpha \int \frac{\mathrm{d}x}{(x+\Beta)^2+\Gamma}</math> נוכל לבצע הצבה <math>\xi:=x+\Beta , \mathrm{d}\xi=\mathrm{d}x</math> ולהעביר את האינטגרל למשתנה החדש <math>\Alpha \int \frac{d\xi}{\xi^2+\Gamma}</math> והפתרון <math>\frac{\Alpha}{\sqrt{\Gamma}} \arctan\left(\frac{\xi}{\sqrt{\Gamma}}\right)+C=\frac{\Alpha}{\sqrt{\Gamma}} \arctan\left(\frac{x+\Beta}{\sqrt{\Gamma}}\right)+C</math>.

== אינטגרלים של פונקציות רציונליות ==
יהיו שני [[פולינום|פולינומים]] <math>P_n(x)</math> (פולינום מסדר <math>n</math>) ו-<math>Q_m(x)</math>(פולינום מסדר <math>m</math>). [[פונקציה רציונלית]] היא כל פונקציה מהצורה <math>\frac{P_n(x)}{Q_m(x)}</math>. במקרים רבים, יש צורך בחישוב האינטגרל של פונקציות מסוג זה. ישנן שתי שיטות שמיועדות לשני מקרים שונים שעוזרות לפתור את האינטגרלים מהסוג הזה.

=== [[שבר חלקי|פירוק לשברים חלקיים]] ===
שיטה זו משמשת במקרים בהם <math>n<m</math>, כלומר כאשר הפולינום במונה מסדר נמוך יותר מהפולינום במכנה (או בצורה פשוטה יותר: כשבמכנה מופיעה חזקה גבוהה יותר מאשר במונה). בשיטה זו, נרצה לפרק את המנה של הפולינומים למנות קטנות יותר של איבר ליניארי או קבוע, באיבר ליניארי או ריבועי.

ובכן, תחילה יש לפרק את <math>Q_m(x)</math> לאיברים ליניאריים או פרבוליים. קיים משפט אשר מבטיח כי כל פולינום ניתן להצגה כמכפלה של פולינומים לכל היותר מסדר שני, כלומר כל פולינום ניתן להציג כמכפלה של ביטויים ליניאריים ופרבוליים.

זאת אומרת שנרצה להציג את <math>Q_m(x)</math> כמכפלה של ביטויים מהצורה <math>(ax+b)</math> ו-<math>(ax^2+bx+c)</math>. לאחר שהמכנה פורק, נפרק כבר את כל הביטוי. נניח שיש לנו מספר שברים עם מכנים שונים. כאשר נבצע מכנה משותף נקבל שבר אחד שבמכנה שלו תהיה מכפלה של כל המכנים של השברים הראשוניים. זאת אומרת שאם במכנה יש מכפלה של ביטויים, ניתן להפריד כל ביטוי לשבר נפרד, וכל מה שיישאר זה למצוא את האיברים שמופיעים במונים של השברים. 

* אם במכנה יש ביטוי [[פונקציה ליניארית|ליניארי]] <math>(ax+b)</math> שמופיע במכנה פעם אחת בלבד, ניצור ממנו שבר מהצורה <math>\frac{A}{{\displaystyle (ax+b)}  }</math>.
* אם במכנה יש ביטוי ליניארי <math>(ax+b)</math> שמופיע במכנה יותר מפעם אחת בלבד, כלומר במכנה מופיע ביטוי מהצורה <math>{\displaystyle (ax+b)} ^k</math>, ניצור ממנו שברים מהצורה <math>\sum_{i=1}^k \frac{A_i}{{\displaystyle (ax+b)} ^i}=\frac{A_1}{ax+b}+\frac{A_2}{{\displaystyle (ax+b)} ^2}+...+\frac{A_k}{{\displaystyle (ax+b)} ^k}</math>.
* אם במכנה יש ביטוי [[פרבולה|פרבולי]] <math>(ax^2+bx+c)</math> שמופיע במכנה פעם אחת בלבד, ניצור ממנו שבר מהצורה <math>\frac{Ax+B}{{\displaystyle (ax^{2}+bx+c)} }</math>.
* אם במכנה יש ביטוי פרבולי <math>(ax^2+bx+c)</math> שמופיע במכנה יותר מפעם אחת בלבד, כלומר במכנה מופיע ביטוי מהצורה <math>{\displaystyle (ax^{2}+bx+c)} ^k</math>, ניצור ממנו שברים מהצורה <math>\sum_{i=1}^k \frac{A_ix+B_i}{{\displaystyle (ax^{2}+bx+c)} ^i}=\frac{A_1x+B_1}{{\displaystyle (ax^{2}+bx+c)} }+\frac{A_2x+B_2}{{\displaystyle (ax^{2}+bx+c)} ^2}+...+\frac{A_kx+B_k}{{\displaystyle (ax^{2}+bx+c)} ^k}</math>.

לאחר שהביטוי הראשוני פורק בצורה לעיל, יש לבצע מכנה משותף (ולזרוק אותו), לפתוח את כל הסוגריים ולקבץ ביטויים עם אותה החזקה, כלומר להביא את הביטוי למצב <math>\alpha_0 x^0+\alpha_1x^1+...+\alpha_nx^n</math>. למעשה הביטוי הזה, צריך להיות שווה בדיוק לפולינום <math>P_n(x)</math> (מפני שזרקנו את המכנה שהיה <math>Q_m(x)</math>) וכדי למצוא את הפרמטרים שהצבנו בעת פירוק השבר הראשוני לשברים מצומצמים יותר, נשווה את המקדמים של האיברים עם החזקות הזהות בפולינום  <math>P_n(x)</math> ובפולינום אליו הגענו <math>\alpha_0 x^0+\alpha_1x^1+...+\alpha_nx^n</math>. לאחר שנפתור את מערכות המשוואות שיתקבלו, נקבל שברים עם מכנה לכל היותר ריבועי, שהאינטגרציה עליהם הרבה יותר פשוטה.

===  חילוק פולינומים ===
שיטה זו יעילה במקרים בהם <math>n\geq m</math>,כלומר כאשר הפולינום במכנה מסדר נמוך יותר או שווה לפולינום במונה (או בצורה פשוטה יותר: כשבמונה מופיעה חזקה גבוהה יותר (או שווה) מאשר במונה). בשיטה זו, נרצה לחלק את הפולינום <math>P_n(x)</math> בפולינום <math>Q_m(x)</math> ולמצוא את השארית של החלוקה, ובכך להציג את המנה של הפולינומים כמכפלה של מספר גורמים, ועוד ביטוי כלשהו, שהוא שארית החלוקה. למעשה, אם בשיטה של הפירוק לשברים חלקיים אנחנו טוענים כי הפולינום במכנה מסדר גבוה יותר ולכן ניתן לפרק את הביטוי לשברים פשוטים יותר שבכל אחד מהם המכנה מסדר גבוה יותר, בשיטה של חילוק פולינומים אנחנו טוענים את ההפך. כלומר, היות שהפולינום במונה מסדר גבוה יותר אפשר לחלק אותו בפולינום מהמכנה (לצמצם אותם אחד בשני), ולקבל ביטוי פשוט. לדוגמה:

<math>\frac{x^2-1}{x+1}=\frac{(x+1)(x-1)}{x+1}=x-1</math>. 

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

אז במקרה הכללי נרצה להביא ביטוי מהצורה <math>{\displaystyle {\frac {P_{n}(x)}{Q_{m}(x)}}}  =\frac{\sum_{i=0}^n \alpha_ix^i}{\sum_{i=0}^m \beta_ix^i}=\frac{\alpha_0x^0+\alpha_1x^1+\alpha_2x^2+...+\alpha_nx^n}{\beta_0x^0+\beta_1x^1+\beta_2x^2+...+\beta_mx^m}</math> כאשר <math>n\geq m</math> והמטרה היא למצוא סכום של גורמים <math>R_{k}(x)=\frac{\sum_{i=0}^j \delta_ix^i}{\sum_{i=0}^l \epsilon_ix^i}+ \sum_{i=0}^k \gamma_ix^i=\frac{\delta_0x^0+\delta_1x^1+...+\delta_jx^j}{\epsilon_0x^0+\epsilon_1x^1+...\epsilon_lx^l} +\gamma_0x^0+\gamma_1x^1+\gamma_2x^2+...+\gamma_kx^k</math> שבעת החלוקה של שני הפולינומים לעיל, הוא מתקבל. 

'''הערות:'''

* כמובן שמתקיים גם <math>P_{n}(x)=Q_{m}(x)R_{k}(x)</math>.    
* חשוב לציין כי <math>l>j</math> ועל כן, היות שהביטוי <math>\frac{\sum_{i=0}^j \delta_ix^i}{\sum_{i=0}^l \epsilon_ix^i}</math> הוא מנה של פולינומים, הוא ניתן לפירוק על ידי השיטה של שברים חלקיים. כמו כן, האיבר הזה נקרא שארית החלוקה, והוא האיבר שנשאר בסוף החלוקה של שני הפולינומים <math>\frac{P_n(x)}{Q_m(x)}</math> כאשר לא ניתן לצמצם אותם עוד.
* <math>\alpha,\beta,\gamma,\delta,\epsilon \in\mathbb{R}</math>הם מספרים קבועים.

הטכניקה (האלגוריתם) זהה בדיוק לזו של חילוק ארוך. נרצה למצוא את המנה <math>\begin{matrix} \alpha_nx^n+...+\alpha_1x^1+\alpha_0x^0 & \urcorner & \beta_mx^m+...+\beta_1x^1+\beta_0x^0 \end{matrix}</math>. נפעל לפי הסדר של מספר שלבים:

# נחלק את האיבר עם החזקה הגבוהה ביותר מהפולינום אותו אנחנו רוצים לחלק (בשלב הראשון זה <math>\alpha_nx^n+...+\alpha_1x^1+\alpha_0x^0</math>) ב <math>\beta_mx^m</math> ונמצא את תוצאת החלוקה, זהו יהיה האיבר הראשון של הפולינום שמהווה את המנה של שני הפולינומים שברצונינו לחלק.
# נכפול את תוצאת החלוקה בפולינום בו אנחנו רוצים לחלק.
# נחסיר מהפולינום אותו אנחנו רוצים לחלק את המכפלה שמצאנו בשלב 2.
# אחרי החיסור, נקבל בעצם מעין פולינום חדש. רק אם בפולינום <math>\alpha_nx^n+...+\alpha_1x^1+\alpha_0x^0</math> יש איבר עם 'החזקה הבאה שחסרה' בפולינום החדש שהתקבל, נוסיף את האיבר עם החזקה הזו לפולינום החדש.
# אחרי שביצענו את ארבעת שלבים אלו, אנחנו קיבלנו פולינום חדש, וכעת, אותו אנחנו רוצים לחלק. נחזור על ארבעת השלבים שלעיל עוד ועוד עד שנקבל פולינום <math>A_{a}(x)</math> מסדר נמוך יותר מהפולינום בו אנחנו מחלקים, והחלוקה <math>\frac{{\displaystyle A_{a}(x)}  }{{\displaystyle Q_{m}(x)}  }</math> תהיה שארית החלוקה שתפורק בעזרת הטכניקה לשברים חלקיים.

בעצם, קיבלנו בסוף החלוקה פולינום שאת האינטגרל שלו קל לחשב, ועוד פונקציה רציונלית שהאינטגרל שלה יחושב בקלות אחרי פירוקה על ידי הטכניקה של שברים חלקיים.

* דוגמה:

<math> \frac{2x^7+5x^6-21x^5-38x^4+30 x^3-24x^2-65x+19}{(x+1)^2(x^3-11x+6)}</math>. תחילה נבין כי אם נפתח [[סוגריים]] במכנה החזקה הגבוהה ביותר שתופיע היא 5, ואילו במונה החזקה הגבוהה ביותר היא 7, ולכן תחילה נשתמש בטכניקה של חילוק פולינומים. תחילה, נפתח את הסוגריים במכנה ונקבל <math>x^5+2x^4-10x^3-16x^2+x+6</math>. כעת נצטרך לחלק את שני הפולינומים. החלוקה תוצג בטבלה כדי שיהיה קל יותר לעקוב אחר המתרחש.

{| class="wikitable"
|+
!מספר השלב
!הסבר מילולי לפעולה
!הפעולה עצמה
|-
|1
|זיהינו כי האיבר עם החזקה הגבוהה ביותר בפולינום אותו אנחנו רוצים לחלק הוא <math>2x^7</math>, ובפולינום בו אנחנו נחלק <math>x^5</math>.
|<math>\frac{2x^7}{x^5}=2x^2</math>
|-
|2
|נכפול את תוצאת החלוקה בפולינום בו אנחנו מחלקים
|<math>2x^2(x^5+2x^4-10x^3-16x^2+x+6)=2x^7+4x^6-20x^5-32x^4+2x^3+12x^2</math>
|-
|3
|נחסר את המכפלה שקיבלנו בשלב הקודם מהפולינום אותו אנחנו מחלקים
|<math>2x^7+5x^6-21x^5-38x^4+30 x^3-24x^2-65x+19-(2x^7+4x^6-20x^5-32x^4+2x^3+12x^2)=x^6-x^5-6x^4+28x^3-36x^2-65x+19</math>
|-
|1
|זיהינו כי האיבר עם החזקה הגבוהה ביותר בפולינום אותו אנחנו רוצים לחלק עכשיו הוא <math>x^6</math>, ובפולינום בו אנחנו נחלק <math>x^5</math>.
|<math>\frac{x^6}{x^5}=x</math>
|-
|2
|נכפול את תוצאת החלוקה בפולינום בו אנחנו מחלקים
|<math>x({\displaystyle x^{5}+2x^{4}-10x^{3}-16x^{2}+x+6}  )={\displaystyle x^{6}+2x^{5}-10x^{4}-16x^{3}+x^2+6x}  </math>
|-
|3
|נחסר את המכפלה שקיבלנו בשלב הקודם מהפולינום אותו אנחנו מחלקים
|<math>x^6-x^5-6x^4+28x^3-36x^2-65x+19-(x^{6}+2x^{5}-10x^{4}-16x^{3}+x^2+6x)=-3x^5+4x^4+44x^3-37x^2-71x+19</math>
|-
|1
|זיהינו כי האיבר עם החזקה הגבוהה ביותר בפולינום אותו אנחנו רוצים לחלק הוא <math>-3x^5</math>, ובפולינום בו אנחנו נחלק <math>x^5</math>.
|<math>\frac{-3x^5}{x^5}=-3</math>
|-
|2
|נכפול את תוצאת החלוקה בפולינום בו אנחנו מחלקים
|<math>-3({\displaystyle x^{5}+2x^{4}-10x^{3}-16x^{2}+x+6}  )=-3x^5-6x^4+30x^3+48x^2-3x-18</math>
|-
|3
|נחסר את המכפלה שקיבלנו בשלב הקודם מהפולינום אותו אנחנו מחלקים
|<math>-3x^5+4x^4+44x^3-37x^2-71x+19-(-3x^5-6x^4+30x^3+48x^2-3x-18)=10x^4+14x^3-85x^2-68x +37</math>
|-
|5
|הפולינום שהתקבל בשלב הקודם, מסדר נמוך יותר מהפולינום בו היינו מחלקים, לכן נפסיק את החלוקה. מצאנו את המנה של שני הפולינומים שרצינו לחלק, אך לצערנו נותרה שארית חלוקה.
|<math>\frac{2x^7+5x^6-21x^5-38x^4+30 x^3-24x^2-65x+19}{{\displaystyle x^{5}+2x^{4}-10x^{3}-16x^{2}+x+6}  }= 2x^2+x-3+\frac{10x^4+14x^3-85x^2-68x +37}{{\displaystyle x^{5}+2x^{4}-10x^{3}-16x^{2}+x+6} }</math>
|}

== שימוש בטורי חזקות ==
לא בכל המקרים ניתן להציג פונקציה בצורה ה[[פונקציה אלמנטרית|אלמנטרית]] שלה <math>f(x)</math>אלא באמצעות [[טור חזקות]] אינסופי. לכן לא תמיד אפשרי לחשב אינטגרל של פונקציה מסוימת. במקרה שכזה נרצה להציג את הפונקציה כ[[טור טיילור|טור מקלורן]] (ניתן לבחור גם בטור טיילור סביב ערך מתאים) ולבצע אינטגרציה על כל איבר לחוד. לאחר ביצוע [[אלגוריתם]] זה, לפעמים, ניתן יהיה להחזיר את הטור לצורה של פונקציה אלמנטרית, ולפעמים לא.

* דוגמה: נרצה לחשב את האינטגרל <math>\int \frac{\ln (x+1)}{x} \,\mathrm{d}x</math>. לא ניתן לחשב בשום דרך פרט לפירוק לטור מקלורן. הטור ללוגוריתם הטבעי ידוע היטב ונתון על ידי<math>\ln(1+x) = \sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} x^{n}\quad\mbox{ for } \left| x \right| < 1</math>.  כעת נרצה לחלק כל אחד מהאיברים ב-<math>x</math>:

<math>\frac{\ln (1+x)}{x}= \frac{1}{x}\sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} x^{n}=\sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} \frac{x^{n}}x{}=\sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} x^{n-1} </math>.

הצגנו את הפונקציה ב[[אינטגרנד]] כטור, וכעת ניתן לבצע אינטגרציה על כל איבר לחוד. יש לנו את ההרשאה לבצע זאת, בזכות העובדה שהאינטגרל הוא אופרטור ליניארי:

<math>\int \frac{\ln (x+1)}{x} \,\mathrm{d}x=\int \left(\sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} x^{n-1}\right) \mathrm{d}x=\sum^{\infin}_{n=1} \int \frac{(-1)^{n-1}}{n} x^{n-1} \,\mathrm{d}x=\sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n^2} x^n+C</math>. 

הערות:

# האינטגרל שקיבלנו אינו [[פונקציה אלמנטרית]]. 
# הטור מתכנס בקטע הפתוח <math>(-1,1)</math>. כדי לקבל את הפתרון מחוץ לקטע הזה יש לחלק את <math>x+1</math> בקבוע.

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

=== הצבה כאשר הנגזרת הפנימית מופיעה ===
במקרה הפשוט ביותר, ננסה לחשב אינטגרל בלתי מסוים מהצורה <math>\int f \left( g \left( x \right) \right) \cdot g' \left( x \right) \,\mathrm{d}x</math>. כדי לפשט את האינטגרל, "נציב" באופן זמני <math>\begin{bmatrix} t = g \left( x \right) \\ \mathrm{d}t = g' \left( x \right) \,\mathrm{d}x \end{bmatrix}</math>, (<math>\mathrm{d}t</math> מתקבל מהגדרת הנגזרת של ניוטון) ונחשב את האינטגרל <math>\int f \left( t \right) \,\mathrm{d}t</math>. לאחר שמצאנו קדומה כלשהי <math>F</math>, נרכיב תחתיה חזרה <math>F \circ g </math>, ונקבל כי משפחת הקדומות של הפונקציה המקורית היא <math>F \left( g \left( x \right) \right) + C</math>.



דוגמה: נחשב את האינטגרל <math>\int \frac{\mathrm{d}x}{x \sqrt {1 - \ln ^2 x}}</math> בעזרת הצבה <math>t = \ln x</math>:

<div style="direction: ltr;">
<math>\int \frac{\mathrm{d}x}{x \sqrt {1 - \ln ^2 x}}=\begin{bmatrix} t = \ln x \\ \mathrm{d}t = \frac{1}{x}\mathrm{d}x \end{bmatrix} = \int \frac {\mathrm{d}t} {\sqrt {1-t^2}}= \arcsin(t) + C = \sin ^{-1} \left( \ln x \right) + C</math>
</div>

נוכיח את נכונות השיטה בעזרת כלל השרשרת. הפונקציה <math>F \left( x \right)</math> היא קדומה של הפונקציה <math>f \left( x \right)</math>, ולכן מתקיים <math>F'\left( x \right) = f \left( x \right)</math>. נסתמך על כלל השרשרת, ונקבל כי -

<div style="direction: ltr;">
<math>\left[ F \left( g \left( x \right) \right) \right] ' = f \left( g \left( x \right) \right) \cdot g' \left( x \right) </math>
</div>

כלומר, <math>F \left(g \left( x \right) \right)</math> היא קדומה של <math>f \left(g \left( x \right) \right) \cdot g' \left( x \right)</math>, כפי שרצינו.

===הצבה הפוכה===
במקרה הכללי, בהינתן אינטגרל <math>\int f \left( x \right) \,\mathrm{d}x</math> נבצע "הצבה" <math>\begin{bmatrix} x=g \left( t \right) \\ \mathrm{d}x = g ' \left( t \right) \,\mathrm{d}t \end{bmatrix}</math>, ונחשב את האינטגרל <math>\int f \left( g \left( t \right) \right) \cdot g' \left( t \right) \,\mathrm{d}t</math>. לאחר שמצאנו קדומה כלשהי <math>H</math>, נרכיב תחתיה חזרה <math>H \circ g ^{-1}</math>, ונקבל כי משפחת הקדומות של הפונקציה המקורית היא <math>H \left( g^{-1} \left( x \right) \right) + C</math>.


דוגמה: נחשב את האינטגרל <math>\int \frac{\mathrm{d}x}{\sqrt x \left(1+ \sqrt[3]{x} \right)}</math> בעזרת הצבה <math>x=t^6</math>:

<div style="direction: ltr;">
<math>\int \frac{\mathrm{d}x}{\sqrt x \left(1+ \sqrt[3]{x} \right)}= \begin{bmatrix} x = t^6 \\ \mathrm{d}x=6t^5 \,\mathrm{d}t \end{bmatrix} = \int \frac {6 t^5 \,\mathrm{d}t} {t^3 ( 1 + t^2 )}=6\int \left(1 - \frac{1}{1+t^2} \right)\mathrm{d}t = </math>
: <math> = 6t -6 \tan ^{-1} t + C =_{t=\sqrt[6]{x}} 6\sqrt[6]{x} -6 \tan ^{-1} \sqrt[6]{x} + C</math>
</div>


נוכיח את נכונות השיטה. הפונקציה <math>H \left( x \right)</math> היא קדומה של הפונקציה <math>h \left( x \right) = f \left(g\left( x \right) \right) \cdot g' \left( x \right)</math>, ולכן מתקיים <math>H' \left( x \right) = h \left( x \right)</math>. כעת נוכל להסתמך על כלל השרשרת ועל נוסחת הגזירה של פונקציה הפוכה, ונקבל כי -

<div style="direction: ltr;">
<math>\left[ H \left( g^{-1} \left( x \right) \right) \right] ' = f \left( g \left( g ^{-1} \left( x \right) \right) \right) \cdot g' \left(g^{-1} \left( x \right) \right) \left[g^{-1} \left( x \right) \right] ' = </math>
:<math>= f \left( x \right) \cdot \frac {1} { \left[g^{-1} \left(g \left(g^{-1} \left( x \right) \right) \right) \right] '} \cdot \left[g^{-1} \left( x \right) \right] ' = f \left( x \right) \cdot \frac {1} {\left[g^{-1} \left( x \right) \right] '} \cdot \left[g^{-1} \left( x \right) \right] ' = f \left( x \right)</math>
</div>

כלומר, <math>H \left(g^{-1} \left( x \right) \right)</math> היא אכן קדומה של <math>f</math> כפי שרצינו.
===אינטגרל של פונקציה טריגונומטרית===
הצבות לפתרון אינטגרל מהצורה <math>\int R \left[ \sin x , \cos x \right]\, \mathrm{d}x</math>, כאשר R [[פונקציה רציונלית]] (מנת פולינומים):
* אם <math>\ R \left[ -\sin x , \cos x \right]=-R \left[ \sin x , \cos x \right]</math> מומלץ להציב  <math>\ u= \cos x</math>
* אם <math>\ R \left[ \sin x ,- \cos x \right]=-R \left[ \sin x , \cos x \right]</math> מומלץ להציב  <math>\ u= \sin x</math>
* אם <math>\ R \left[ -\sin x , -\cos x \right]=R \left[ \sin x , \cos x \right]</math> מומלץ להציב  <math>\ u= \tan x</math> או <math>\ u= \cot x</math>

הצבה טריגונומטרית מקובלת נוספת היא מהסוג:
<math>\tan  {\frac{x}{2}} = t</math>. ואז מתקיים:
<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\cos x = \frac{1-t^2}{1+t^2}</math><br/>
<math>\sin x = \frac{2t}{1+t^2}</math><br/>
<math>\ \tan x = \frac{2t}{1-t^2}</math><br/>
<math>dx = 2\frac{dt}{1+t^2}</math>
|}</div>
הצבה זו נקראת [[הצבת ויירשטראס|'''ההצבה הטריגונומטרית האוניברסלית''']] והיא מתאימה לכל אינטגרל טריגונומטרי מהצורה לעיל. הצבה אוניברסלית זו היא פרמטריזציה של [[מעגל היחידה]] כש-t נע בין ∞+ ל∞−. ברוב המקרים, אם ניתן להשתמש באחת מההצבות האחרות, היא תביא לפתרון מהיר יותר. דוגמה לשימוש בהצבה זו:

<div style="direction: ltr;"><math>\int \frac {\mathrm{d}x}{\sin x} =\left[\begin{matrix} t\equiv  \tan \frac{x}{2} \\ \mathrm{d}x=\frac{2}{1+t^2}\mathrm{d}t \\ \sin x = \frac{2t}{1+t^2}\end{matrix}\right] = \int \frac{1+t^2}{2t} \cdot \frac {2} {1+t^2} \mathrm{d}t= \int \frac {\mathrm{d}t}{t} = \ln \left| t \right| + C =_{t= \tan \frac {x}{2}} \ln \left|\tan \frac {x}{2}\right| + C</math></div>

===הצבות לחיסול שורשים===
אינטגרל מהצורה  <math>\int x^{b}\sqrt{a^2-x^2} \,\mathrm{d}x</math> כאשר b מספר אי-זוגי ניתן לפתור למשל באמצעות ההצבה: <math>\ t^2={a^2-x^2}</math>. כאשר b זוגי, ניתן לפתור את האינטגרל באמצעות ההצבות הבאות:
====הצבות טריגונומטריות====
באינטגרלים שונים, נדרשת הצבה מסוג זה כדי לפשט את האינטגרל, ולהביא לפתירתו, אף על פי שהאינטגרל עלול לא להכיל אף פונקציה טריגונומטרית אחת.<br />
האינטגרלים הבאים ודומים להם, יפתרו בצורה די מיידית עבור <math>a\,</math> קבוע חיובי ו- <math>b\ge 0</math> שלם:
<br />
* עבור <math>\int x^{2b}\sqrt{a^2-x^2} \,\mathrm{d}x</math> תתאים ההצבה: <math>x=a\sin t \,</math>
* עבור <math>\int x^{2b}\sqrt{a^2+x^2} \,\mathrm{d}x</math> תתאים ההצבה: <math>x=a\tan t \,</math>
* עבור <math>\int x^{2b}\sqrt{x^2-a^2} \,\mathrm{d}x</math> תתאים ההצבה <math>x=\frac{a}{\cos t}</math> או <math>x=\frac{a}{\sin t}</math>
דוגמאות לשימוש בשיטה זו:<br />
* חצי העיגול העליון של מעגל היחידה:
<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\int \sqrt{1-x^2}\,\mathrm{d}x = \left[ \begin{matrix} x\equiv  \sin t \\ \mathrm{d}x = \cos t \,\mathrm{d}t \\ t = \arcsin x\end{matrix}\right] = \int \sqrt{1-\sin^2 t}\cdot \cos t\,\mathrm{d}t = \int \cos t\sqrt{\cos^2 t}\,\mathrm{d}t = \int \cos^2 t\,\mathrm{d}t</math>
|}</div>
: הערה: בהמשך החישוב נעזר בשוויון <math>\sqrt{\cos^2 t} = \cos t</math> שהוא נכון עבור כל <math>t\,</math>, לכן לכל <math>\cos t\,</math> שנמצא לאחר ההצבה, נחליפו שוב ב- <math>\sqrt{\cos^2 t}</math>.
<br />
<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\int \cos^2 t\,\mathrm{d}t = \frac{1}{2} \int (\cos 2t +1)\,\mathrm{d}t = \frac{1}{4} \sin 2t + \frac{t}{2} = \frac{\sin t \cos t}{2} + \frac{t}{2} = \frac{\sin t \sqrt{\cos^2 t} + t}{2} = \frac{\sin t \sqrt{1-\sin^2 t} +t}{2}</math>
|}</div>
: לכן אם נחליף משתנים חזרה, נקבל:
<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\int \sqrt{1-x^2}\,\mathrm{d}x  = \frac{x \sqrt{1-x^2} + \arcsin x}{2} + C</math>
|}</div>

====הצבות היפרבוליות====
בדומה לאינטגרלים שהוזכרו קודם, קיימים אינטגרלים שהצבה מסוג היפרבולית תסייע לפתירתם.<br />
האינטגרלים הבאים ודומים להם, יפתרו בצורה די מיידית עבור <math>a\,</math> קבוע חיובי ו- <math>b\ge 0</math> שלם:
<br />
* עבור <math>\int x^{2b}\sqrt{a^2+x^2}\,\mathrm{d}x</math> תתאים ההצבה: <math>x=a\sinh t \,</math>
* עבור <math>\int x^{2b}\sqrt{x^2-a^2}\,\mathrm{d}x</math> תתאים ההצבה: <math>x=a\cosh t \,</math>

זאת בשל הנוסחה היסודית
<math>\cosh^2 x - \sinh^2 x = 1\,</math>

דוגמאות לשימוש בשיטה זו:<br />

חישוב אורך קשת של הפרבולה <math>y = x^2\,</math>:

<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\int \sqrt{1+{(x^2)'}^2}\,\mathrm{d}x = \int \sqrt{1+{(2x)}^2}\,\mathrm{d}x = \int \sqrt{1+4x^2}\,\mathrm{d}x = \left[ \begin{matrix} x\equiv  \frac{1}{2}\sinh t \\ \mathrm{d}x = \frac{1}{2}\cosh t \,\mathrm{d}t \\ t = {\sinh}^{-1} {2x}\end{matrix}\right]</math><br/><math> = \int \sqrt{1+\sinh^2 t}\cdot \frac{1}{2}\cosh t\,\mathrm{d}t = \frac{1}{2}\int \cosh t\sqrt{\cosh^2 t}\,\mathrm{d}t = \frac{1}{2}\int \cosh^2 t\,\mathrm{d}t</math>
|}</div>
<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\frac{1}{2}\int \cosh^2 t\,\mathrm{d}t = \frac{1}{4} \int (\cosh 2t +1)\,\mathrm{d}t = \frac{1}{8} \sinh 2t + \frac{t}{4}</math><br/><math> = \frac{\sinh t \cosh t}{4} + \frac{t}{4} = \frac{\sinh t \sqrt{\cosh^2 t} + t}{4} = \frac{\sinh t \sqrt{1+\sinh^2 t} +t}{4}</math>
|}</div>
: לכן אם [[אינטגרציה באמצעות החלפת משתנים|נחליף משתנים]] חזרה, נקבל:
<div style="text-align: left; direction: ltr; margin-left: 1em;">
{| border="0" cellpadding="0" cellspacing="0"
|-
|<math>\int \sqrt{1+4x^2}\,\mathrm{d}x  = \frac{2x \sqrt{1+4x^2} + {\sinh}^{-1} ({2x})}{4} + C</math>
|}</div>

====הצבות אוילר====
עבור פונקציה רציונלית (מנה של שני [[פולינום|פולינומים]]) ב- <math>\ x</math> ו[[שורש ריבועי]] של [[פולינום]] ריבועי מסוים <math>\ \sqrt{ax^2+bx+c}</math>, ניתן לפעמים להשתמש בהצבות שפיתח [[לאונרד אוילר]].
* אם <math>\ a>0</math>, נציב <math>\ \sqrt{ax^2+bx+c} = \pm \sqrt{a} x + t</math> (את סימן המקדם של <math>\ x</math> ניתן לבחור שרירותית). הצבה זו תיתן:

<math>
 ax^2 + bx + c = ax^2 \pm 2 \sqrt{a} xt + t^2 \quad ,
 (b \mp 2 \sqrt{a} t)x = t^2 - c \quad ,
 x = \frac{t^2 - c}{b \mp 2 \sqrt{a} t}
</math>
 
מגזירת הביטוי האחרון אפשר לקבל את הנגזרת <math>\ dx/dt</math> כפונקציה רציונלית של <math>\ t</math> בלבד, ובכך נהפך האינטגרל לאינטגרל של פונקציה רציונלית ב-<math>\ t</math>.

* אם <math>\ c>0</math>, נציב <math>\ \sqrt{ax^2+bx+c} = xt \pm \sqrt{c}</math> (שוב, את הסימן ניתן לבחור שרירותית). הצבה זו תיתן:

<math>
ax^2 + bx + c = x^2 t^2 \pm 2 \sqrt{c} xt + c \quad ,
ax^2 + bx = x^2 t^2 \pm 2 \sqrt{c} x t \quad ,
(a-t^2) x = \pm 2 \sqrt{c} t - b \quad ,
x = \frac{\pm 2 \sqrt{c} t - b}{a-t^2}
</math>

שוב, מגזירת הביטוי האחרון אפשר לקבל את הנגזרת <math>\ dx/dt</math> כפונקציה רציונלית של <math>\ t</math> בלבד, ובכך נהפך האינטגרל לאינטגרל של פונקציה רציונלית ב-<math>\ t</math>.

==ראו גם==
* [[שיטות אינטגרציה]]
* [[שיטות אנליטיות לחישוב אינטגרלים מסוימים]]
* [[שיטות נומריות לחישוב אינטגרלים מסוימים]]

[[קטגוריה:אינטגרלים]]