הצבת ויירשטראס

בחשבון אינטגרלי, הצבת ויירשטראס (מכונה גם ההצבה הטריגונומטרית האוניברסלית או הצבת טנגנס חצי-הזווית) היא שיטה לחישוב אינטגרלים, אשר ממירה פונקציה רציונלית של פונקציות טריגונומטריות של <math>x</math> לפונקציה רציונלית רגילה של <math>t</math> באמצעות ההצבה <math>t = \tan \frac{x}{2}</math>; מכיוון ש-<math>sin(x)</math> ו-<math>\cos(x)</math> מהווים ביטויים רציונליים ב-<math>t</math>, פונקציה רציונלית של אלו מהווה גם היא ביטוי רציונלי ב-t. נוסחת הטרנספורמציה הכללית היא:

:<math>\int f(\sin(x), \cos(x))\, dx =\int\frac2{1+t^2} f \left(\frac{2t}{1+t^2},\frac{1-t^2}{1+t^2}\right)\, dt.</math>

לאחר המעבר לפונקציה רציונלית רגילה, האינטגרל ניתן לפתירה באמצעות פירוק לשברים חלקיים. ההצבה נקראת על שם קרל ויירשטראס (1815–1897) אף על פי שניתן למצוא אותה במפורש כבר בספר של לאונרד אוילר מ-1768, וסביר מאוד להניח שהייתה ידועה עוד לפני כן. מבין הטכניקות האלמנטריות להתרת אינטגרלים לא מסוימים, הצבה זאת נחשבת לאחת היותר "טריקיות", והנוסחאות הקשורות בה קשות יותר לזכירה.

== גזירת הנוסחה ==
על ידי שימוש בזהויות של זווית כפולה ובזהות הטריגונומטרית הפיתגוראית וחלוקת המונה והמכנה ב-<math display=inline>\cos^2\tfrac x2,</math>, ניתן לקבל:
<math display=block>\begin{align}
\sin x &= \frac {2\sin \tfrac x2\, \cos \tfrac x2}{\cos^2\tfrac x2 + \sin^2 \tfrac x2} = \frac{2\tan \tfrac x2}{1+\tan^2 \tfrac x2} = \frac{2t}{1 + t^2}, \\[18mu]
\cos x &= \frac {\cos^2 \tfrac x2 - \sin^2 \tfrac x2}{\cos^2 \tfrac x2 + \sin^2 \tfrac x2} = \frac{1-\tan^2 \tfrac x2}{1 + \tan^2 \tfrac x2} = \frac{1 - t^2}{1 + t^2}.\end{align}</math>

ולפי כללי גזירה, מקבלים <math display=inline>dt = \tfrac12\left(1+\tan^2 \tfrac x2\right) dx = \frac{1+t^2}2 dx,</math> ולכן:
<math display=block>dx=\frac{2}{1 + t^2}dt.</math>.

=== אמצעי עזר גאומטרי ===
איור: הצבת ויירשטראס קושרת בין זווית לשיפוע של ישר מסוים
המחשה של הצבת ויירשטראס באמצעות [[הטלה סטריאוגרפית של מעגל|שמאל|ממוזער]]

מנמוניקה גאומטרית לשחזור נוסחאות הטרנספורמציה מתבססת על הצבת משולש ישר-זווית בעל זווית <math>\varphi</math> בתוך מעגל היחידה באופן כזה שזווית זו היא זווית מרכזית במעגל (ראו איור). הזווית ההיקפית הנשענת על קשת המעגל המתאימה לזווית <math>\varphi</math> היא <math>\varphi/2</math>, ולפיכך, מדמיון משולשים בין משולשים AOB ו-ACE נקבל:
: <math>t = tan(\frac{\varphi}{2})= \frac{sin(\varphi)}{1+cos(\varphi)}\implies t = \frac{\sqrt{1-cos^2(\varphi)}}{1+cos(\varphi)}</math>

מכאן נקבל:
: <math>t = \sqrt{\frac{1-cos(\varphi)}{1+cos(\varphi)}}\implies cos(\varphi) = \frac{1-t^2}{1+t^2}</math>

ומהנוסחה ל-<math>cos\varphi</math> נקבל גם: <math>sin\varphi = \frac{2t}{1+t^2}</math>.

== דוגמאות ==
=== דוגמה ראשונה: אינטגרל הקוסקנט ===
: <math>\begin{align}
\int\csc x\,dx&=\int\frac{dx}{\sin x} \\[6pt]
&=\int \left(\frac{1 + t^2}{2t}\right) \left(\frac{2}{1 + t^2}\right)dt && t = \tan\frac{x}{2} \\[6pt]
&=\int\frac{dt}{t} \\[6pt]
&=\ln |t |+ C \\[6pt]
&=\ln \left|\tan\frac{x}{2} \right| + C.
\end{align}</math>

=== דוגמה שנייה: אינטגרל מסוים ===
:<math>\begin{align}
\int_0^{2\pi}\frac{dx}{2+\cos x}
&= \int_0^\pi \frac{dx}{2+\cos x} + \int_\pi^{2\pi} \frac{dx}{2+\cos x} \\[6pt]
&=\int_0^\infty \frac{2\,dt}{3 + t^2} + \int_{-\infty}^0 \frac{2\,dt}{3 + t^2} & t &= \tan\frac{x}{2} \\[6pt]
&=\int_{-\infty}^\infty \frac{2\,dt}{3+t^2} \\[6pt]
&=\frac{2}{\sqrt 3}\int_{-\infty}^\infty \frac{du}{1+u^2} & t &= u\sqrt 3 \\[6pt]
&=\frac{2\pi}{\sqrt 3}.
\end{align}</math>

== ראו גם ==
* שיטות למציאת אינטגרלים לא מסוימים

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

קטגוריה:חשבון אינפיניטסימלי