1 直交座標との変換
定義 1.1 (極座標). 原点O=(0,0)と正のx軸を基準とする。非零の点に対して、原点からの距離r>0と、正のx軸から反時計回りに測る角θの組(r,θ)を 極座標 (polar coordinates) と呼ぶ。角はラジアンで測り、θとθ+2kπ(k∈Z)は同じ方向を表す。原点ではr=0とし、角は任意である。
証明. 単位円上の点(cosθ,sinθ)の位置ベクトルをr倍すると、二つの座標の式を得る。平方和はx2+y2=r2であり、r≥0から距離の式を得る。逆に、非零の点では(x/r)2+(y/r)2=1なので、指定された正弦と余弦をもつ角が存在する。▨
例 1.3.P=(−3,1)に対して、r=3+1=2である。cosθ=−3/2、sinθ=1/2なので、0≤θ<2πの範囲ではθ=5π/6となる。tanθ=−1/3だけでは第2象限と第4象限を区別することができない。x=0,y>0ならθ=π/2、x=0,y<0ならθ=3π/2であり、正接の式を使わずに選ぶ。
2 符号付きの半径と点の表し方
曲線の表示ではrに負の実数も許す規約を使うことがあります。この場合、rは距離そのものではなく、指定した方向に沿う符号付きの長さです。変換式x=rcosθ,y=rsinθはそのまま用い、原点からの距離は∣r∣=x2+y2となります。
3 極方程式
定義 3.1 (極方程式).r,θの関係式を満たす組から、x=rcosθ,y=rsinθによって曲線の点を表す式を 極方程式 (polar equation) と呼ぶ。半径の符号の規約と角の範囲を合わせて指定する。
実数の集合I上の実数値関数fによる極方程式r=f(θ)(θ∈I)は、変換式へ代入すると
x=f(θ)cosθ,y=f(θ)sinθ(θ∈I)
という媒介変数表示になります。半径を非負に限る場合は、Iの中でもf(θ)≥0を満たす角だけを用います。
r=a(a>0、角は一周全体)は原点中心の半径aの円です。θ=αは、r∈Rなら原点を通る直線、r≥0なら原点から出る半直線となります。
例 3.2.r=2cosθの像を求める。まずr≥0とし、−π/2≤θ<π/2とする。変換式へ代入すると
x=2cos2θ=1+cos2θ,y=2cosθsinθ=sin2θとなる。2θは−π≤2θ<πの範囲を増加するので、点(x−1,y)は単位円を反時計回りに一周し、各点を一度ずつ通る。したがって、像は
(x−1)2+y2=1で表される円全体であり、中心は(1,0)、半径は1である。この方程式はx2+y2=2xと同値である。原点はr=0,θ=−π/2で得られる。
符号付きのrを許し、0≤θ<2πとすると、2θは0≤2θ<4πの範囲を動くので、同じ円を反時計回りに二周する。θとθ+πでは半径の符号も反転し、同じ点を与える。原点を表すのは、この角の範囲ではθ=π/2,3π/2である。原点を表す任意の角が極方程式を満たすわけではない。
問題 3.3. 符号付きの半径を許し、0≤θ<2πとする。極方程式r=2cosθとr=2sinθが表す二つの曲線の交点を、直交座標で求めよ。また、2cosθ=2sinθを解くだけでは、すべての交点が求まらない理由を述べよ。
解答.
各極方程式の両辺をr倍して直交座標へ変換すると
x2+y2=2x,x2+y2=2yを得る。第一の曲線は例 3.2で求めた円全体である。第二の曲線を直接変換すると
x=2sinθcosθ=sin2θ,y=2sin2θ=1−cos2θとなる。0≤2θ<4πなので、点(x,y−1)は単位円を二周する。したがって、第二の式の像もx2+(y−1)2=1の円全体である。原点はr=0,θ=0で得られる。
二つの直交方程式からx=yとなり、2x2=2xよりx=0,1を得る。したがって交点は(0,0)と(1,1)である。
一方、cosθ=sinθの解は、指定された範囲でθ=π/4,5π/4である。対応する半径はそれぞれ2,−2であり、どちらの組も点(1,1)を表す。原点は第一の極方程式ではθ=π/2,3π/2、第二の極方程式ではθ=0,πに対応する。原点は二つの曲線に属するが、両方の極方程式を満たして原点を表す共通の組(r,θ)は存在しない。▨
下の図のr=cos(kθ)はバラ曲線です。図では符号付きの半径と0≤θ<2πを用いています。
図の曲線の花弁数は、正整数kが奇数ならk、偶数なら2kです。最大の距離∣r∣=1を与える角はθ=mπ/kであり、mが奇数の場合にはr=−1なので、点の向きは角θからπずれます。このため、奇数のkではθとθ+πが同じ花弁を与え、偶数のkでは異なる花弁を与えます。
4 複素数の極形式との関係
複素数z=x+iyの極形式r(cosθ+isinθ)は、r>0なら点(x,y)の極座標に対応します。複素数の積が与える回転と拡大・縮小は、極座標では角の加算と半径の定数倍として表されます。
閑話休題:極座標で表すモデル 対数螺旋は、定数a>0,b=0に対する極方程式r=aebθ(θ∈R)で表され、等角螺旋とも呼ばれます。角をδだけ増やすと
r(θ+δ)=aeb(θ+δ)=ebδr(θ)となります。したがって、原点を中心にδだけ回転し、距離をebδ倍する操作が、螺旋上の点を同じ螺旋上の点へ移します。この回転を伴う拡大が自己相似性を表します。オウムガイの殻、松ぼっくり、台風の雲、渦巻銀河の腕などを、対数螺旋によって近似するモデルがあります。
ひまわりの種などの配置を表すモデルでは、隣り合う点の角の差を黄金角、約137.5∘とします。これは一周を黄金比で分けた小さい方の角です。配置に現れる螺旋の本数として、フィボナッチ数21,34,55,…を扱うモデルもあります。密度や最適性を論じるには、各点の半径と大きさ、配置する点の数などの条件を別に定める必要があります。黄金角だけから、任意の配置が最も密になるとは結論されません。
レーダーやソナーで測る距離と方向、電波の方向ごとの強さも、極座標で表すことができます。自然の形を近似する場合には、モデルが合う範囲と観測上の条件を確かめます。
5 角の範囲と曲線の像