半角正接置換

半角正接置換（はんかくせいせつちかん、）とは数学において、主に積分計算で利用される正接 による変数変換である。ワイエルシュトラス置換とも呼ばれる。三角関数のみで構成された積分に対してこの置換を施すことにより、有理関数へと変形することができる。すなわち、
なる置換をすることにより、
と変形されるのである。また、正弦 や余弦 が自乗されている場合や、一次の正弦、余弦どうしの積などが含まれる場合は のように置換することもある。なお本稿では、ことわりのない限り は半角正接置換を指すものとする。
導入.
冒頭でも説明したとおり、半角正接置換を施すことにより、
のように変形することができる。
導出.
三角関数の加法定理と相互法則から、
また を で微分して、