極座標と極方程式(polar coordinates and polar equations)とは、平面の点を原点からの距離 $r\ge0$ と始線からの角 $\theta$ の組で表し、図形を $r$ と $\theta$ の関係式で表す方法である。原点以外では $\theta$ が $2\pi$ の整数倍を除いて決まるので、極方程式の表す図形は「極座標のどれかが式を満たす点」全体とする。原点から直線への垂線の足を $(p,\alpha)$($p>0$)とすると直線は $r\cos(\theta-\alpha)=p$、中心 $(c,\theta_0)$ で原点を通る円は $r=2c\cos(\theta-\theta_0)$ と書ける。焦点を極、準線を $x=-d$ とする 2 次曲線は $r=ed/(1-e\cos\theta)$($e$ は離心率)と表せる(双曲線では片方の枝)。
前提知識: 三角関数, 弧度法, 加法定理, 2点間の距離, ベクトルの内積(高校数学)
平面の点は、ふつう $x$ 座標と $y$ 座標の組 $(x,y)$ で表す。これを直交座標という。一方、灯台から船の位置を伝えるときは「北東の方角に 2 km」のように、方角と距離で言う。数学でも同じ言い方ができる。原点 $\mathrm{O}$ からの距離を $r$、$x$ 軸の正の向きから反時計回りに測った角を $\theta$ として、点を $(r,\theta)$ で表す。これが極座標である。
$(r,\theta)$ から $(x,y)$ へは、三角関数の定義そのものから
$$
x=r\cos\theta,\qquad y=r\sin\theta
$$
で移れる。半径 $r$ の円の上で角 $\theta$ の位置にある点の座標だからである。まず、具体的な点で行き来してみる。
点 P$(1,\sqrt3)$ と Q$(-1,-1)$ を、原点からの距離 $r$ と始線($x$ 軸の正の部分)から測った角 $\theta$ で表すことを見る図。灰色の同心円と半直線が極座標の「目盛り」である。
極座標を使うと、曲線を $r$ と $\theta$ の式で表せる。たとえば「$r=2\cos\theta$」という式を考え、$\theta$ にいくつか値を入れて点を打ってみる。
$\theta$ に値を入れて $r=2\cos\theta$ を計算し、点 $(x,y)=(r\cos\theta,r\sin\theta)$ を求める。
| $\theta$ | $0$ | $\frac\pi6$ | $\frac\pi4$ | $\frac\pi3$ | $\frac\pi2$ | $-\frac\pi4$ |
|---|---|---|---|---|---|---|
| $r=2\cos\theta$ | $2$ | $\sqrt3$ | $\sqrt2$ | $1$ | $0$ | $\sqrt2$ |
| $x=r\cos\theta$ | $2$ | $\frac32$ | $1$ | $\frac12$ | $0$ | $1$ |
| $y=r\sin\theta$ | $0$ | $\frac{\sqrt3}2$ | $1$ | $\frac{\sqrt3}2$ | $0$ | $-1$ |
どの点でも $(x-1)^2+y^2=1$ が成り立つ。たとえば $\bigl(\frac32,\frac{\sqrt3}2\bigr)$ では $\frac14+\frac34=1$、$(1,1)$ では $0+1=1$ である。点は中心 $(1,0)$、半径 $1$ の円の上に並ぶ。
この 2 つの例から、次の問いが出てくる。
| 高校の計算 | この記事での見方 | ボックス |
|---|---|---|
| $x=r\cos\theta$、$y=r\sin\theta$ | 点に極座標を与える規則。$\theta$ は $2\pi$ の整数倍を除いて決まる | def-ppe-polar、prop-ppe-unique |
| 極方程式に $x,y$ を代入して直交座標の式にする | 表し方のどれか 1 つが式を満たす点の集まり | def-ppe-equation |
| 原点から直線に下ろした垂線 | 直線は $r\cos(\theta-\alpha)=p$(内積) | thm-ppe-line |
| 余弦定理 | 円は $r^2-2cr\cos(\theta-\theta_0)+c^2=a^2$ | thm-ppe-circle |
| $\theta$ を $-\theta$ に変えても式が同じ | 始線に関して対称 | prop-ppe-symmetry |
平面に点 $\mathrm{O}$ と、$\mathrm{O}$ から出る半直線 $\mathrm{O}X$ を 1 本決める。$\mathrm{O}$ を極、半直線 $\mathrm{O}X$ を始線という。以下では直交座標の原点を極、$x$ 軸の正の部分を始線にとる。
点 $\mathrm{P}(x,y)$ に対し、$r\ge0$ と実数 $\theta$ の組 $(r,\theta)$ で
$$
x=r\cos\theta,\qquad y=r\sin\theta
$$
を満たすものを、$\mathrm{P}$ の極座標という。$r$ を動径、$\theta$ を偏角という。
この記事では $r\ge0$ とする。$r<0$ も許す流儀もあり、どちらの流儀かで同じ式の表す図形が変わることがある(ex-ppe-negative-r)。
方針:$r$ は距離として決まる。$r$ で割ると単位円の上の点になるので、偏角の問題は「単位円の上の点を表す角」の問題になる。
段 1($r$ は決まる)。$(r,\theta)$ が $\mathrm{P}$ の極座標なら、$\cos^2\theta+\sin^2\theta=1$ から
$$
x^2+y^2=r^2\cos^2\theta+r^2\sin^2\theta=r^2(\cos^2\theta+\sin^2\theta)=r^2
$$
である。$r\ge0$ なので $r=\sqrt{x^2+y^2}$ で、これは 2 点間の距離の公式による $\mathrm{OP}$ である。
段 2(偏角がある)。$\mathrm{P}\ne\mathrm{O}$ なので $r=\sqrt{x^2+y^2}>0$ である。点 $\bigl(\frac xr,\frac yr\bigr)$ は $\bigl(\frac xr\bigr)^2+\bigl(\frac yr\bigr)^2=\frac{x^2+y^2}{r^2}=1$ を満たすので、単位円の上にある。一般角の三角関数の定義により、単位円の上の点は、始線から測った角 $\theta$ を使って $(\cos\theta,\sin\theta)$ と書ける。この $\theta$ について $x=r\cos\theta$、$y=r\sin\theta$ なので、$(r,\theta)$ は $\mathrm{P}$ の極座標である。
段 3(偏角のずれは $2\pi$ の整数倍)。$(r,\theta)$ と $(r,\theta')$ がともに極座標なら、$r>0$ で割って $\cos\theta'=\cos\theta$、$\sin\theta'=\sin\theta$ である。余弦の加法定理から
$$
\cos(\theta'-\theta)=\cos\theta'\cos\theta+\sin\theta'\sin\theta=\cos^2\theta+\sin^2\theta=1
$$
である。$\cos\varphi=1$ となるのは $\varphi$ が $2\pi$ の整数倍のときだけなので、$\theta'-\theta=2k\pi$($k$ は整数)である。逆に $\theta'=\theta+2k\pi$ なら、$\cos$ と $\sin$ は周期 $2\pi$ をもつので $(r,\theta')$ も極座標である。
段 4($0\le\theta<2\pi$ の偏角はただ 1 つ)。偏角の 1 つを $\theta$ とすると、偏角全体は $\theta+2k\pi$($k$ は整数)である。長さ $2\pi$ の区間 $0\le\varphi<2\pi$ には、この形の数がちょうど 1 つ入る($\frac\theta{2\pi}$ 以下の最大の整数を $m$ とすると、$k=-m$ のときだけ入る)。
段 5(原点)。$r=0$ なら、どんな $\theta$ でも $r\cos\theta=0$、$r\sin\theta=0$ である。逆に原点の極座標では、段 1 と同じ計算で $r^2=0$、すなわち $r=0$ である。$\square$
偏角を求めるとき、$\tan\theta=\frac yx$ だけを手がかりにすると、向きが逆の点と区別できない。これは ex-ppe-origin で見る。
1 つの点に極座標がたくさんあることから、「式が表す図形」は次のように決める。
$r$ と $\theta$ の関係式(たとえば $r=f(\theta)$)を極方程式という。平面の点 $\mathrm{P}$ が極方程式の表す図形の上にあるとは、$\mathrm{P}$ の極座標 $(r,\theta)$ のうち少なくとも 1 つがその式を満たすことをいう。
$r=f(\theta)$ の形なら、$\theta$ を動かして点 $(f(\theta)\cos\theta,\ f(\theta)\sin\theta)$ を打っていけば図形が描ける(ただし $f(\theta)\ge0$ の $\theta$ だけを使う)。ex-ppe-start-curve はこの描き方である。「少なくとも 1 つ」が効いてくる例は ex-ppe-spiral-point で見る。
極方程式を直交座標の式に直すには、次の 3 つを使う。
$$
x=r\cos\theta,\qquad y=r\sin\theta,\qquad r^2=x^2+y^2
$$
直交座標では、直線は 1 次式、円は $(x-a)^2+(y-b)^2=r^2$ で表した。極座標で書くと、原点との位置関係が式にそのまま現れる。
原点を通らない直線 $\ell$ に、原点 $\mathrm{O}$ から垂線を下ろし、その足を $\mathrm{H}$ とする。$\mathrm{H}$ の極座標を $(p,\alpha)$ とする。$\ell$ は原点を通らないので $p=\mathrm{OH}>0$ である。
原点を通らない直線 $\ell$ について、原点から $\ell$ に下ろした垂線の足の極座標を $(p,\alpha)$($p>0$)とする。このとき、点 $\mathrm{P}$ が $\ell$ の上にあるための必要十分条件は、$\mathrm{P}$ の極座標 $(r,\theta)$ が
$$
r\cos(\theta-\alpha)=p
$$
を満たすことである。直交座標では、$\ell$ の方程式は $x\cos\alpha+y\sin\alpha=p$ である。
方針:「$\mathrm{P}$ が $\ell$ の上にある」を、ベクトル $\overrightarrow{\mathrm{HP}}$ と $\overrightarrow{\mathrm{OH}}$ が垂直であることに言い換え、内積を極座標で計算する。
段 1(垂直の条件に言い換える)。$\vec n=(\cos\alpha,\sin\alpha)$ とおく。これは長さ $1$ のベクトルで、$\overrightarrow{\mathrm{OH}}=p\vec n$ である。$\ell$ は $\mathrm{H}$ を通り $\overrightarrow{\mathrm{OH}}$ に垂直な直線なので、点 $\mathrm{P}$ が $\ell$ の上にあることは、$\overrightarrow{\mathrm{HP}}\cdot\vec n=0$ と同値である($\mathrm{P}=\mathrm{H}$ のときは $\overrightarrow{\mathrm{HP}}=\vec 0$ で、内積は $0$ である)。
段 2(内積を展開する)。$\overrightarrow{\mathrm{HP}}=\overrightarrow{\mathrm{OP}}-\overrightarrow{\mathrm{OH}}=\overrightarrow{\mathrm{OP}}-p\vec n$ なので、内積の分配法則と $\vec n\cdot\vec n=\cos^2\alpha+\sin^2\alpha=1$ から
$$
\overrightarrow{\mathrm{HP}}\cdot\vec n=\overrightarrow{\mathrm{OP}}\cdot\vec n-p\,\vec n\cdot\vec n=\overrightarrow{\mathrm{OP}}\cdot\vec n-p
$$
である。よって $\mathrm{P}$ が $\ell$ の上にあることは、$\overrightarrow{\mathrm{OP}}\cdot\vec n=p$ と同値である。
段 3(極座標で書く)。$\mathrm{P}$ の極座標を $(r,\theta)$ とすると $\overrightarrow{\mathrm{OP}}=(r\cos\theta,r\sin\theta)$ なので、余弦の加法定理から
$$
\overrightarrow{\mathrm{OP}}\cdot\vec n=r\cos\theta\cos\alpha+r\sin\theta\sin\alpha=r(\cos\theta\cos\alpha+\sin\theta\sin\alpha)=r\cos(\theta-\alpha)
$$
である。段 2 と合わせて、$\mathrm{P}$ が $\ell$ の上にあることは $r\cos(\theta-\alpha)=p$ と同値である。
段 4(どの極座標でもよいこと)。$\theta$ を $\theta+2k\pi$ に変えても $\cos(\theta-\alpha)$ は変わらないので、この式は $\mathrm{P}$ の極座標の選び方によらない。原点($r=0$)は左辺が $0$、右辺が $p>0$ なので式を満たさず、$\ell$ の上にもない。直交座標の式は、段 3 の途中の式 $\overrightarrow{\mathrm{OP}}\cdot\vec n=x\cos\alpha+y\sin\alpha$ から得られる。$\square$
原点を通る直線は、原点から見て 1 つの方角とその反対の方角に伸びているので、$r\ge0$ のもとでは $\theta=\alpha$ と $\theta=\alpha+\pi$ の 2 本の半直線(と原点)を合わせたものになる。
中心 $\mathrm{C}$ の極座標を $(c,\theta_0)$($c\ge0$)、半径を $a>0$ とする。点 $\mathrm{P}$ がこの円の上にあるための必要十分条件は、$\mathrm{P}$ の極座標 $(r,\theta)$ が
$$
r^2-2cr\cos(\theta-\theta_0)+c^2=a^2
$$
を満たすことである。
方針:$\mathrm{P}$ が円の上にあることは $\mathrm{CP}^2=a^2$ と同値である。$\mathrm{CP}^2$ を 2 点間の距離の公式で書き、極座標で展開する。
段 1(座標を書く)。$\mathrm{C}=(c\cos\theta_0,\,c\sin\theta_0)$、$\mathrm{P}=(r\cos\theta,\,r\sin\theta)$ である。
段 2(展開する)。2 点間の距離の公式から
$$
\begin{aligned}
\mathrm{CP}^2&=(r\cos\theta-c\cos\theta_0)^2+(r\sin\theta-c\sin\theta_0)^2\\
&=r^2\cos^2\theta-2cr\cos\theta\cos\theta_0+c^2\cos^2\theta_0+r^2\sin^2\theta-2cr\sin\theta\sin\theta_0+c^2\sin^2\theta_0\\
&=r^2(\cos^2\theta+\sin^2\theta)+c^2(\cos^2\theta_0+\sin^2\theta_0)-2cr(\cos\theta\cos\theta_0+\sin\theta\sin\theta_0)
\end{aligned}
$$
である。
段 3(まとめる)。$\cos^2+\sin^2=1$ と余弦の加法定理 $\cos\theta\cos\theta_0+\sin\theta\sin\theta_0=\cos(\theta-\theta_0)$ を使うと
$$
\mathrm{CP}^2=r^2+c^2-2cr\cos(\theta-\theta_0)
$$
である。よって $\mathrm{CP}^2=a^2$ は、定理の式と同値である。$\theta$ を $\theta+2k\pi$ に変えても式は変わらないので、極座標の選び方にはよらない。$\square$
段 3 の式は、三角形 $\mathrm{OCP}$ で $\angle\mathrm{COP}$ が $\theta-\theta_0$ に当たるときの 余弦定理(高校数学) そのものである。
円が原点を通るのは $c=a$ のときである。このとき式はもっと簡単になり、ex-ppe-start-curve の $r=2\cos\theta$ が円である理由が分かる。
中心の極座標が $(c,\theta_0)$($c>0$)で原点を通る円は、極方程式
$$
r=2c\cos(\theta-\theta_0)
$$
の表す図形と一致する。
方針:thm-ppe-circle で $a=c$ とおき、$r$ でくくって $r=0$ と $r=2c\cos(\theta-\theta_0)$ に分ける。
段 1。円が原点を通るので、半径は $\mathrm{OC}=c$ に等しい。thm-ppe-circle の式に $a=c$ を入れると、$c^2$ が両辺から消えて
$$
r^2-2cr\cos(\theta-\theta_0)=0\iff r\bigl(r-2c\cos(\theta-\theta_0)\bigr)=0
$$
となる。よって、円の上の点は「$r=0$(原点)」か「$r=2c\cos(\theta-\theta_0)$ を満たす極座標をもつ点」である。
段 2。原点も $r=2c\cos(\theta-\theta_0)$ の表す図形に入っている。実際 $\theta=\theta_0+\frac\pi2$ とすると $2c\cos\frac\pi2=0$ なので、原点の極座標 $\bigl(0,\theta_0+\frac\pi2\bigr)$ がこの式を満たす。段 1 と合わせて、円と $r=2c\cos(\theta-\theta_0)$ の表す図形は一致する。$\square$
左は直線 $x+\sqrt3y=4$。原点から下ろした垂線の足 H の極座標 $(2,\frac\pi3)$ と、直線上の点 P までの長さ $r$ の関係 $r\cos(\theta-\alpha)=p$ を見る図。右は原点を通る円 $r=2\cos\theta$ と、原点を通らない円 $r^2-4r\cos\theta+3=0$。半直線 $\theta=\frac\pi{12}$ は右の円と 2 点で交わり、$\theta=\pm\frac\pi6$ で接する。
極方程式の曲線を描くとき、まず対称性を調べると、描く範囲が半分や 4 分の 1 で済む。
極方程式の表す図形を $F$ とする。
方針:点を折り返すと極座標がどう変わるかを、三角関数の性質で計算する。
段 1(折り返した点の極座標)。点 $\mathrm{P}$ の極座標を $(r,\theta)$ とし、$\mathrm{P}=(x,y)=(r\cos\theta,r\sin\theta)$ とする。$\cos(-\theta)=\cos\theta$、$\sin(-\theta)=-\sin\theta$ なので
$$
(r\cos(-\theta),\,r\sin(-\theta))=(x,-y)
$$
である。つまり $(r,-\theta)$ は、$\mathrm{P}$ を $x$ 軸に関して折り返した点の極座標である。同じように、$\cos(\pi-\theta)=-\cos\theta$、$\sin(\pi-\theta)=\sin\theta$ から $(r,\pi-\theta)$ は $(-x,y)$($y$ 軸に関して折り返した点)の極座標であり、$\cos(\theta+\pi)=-\cos\theta$、$\sin(\theta+\pi)=-\sin\theta$ から $(r,\theta+\pi)$ は $(-x,-y)$(原点に関して折り返した点)の極座標である。
段 2(1 の証明)。$\mathrm{P}$ が $F$ の上にあるとする。def-ppe-equation により、$\mathrm{P}$ の極座標 $(r,\theta)$ で式を満たすものがある。仮定から $(r,-\theta)$ も式を満たす。段 1 により $(r,-\theta)$ は折り返した点 $(x,-y)$ の極座標なので、$(x,-y)$ も $F$ の上にある。よって $F$ は $x$ 軸に関して対称である。
段 3(2 と 3)。段 2 の $-\theta$ を $\pi-\theta$、$\theta+\pi$ に替えて同じ議論をすればよい。$r=f(\theta)$ の形の場合は、たとえば $f(-\theta)=f(\theta)$ なら $r=f(\theta)$ から $r=f(-\theta)$ が出るので、1 の仮定が成り立つ。$\square$
大学初年級の微分積分の教科書でも、極方程式の対称性はこの 3 つの判定として述べられる(SH16 §7.3 の定理 7.5)。この命題は対称であるための十分条件を述べたもので、逆は主張していない。同じ図形でも式の書き方によって条件が成り立ったり成り立たなかったりすることがあるので、条件が成り立たないときは、図形が対称でないことを実際の点で確かめる(次の例の 1)。
直交座標では式が複雑になる曲線も、極方程式では短く書けることがある。点を打ち、対称性を使い、直交座標の式とも見比べる。
左上は螺旋 $r=\theta$($0\le\theta\le4\pi$)、右上はカージオイド $r=1+\cos\theta$、左下はレムニスケート $r^2=\cos2\theta$、右下は放物線 $r=\frac1{1-\cos\theta}$。螺旋とカージオイドの黒い点は 本文の例で計算した点、レムニスケートの紫の点は 2 焦点 $(\pm\frac1{\sqrt2},0)$、放物線の黒い点は焦点(極)で、破線は準線 $x=-1$ である。
レムニスケートは、2 点 $\bigl(\pm\frac1{\sqrt2},0\bigr)$ からの距離の積が $\frac12$ で一定の点の集まりでもある。これを確かめる。
距離の積の 2 乗を計算する。$\bigl(x\mp\frac1{\sqrt2}\bigr)^2+y^2=\bigl(x^2+y^2+\frac12\bigr)\mp\sqrt2x$ なので、和と差の積の公式から
$$
\begin{aligned}
\Bigl\{\Bigl(x-\tfrac1{\sqrt2}\Bigr)^2+y^2\Bigr\}\Bigl\{\Bigl(x+\tfrac1{\sqrt2}\Bigr)^2+y^2\Bigr\}&=\Bigl(\bigl(x^2+y^2+\tfrac12\bigr)-\sqrt2x\Bigr)\Bigl(\bigl(x^2+y^2+\tfrac12\bigr)+\sqrt2x\Bigr)\\
&=\Bigl(x^2+y^2+\tfrac12\Bigr)^2-2x^2\\
&=(x^2+y^2)^2+(x^2+y^2)+\tfrac14-2x^2\\
&=(x^2+y^2)^2-(x^2-y^2)+\tfrac14
\end{aligned}
$$
である。距離の積が $\frac12$ であることは、その 2 乗が $\frac14$ であることと同値なので、$(x^2+y^2)^2-(x^2-y^2)=0$、すなわち $(x^2+y^2)^2=x^2-y^2$ と同値である。
楕円(距離の和が一定)、双曲線(距離の差が一定)と並ぶ仲間である。
放物線・楕円・双曲線は、焦点 $\mathrm{F}$ と準線 $\ell$ を使って「$\mathrm{PF}=e\cdot(\mathrm{P}\text{ と }\ell\text{ の距離})$」を満たす点の集まりとして 1 つにまとめられる($e$ は離心率。$0< e<1$ で楕円、$e=1$ で放物線、$e>1$ で双曲線)。この定義と、曲線のうち準線に関して焦点と同じ側の部分(楕円・放物線では曲線全体、双曲線では片方の枝)が、焦点を極とする極方程式
$$
r=\frac{ed}{1-e\cos\theta}\qquad(\text{準線 }x=-d,\ d>0)
$$
で表されることの証明は 2次曲線の焦点と準線 にある。ここでは、この式が実際にそれぞれの曲線を表すことを、直交座標の式に直して確かめる。
極方程式が本当に役に立つのは、焦点から伸びる線分の長さを扱うときである。焦点を通る直線は、極座標では「$\theta$ と $\theta+\pi$ の 2 方向」になる。
焦点を $\mathrm{F}$ とする楕円または放物線に、$\mathrm{F}$ を通る直線を引き、曲線と 2 点 $\mathrm{P}$、$\mathrm{Q}$ で交わるとする。このとき
$$
\frac1{\mathrm{FP}}+\frac1{\mathrm{FQ}}
$$
は直線の向きによらず一定であることを示し、その値を求めよ。放物線 $y^2=2x+1$(焦点は原点)で、直線の傾きを変えて確かめよ。
方針:焦点を極、準線を $x=-d$ にとって極方程式 $r=\frac{ed}{1-e\cos\theta}$($0< e\le1$)を使う。直線の 2 方向 $\theta$ と $\theta+\pi$ の $r$ が $\mathrm{FP}$ と $\mathrm{FQ}$ である。
段 1($\mathrm{FP}$ と $\mathrm{FQ}$ を式で書く)。$\mathrm{P}$ の偏角を $\theta$ とすると、$\mathrm{Q}$ は $\mathrm{F}$ を挟んで反対側にあるので偏角は $\theta+\pi$ である。$\cos(\theta+\pi)=-\cos\theta$ なので
$$
\mathrm{FP}=\frac{ed}{1-e\cos\theta},\qquad \mathrm{FQ}=\frac{ed}{1-e\cos(\theta+\pi)}=\frac{ed}{1+e\cos\theta}
$$
である。$0< e<1$ ならどちらの分母も正である。$e=1$ では $\cos\theta=\pm1$(放物線の軸の向き)で分母が $0$ になり、直線は放物線と 1 点でしか交わらないので、この 2 つの向きは除く。
段 2(逆数を足す)。
$$
\frac1{\mathrm{FP}}+\frac1{\mathrm{FQ}}=\frac{1-e\cos\theta}{ed}+\frac{1+e\cos\theta}{ed}=\frac2{ed}
$$
で、$\theta$ によらない。
段 3(放物線 $y^2=2x+1$ で確かめる)。ex-ppe-conic の 1 により $ed=1$ なので、値は $2$ のはずである。
段 2 の式は、$ed$ が $\mathrm{FP}$ と $\mathrm{FQ}$ の 調和平均 $\dfrac2{\frac1{\mathrm{FP}}+\frac1{\mathrm{FQ}}}$ に等しいと言い換えられる。$ed$ は焦点を通り軸に垂直な弦の長さの半分($\theta=\frac\pi2$ のときの $r$)で、半直弦と呼ばれる。
段 1 の 2 つの式からは、和だけでなく差も出る。$\frac1{\mathrm{FP}}-\frac1{\mathrm{FQ}}=\frac{-2e\cos\theta}{ed}=-\frac{2\cos\theta}d$ である。直線上に $\mathrm{F}$ を原点とし偏角 $\theta$ の向きを正とする座標 $s$ を入れると、$\mathrm{P}$、$\mathrm{Q}$、準線との交点 $\mathrm{D}$ の座標は $s_\mathrm{P}=\mathrm{FP}$、$s_\mathrm{Q}=-\mathrm{FQ}$、$s_\mathrm{D}=-\frac d{\cos\theta}$($\cos\theta\ne0$ のとき)なので、差の式は
$$
\frac1{s_\mathrm{P}}+\frac1{s_\mathrm{Q}}=\frac2{s_\mathrm{D}}
$$
と書ける。これは射影幾何で、4 点 $\mathrm{P},\mathrm{Q},\mathrm{F},\mathrm{D}$ の複比が $-1$ になる(調和点列をなす)という条件そのものである。つまり「準線は焦点の極線である」という射影幾何の事実が、極方程式の 1 行の計算で見える。射影幾何の言葉は 射影平面 と 複比 で扱う。
極座標の約束($r\ge0$、「少なくとも 1 つの極座標が式を満たす」)や、直交座標への直し方の手順のどれかを変えると、次のように結論が変わる。
| 外した仮定・変えた手順 | 崩れること | ボックス |
|---|---|---|
| 偏角を $\tan\theta=\frac yx$ だけで決める | 反対向きの点と区別できない。原点では偏角が決まらない | ex-ppe-origin |
| 「少なくとも 1 つの極座標」を「$0\le\theta<2\pi$ の極座標」に変える | 螺旋の点が抜け落ちる | ex-ppe-spiral-point |
| $r\ge0$ をやめて $r<0$ も許す | 同じ式の表す図形が変わる | ex-ppe-negative-r |
| 直交座標の式に直すとき、2 乗する前の符号の条件を忘れる | 余分な点(双曲線のもう 1 本の枝)が入る | ex-ppe-squaring |
点 $(1,1)$ と点 $(-1,-1)$ は、どちらも $\frac yx=1$ である。$\tan\theta=1$ となる $\theta$ として $\frac\pi4$ を選ぶと、$(1,1)$ には正しいが、$(-1,-1)$ には誤りである。$(-1,-1)$ の偏角は $\frac{5\pi}4$ で(ex-ppe-start の 2)、$\frac\pi4$ とは $\pi$ だけずれている。$\tan$ は周期 $\pi$ の関数なので、$\tan\theta$ の値からは $\theta$ が $\pi$ の整数倍を除いてしか決まらない。偏角を決めるには $\cos\theta=\frac xr$ と $\sin\theta=\frac yr$ の両方の符号を見る。
また、原点では $r=0$ で、prop-ppe-unique の 3 のとおり偏角はどの値でもよい。$\frac yx$ は $\frac00$ になり、そもそも意味をもたない。極方程式の曲線が原点を通るかどうかは、「$f(\theta)=0$ となる $\theta$ があるか」で調べる($r=2\cos\theta$ なら $\theta=\frac\pi2$)。
螺旋 $r=\theta$($\theta\ge0$)を考える。点 $(2\pi,0)$ の極座標は $(2\pi,2k\pi)$($k$ は整数)である。$0\le\theta<2\pi$ の範囲の極座標 $(2\pi,0)$ は $r=\theta$ を満たさない($2\pi\ne0$)。しかし $k=1$ の極座標 $(2\pi,2\pi)$ は $r=\theta$ を満たすので、def-ppe-equation により点 $(2\pi,0)$ は螺旋の上にある。実際、ex-ppe-curves の 1 で $\theta=2\pi$ のときに打った点である。
もし「$0\le\theta<2\pi$ の極座標が式を満たす点」と定義を変えると、螺旋は $0\le\theta<2\pi$ の最初の 1 周分だけになり、2 周目より外側がすべて抜け落ちる。一方、点 $(\pi,0)$ の極座標は $(\pi,2k\pi)$ で、$\pi=2k\pi$ となる整数 $k$ はないので、この点は螺旋の上にない。どの極座標を選んでも式を満たさないことを確かめて、はじめて「上にない」と言える。
$r=\cos2\theta$ を考える。この記事の約束($r\ge0$)では、$\cos2\theta\ge0$ となる $\theta$、すなわち $-\frac\pi4\le\theta\le\frac\pi4$ と $\frac{3\pi}4\le\theta\le\frac{5\pi}4$ だけを使うので、図形は $x$ 軸の方向に伸びた 2 枚の葉である。
$r<0$ も許し、$(r,\theta)$ で点 $(r\cos\theta,r\sin\theta)$ を表す流儀では、$\cos2\theta<0$ の $\theta$ も使える。たとえば $\theta=\frac\pi2$ では $r=\cos\pi=-1$ で、点は $\bigl(-1\cdot\cos\frac\pi2,-1\cdot\sin\frac\pi2\bigr)=(0,-1)$ である。この流儀では $y$ 軸の方向にも 2 枚の葉が加わり、4 枚の葉の曲線になる。点 $(0,-1)$ は、$r\ge0$ の約束では極座標 $\bigl(1,\frac{3\pi}2+2k\pi\bigr)$ しかもたず、$\cos\bigl(2\cdot\frac{3\pi}2\bigr)=\cos3\pi=-1\ne1$ なので $r=\cos2\theta$ の図形に入らない。
同じ極方程式でも、流儀によって表す図形が違う。SH16 のように $r<0$ を許す教科書もあるので、教科書や問題を読むときは、どちらの約束かを確かめる。
$r=\cos2\theta$ の図形。左は $r\ge0$ に限った場合(2 枚の葉)、右は $r<0$ も許した場合で、破線が $r<0$ から来る部分(全部で 4 枚の葉)。
ex-ppe-conic の 3 では $r=\frac2{1-2\cos\theta}$ から $r=2+2x$ を出し、2 乗して $x^2+y^2=4(1+x)^2$ とした。2 乗した式は、$r=2+2x$ だけでなく $-r=2+2x$ を満たす点も含む。実際、2 乗した式を満たす点 $(-2,0)$ では $x^2+y^2=4$、$4(1+x)^2=4$ で成り立つが、$r=2$、$2+2x=-2$ なので $r=2+2x$ は成り立たない。
点 $(-2,0)$ の極座標は $(2,\pi+2k\pi)$ で、$\frac2{1-2\cos\pi}=\frac23\ne2$ なので、極方程式の図形には入らない。$r\ge0$ から $2+2x=r\ge0$、すなわち $x\ge-1$ が必要で、双曲線 $\frac{(x+4/3)^2}{4/9}-\frac{y^2}{4/3}=1$ の 2 本の枝のうち、$x\ge-1$ にあるのは右の枝(頂点 $\bigl(-\frac23,0\bigr)$)だけである。左の枝(頂点 $(-2,0)$)は、$r<0$ を許す流儀なら $\theta=0$、$r=\frac2{1-2}=-2$ として現れる。
放物線と楕円(ex-ppe-conic の 1、2)では、この問題は起きない。放物線では $y^2=2x+1\ge0$ から $x\ge-\frac12$ なので $1+x>0$、楕円では $\frac{(x-1)^2}4\le1$ から $x\ge-1$ なので $3+x>0$ で、2 乗する前の符号の条件が自動的に満たされるからである。
極座標で平面を細かく区切ると、$r$ から $r+\Delta r$、$\theta$ から $\theta+\Delta\theta$ の小さな領域は、半径方向の長さ $\Delta r$、円周方向の長さ $r\Delta\theta$ のほぼ長方形になる。面積はおよそ $r\,\Delta r\,\Delta\theta$ で、原点から遠いほど大きい。このため、重積分の変数変換では $dx\,dy=r\,dr\,d\theta$ となる(証明は 極座標 の Jacobi 行列式の節)。$r$ について $0$ から $f(\theta)$ まで積分すると $\frac12f(\theta)^2$ が残り、極方程式 $r=f(\theta)$ の曲線が囲む面積は $\frac12\int f(\theta)^2\,d\theta$ になる。たとえばカージオイド $r=1+\cos\theta$ の囲む面積は $\frac{3\pi}2$ である。高校の範囲での扱いは 極座標で表された図形の面積 で述べる。
点 $(x,y)$ を複素数 $z=x+yi$ と見ると、極座標 $(r,\theta)$ は $z=r(\cos\theta+i\sin\theta)$ という極形式を与える。$r=|z|$ は絶対値、$\theta=\arg z$ は偏角である。2 つの複素数を掛けると絶対値は掛け算、偏角は足し算になる。直交座標の $(x,y)$ ではなく極座標で見ると、掛け算が「回転と拡大」として見える。詳しくは 複素数の掛け算は回転と拡大 で扱う。ex-ppe-origin で見た「偏角は $2\pi$ の整数倍を除いて決まる」ことは、複素関数論では偏角が多価であるという形で現れる。
焦点を極とする 2 次曲線の極方程式は、惑星の軌道を扱う天文学の言葉でもある。Kepler の第 1 法則(惑星の軌道は太陽を焦点とする楕円)との関係は 2次曲線の焦点と準線 の最後の節で述べる。
Mathpediaは寄付と、参考文献の書籍リンク(Amazonアソシエイト)の紹介料で運営されています。 支援について / 寄付する