極座標と極方程式

同義語:polar coordinates and polar equations

概要

極座標と極方程式(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$ は離心率)と表せる(双曲線では片方の枝)。

$$\newcommand{C}[0]{\mathbb{C}} \newcommand{div}[0]{\mathbin{÷}} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{Z}[0]{\mathbb{Z}} $$

前提知識: 三角関数, 弧度法, 加法定理, 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$ の位置にある点の座標だからである。まず、具体的な点で行き来してみる。

直交座標と極座標を行き来する
  1. 点 $\mathrm{P}(1,\sqrt3)$。原点からの距離は $r=\sqrt{1^2+(\sqrt3)^2}=\sqrt4=2$ である。$\cos\theta=\frac x r=\frac12$、$\sin\theta=\frac yr=\frac{\sqrt3}2$ となる角は $\theta=\frac\pi3$ なので、極座標は $\bigl(2,\frac\pi3\bigr)$ である。確かめると $2\cos\frac\pi3=2\cdot\frac12=1$、$2\sin\frac\pi3=2\cdot\frac{\sqrt3}2=\sqrt3$ である。
  2. 点 $\mathrm{Q}(-1,-1)$。$r=\sqrt{1+1}=\sqrt2$ で、$\cos\theta=\sin\theta=-\frac1{\sqrt2}$ となる角は $\theta=\frac{5\pi}4$(第 3 象限)なので、極座標は $\bigl(\sqrt2,\frac{5\pi}4\bigr)$ である。確かめると $\sqrt2\cos\frac{5\pi}4=\sqrt2\cdot\bigl(-\frac{\sqrt2}2\bigr)=-1$、$\sqrt2\sin\frac{5\pi}4=-1$ である。
  3. 逆向きに、極座標が $\bigl(3,\frac{5\pi}6\bigr)$ の点は
    $$ x=3\cos\frac{5\pi}6=3\cdot\Bigl(-\frac{\sqrt3}2\Bigr)=-\frac{3\sqrt3}2,\qquad y=3\sin\frac{5\pi}6=3\cdot\frac12=\frac32 $$
    である。

点 P!FORMULA[30][1982938673][0] と Q!FORMULA[31][-1218069565][0] を、原点からの距離 !FORMULA[32][38166][0] と始線(!FORMULA[33][38352][0] 軸の正の部分)から測った角 !FORMULA[34][1782773758][0] で表すことを見る図。灰色の同心円と半直線が極座標の「目盛り」である。 点 P$(1,\sqrt3)$ と Q$(-1,-1)$ を、原点からの距離 $r$ と始線($x$ 軸の正の部分)から測った角 $\theta$ で表すことを見る図。灰色の同心円と半直線が極座標の「目盛り」である。
極座標を使うと、曲線を $r$ と $\theta$ の式で表せる。たとえば「$r=2\cos\theta$」という式を考え、$\theta$ にいくつか値を入れて点を打ってみる。

式 $r=2\cos\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 つの例から、次の問いが出てくる。

  1. 1 つの点の極座標は 1 通りに決まるのか。→ prop-ppe-unique
  2. 極方程式が「表す図形」とは、正確には何か。→ def-ppe-equation
  3. 直線と円は、極座標でどんな式になるのか。$r=2\cos\theta$ が円になるのはなぜか。→ thm-ppe-line、thm-ppe-circle、cor-ppe-circle-origin
  4. 極方程式から、曲線の形(対称性など)をどう読むか。→ prop-ppe-symmetry
  5. 2 次曲線は極座標でどう書けるか。→ ex-ppe-conic
    高校の計算この記事での見方ボックス
    $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)。

極座標の存在と偏角の決まり方
  1. 原点と異なる点 $\mathrm{P}(x,y)$ には極座標があり、$r=\sqrt{x^2+y^2}$($\mathrm{P}$ と原点の距離 $\mathrm{OP}$)である。
  2. $(r,\theta)$ と $(r,\theta')$ がともに $\mathrm{P}$ の極座標であるのは、$\theta'-\theta$ が $2\pi$ の整数倍のとき、そのときに限る。とくに $0\le\theta<2\pi$ を満たす偏角はただ 1 つある。
  3. 原点の極座標は $(0,\theta)$ で、$\theta$ はどんな実数でもよい。
単位円の上の点に直して考える

方針:$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$

極座標を求める
  1. 点 $(-2,2)$:$r=\sqrt{4+4}=2\sqrt2$、$\cos\theta=\frac{-2}{2\sqrt2}=-\frac1{\sqrt2}$、$\sin\theta=\frac2{2\sqrt2}=\frac1{\sqrt2}$ なので、$0\le\theta<2\pi$ の範囲では $\theta=\frac{3\pi}4$ である。偏角をすべて書けば $\frac{3\pi}4+2k\pi$($k$ は整数)で、たとえば $\bigl(2\sqrt2,-\frac{5\pi}4\bigr)$ も同じ点の極座標である。
  2. 点 $(0,-3)$:$r=3$、$\cos\theta=0$、$\sin\theta=-1$ なので $\theta=\frac{3\pi}2$ である。
  3. 逆向きに、$\bigl(4,\frac{7\pi}6\bigr)$ の点は $x=4\cos\frac{7\pi}6=4\cdot\bigl(-\frac{\sqrt3}2\bigr)=-2\sqrt3$、$y=4\sin\frac{7\pi}6=4\cdot\bigl(-\frac12\bigr)=-2$ である。

偏角を求めるとき、$\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. $r=3$:両辺を 2 乗すると $r^2=9$ なので $x^2+y^2=9$ である。原点を中心とする半径 $3$ の円である。
  2. $r=2\cos\theta$:両辺に $r$ を掛けると $r^2=2r\cos\theta$ なので、$x^2+y^2=2x$ である。$x$ の項を平方完成すると
    $$ x^2-2x+y^2=0\iff(x-1)^2+y^2=1 $$
    となり、中心 $(1,0)$、半径 $1$ の円である。これは ex-ppe-start-curve で点を打って見た円である。$r$ を掛けると原点($r=0$)が加わるおそれがあるが、原点はもともと $\theta=\frac\pi2$ で $r=2\cos\frac\pi2=0$ となってこの曲線の上にあるので、図形は変わらない。
  3. $r=4\sin\theta$:同じく $r$ を掛けて $x^2+y^2=4y$、平方完成して $x^2+(y-2)^2=4$ である。中心 $(0,2)$、半径 $2$ の円である。$\theta=\frac\pi6$ では $r=4\cdot\frac12=2$、点は $\bigl(2\cos\frac\pi6,2\sin\frac\pi6\bigr)=(\sqrt3,1)$ で、確かに $(\sqrt3)^2+(1-2)^2=3+1=4$ である。

直線と円の極方程式

直交座標では、直線は 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. 直線 $x+\sqrt3y=4$。係数の組 $(1,\sqrt3)$ の長さは $\sqrt{1+3}=2$ なので、両辺を $2$ で割って
    $$ \frac12x+\frac{\sqrt3}2y=2,\qquad\text{すなわち}\qquad x\cos\frac\pi3+y\sin\frac\pi3=2 $$
    である。$\alpha=\frac\pi3$、$p=2$ なので、極方程式は $r\cos\bigl(\theta-\frac\pi3\bigr)=2$ である。点を打って確かめる。
    • $\theta=\frac\pi3$:$r=2$、点 $\bigl(2\cos\frac\pi3,2\sin\frac\pi3\bigr)=(1,\sqrt3)$。$1+\sqrt3\cdot\sqrt3=4$ である。これが垂線の足 $\mathrm{H}$ である。
    • $\theta=0$:$r\cos\bigl(-\frac\pi3\bigr)=\frac r2=2$ から $r=4$、点 $(4,0)$。$4+0=4$ である。
    • $\theta=\frac\pi2$:$r\cos\frac\pi6=\frac{\sqrt3}2r=2$ から $r=\frac4{\sqrt3}$、点 $\bigl(0,\frac4{\sqrt3}\bigr)$。$\sqrt3\cdot\frac4{\sqrt3}=4$ である。
  2. 直線 $y=-2$。原点から下ろした垂線の足は $(0,-2)$ で、その極座標は $\bigl(2,\frac{3\pi}2\bigr)$ である。極方程式は $r\cos\bigl(\theta-\frac{3\pi}2\bigr)=2$ である。加法定理で $\cos\bigl(\theta-\frac{3\pi}2\bigr)=\cos\theta\cos\frac{3\pi}2+\sin\theta\sin\frac{3\pi}2=-\sin\theta$ なので、この式は $-r\sin\theta=2$、すなわち $y=-2$ に戻る。

原点を通る直線は、原点から見て 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 $$
を満たすことである。

距離の 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) $$
の表す図形と一致する。

共通因数 $r$ でくくる

方針: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$

円の極方程式を使う
  1. $r=2\cos\theta$ は、cor-ppe-circle-origin で $c=1$、$\theta_0=0$ の場合で、中心 $(1,0)$、半径 $1$ の円である。
  2. $r=4\sin\theta$ は、$\sin\theta=\cos\bigl(\theta-\frac\pi2\bigr)$ なので $r=2\cdot2\cos\bigl(\theta-\frac\pi2\bigr)$ と書ける。$c=2$、$\theta_0=\frac\pi2$ で、中心の極座標は $\bigl(2,\frac\pi2\bigr)$、つまり中心 $(0,2)$、半径 $2$ の円である。ex-ppe-to-cartesian の 3 と一致する。
  3. 中心 $(2,0)$、半径 $1$ の円(原点を通らない)。$c=2$、$\theta_0=0$、$a=1$ なので、極方程式は
    $$ r^2-4r\cos\theta+3=0 $$
    である。$r$ の 2 次方程式として解くと $r=2\cos\theta\pm\sqrt{4\cos^2\theta-3}$ である。
    • $\theta=0$:$r^2-4r+3=(r-1)(r-3)=0$ から $r=1,3$。点 $(1,0)$ と $(3,0)$ で、円と $x$ 軸の交点である。
    • $\theta=\frac\pi6$:$4\cos^2\frac\pi6-3=4\cdot\frac34-3=0$ なので $r=2\cos\frac\pi6=\sqrt3$(重解)。点は $\bigl(\sqrt3\cos\frac\pi6,\sqrt3\sin\frac\pi6\bigr)=\bigl(\frac32,\frac{\sqrt3}2\bigr)$ で、$\bigl(\frac32-2\bigr)^2+\frac34=\frac14+\frac34=1$ である。重解になるのは、半直線 $\theta=\frac\pi6$ が円に接しているからである。
    • $\theta=\frac{\pi}{12}$:$r\approx1.0763$ と $r\approx2.7875$ の 2 つ。2 つの積は解と係数の関係から $3$ である。
    • $\frac\pi6<\theta<\frac{5\pi}6$ と $\frac{7\pi}6<\theta<\frac{11\pi}6$ では $|\cos\theta|<\frac{\sqrt3}2$ なので根号の中 $4\cos^2\theta-3$ が負になり、実数解がない。
    • $\frac{5\pi}6\le\theta\le\frac{7\pi}6$ では根号の中は $0$ 以上で、実数解がある。しかし解と係数の関係から 2 つの解の和は $4\cos\theta<0$、積は $3>0$ なので、2 つとも負であり、$r\ge0$ の解はない。たとえば $\theta=\pi$ では $r^2+4r+3=(r+1)(r+3)=0$ から $r=-1,-3$ である。
    • どちらの場合も、$\frac\pi6<\theta<\frac{11\pi}6$ の方角には円の点がない。
      3 の積 $3$ は、原点から円への方べき(原点から円に引いた接線の長さ $\sqrt3$ の 2 乗)である。方べきの定理(高校数学) と同じ現象である。

左は直線 !FORMULA[415][-1088229854][0]。原点から下ろした垂線の足 H の極座標 !FORMULA[416][675442021][0] と、直線上の点 P までの長さ !FORMULA[417][38166][0] の関係 !FORMULA[418][-593647514][0] を見る図。右は原点を通る円 !FORMULA[419][1250722260][0] と、原点を通らない円 !FORMULA[420][-1319072045][0]。半直線 !FORMULA[421][653067649][0] は右の円と 2 点で交わり、!FORMULA[422][1254880283][0] で接する。 左は直線 $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. $(r,\theta)$ が式を満たせば $(r,-\theta)$ も式を満たすとき、$F$ は $x$ 軸に関して対称である。
  2. $(r,\theta)$ が式を満たせば $(r,\pi-\theta)$ も式を満たすとき、$F$ は $y$ 軸に関して対称である。
  3. $(r,\theta)$ が式を満たせば $(r,\theta+\pi)$ も式を満たすとき、$F$ は原点に関して対称である。
    とくに $r=f(\theta)$ の形では、$f(-\theta)=f(\theta)$、$f(\pi-\theta)=f(\theta)$、$f(\theta+\pi)=f(\theta)$ がそれぞれ 1、2、3 の条件になる。
折り返した点の極座標を書く

方針:点を折り返すと極座標がどう変わるかを、三角関数の性質で計算する。
段 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)。

対称性を読む
  1. カージオイド $r=1+\cos\theta$:$f(-\theta)=1+\cos(-\theta)=1+\cos\theta=f(\theta)$ なので $x$ 軸に関して対称である。一方 $f(\pi-\theta)=1-\cos\theta$ は $f(\theta)$ と一致しない。実際、点 $(2,0)$($\theta=0$、$r=2$)はこの曲線の上にあるが、$y$ 軸に関して折り返した点 $(-2,0)$ の極座標は $(2,\pi+2k\pi)$ で、$f(\pi)=0\ne2$ なので曲線の上にない。よって $y$ 軸に関しては対称でない。
  2. $r^2=\cos2\theta$:$\cos(-2\theta)=\cos2\theta$、$\cos2(\pi-\theta)=\cos(2\pi-2\theta)=\cos2\theta$、$\cos2(\theta+\pi)=\cos(2\theta+2\pi)=\cos2\theta$ なので、3 つの条件がすべて成り立つ。この曲線は $x$ 軸、$y$ 軸、原点のどれに関しても対称で、第 1 象限の部分($0\le\theta\le\frac\pi4$)を描けば残りは折り返しで得られる。
  3. $r=2\cos\theta$:$f(-\theta)=f(\theta)$ なので $x$ 軸に関して対称である。$f(\theta+\pi)=-2\cos\theta$ は $f(\theta)$ と一致せず、実際、円 $(x-1)^2+y^2=1$ の上の点 $(2,0)$ を原点に関して折り返した $(-2,0)$ は、$(-2-1)^2+0=9\ne1$ なので円の上にない。

いろいろな極方程式の曲線

直交座標では式が複雑になる曲線も、極方程式では短く書けることがある。点を打ち、対称性を使い、直交座標の式とも見比べる。

螺旋・カージオイド・レムニスケート
  1. 螺旋 $r=\theta$($\theta\ge0$)。$\theta=\frac\pi2$ で $r=\frac\pi2$、点 $\bigl(0,\frac\pi2\bigr)$。$\theta=\pi$ で $r=\pi$、点 $(-\pi,0)$。$\theta=2\pi$ で $r=2\pi$、点 $(2\pi,0)$。$\theta$ が $2\pi$ 増えるごとに、同じ方角で原点からの距離が $2\pi$ ずつ増えるので、一定の間隔で巻く渦巻きになる(Archimedes の螺旋)。
  2. カージオイド $r=1+\cos\theta$。$\theta=0$ で $r=2$、点 $(2,0)$。$\theta=\frac\pi2$ で $r=1$、点 $(0,1)$。$\theta=\frac{2\pi}3$ で $r=1-\frac12=\frac12$、点 $\bigl(\frac12\cos\frac{2\pi}3,\frac12\sin\frac{2\pi}3\bigr)=\bigl(-\frac14,\frac{\sqrt3}4\bigr)$。$\theta=\pi$ で $r=0$、原点。ex-ppe-symmetry の 1 により $x$ 軸に関して対称なので、$0\le\theta\le\pi$ の部分を折り返せば全体になる。
    直交座標の式にするには、両辺に $r$ を掛けて $r^2=r+r\cos\theta$、すなわち $x^2+y^2=r+x$ とする。$r=x^2+y^2-x$ の両辺を 2 乗して $r^2=x^2+y^2$ を使うと
    $$ (x^2+y^2-x)^2=x^2+y^2 $$
    を得る。点 $\bigl(-\frac14,\frac{\sqrt3}4\bigr)$ では $x^2+y^2=\frac1{16}+\frac3{16}=\frac14$ なので、左辺は $\bigl(\frac14+\frac14\bigr)^2=\frac14$、右辺は $\frac14$ で一致する。4 次式になり、極方程式のほうがずっと簡単である。
    この変形で図形が変わらないことも確かめておく(ex-ppe-to-cartesian の 2、ex-ppe-squaring と同じ注意)。$r$ を掛けて加わりうるのは原点($r=0$)だけで、原点はもともと $\theta=\pi$ で曲線の上にある。2 乗して加わりうるのは $x^2+y^2-x=-r$ を満たす点である。これを極座標で書くと $r^2-r\cos\theta=-r$、すなわち $r(r-\cos\theta+1)=0$ なので、$r=0$ か $r=\cos\theta-1$ である。$\cos\theta-1\le0$ と $r\ge0$ から、どちらの場合も $r=0$、つまり原点だけである。よって $(x^2+y^2-x)^2=x^2+y^2$ はカージオイドと同じ図形を表す。
  3. レムニスケート $r^2=\cos2\theta$。$r^2\ge0$ なので、$\cos2\theta\ge0$ となる $\theta$、すなわち $-\frac\pi4\le\theta\le\frac\pi4$ と $\frac{3\pi}4\le\theta\le\frac{5\pi}4$ の方角にだけ点がある。$\theta=0$ で $r=1$、点 $(1,0)$。$\theta=\frac\pi6$ で $r^2=\cos\frac\pi3=\frac12$、$r=\frac1{\sqrt2}$、点 $\bigl(\frac1{\sqrt2}\cdot\frac{\sqrt3}2,\frac1{\sqrt2}\cdot\frac12\bigr)=\bigl(\frac{\sqrt6}4,\frac{\sqrt2}4\bigr)$。$\theta=\pm\frac\pi4$ で $r=0$ となり、原点を通る。
    直交座標では、$\cos2\theta=\cos^2\theta-\sin^2\theta$ の両辺に $r^2$ を掛けて $r^4=r^2\cos^2\theta-r^2\sin^2\theta$、すなわち
    $$ (x^2+y^2)^2=x^2-y^2 $$
    である。点 $\bigl(\frac{\sqrt6}4,\frac{\sqrt2}4\bigr)$ では $x^2=\frac38$、$y^2=\frac18$ なので、左辺 $\bigl(\frac12\bigr)^2=\frac14$、右辺 $\frac38-\frac18=\frac14$ で一致する。$r^2$ を掛けて加わりうるのは原点($r=0$)だけで、原点はもともと $\theta=\frac\pi4$ で $r^2=\cos\frac\pi2=0$ となって曲線の上にあるので、図形は変わらない。

左上は螺旋 !FORMULA[583][-267538285][0](!FORMULA[584][-1282162503][0])、右上はカージオイド !FORMULA[585][1023378286][0]、左下はレムニスケート !FORMULA[586][-1285235722][0]、右下は放物線 !FORMULA[587][27570869][0]。螺旋とカージオイドの黒い点は 本文の例で計算した点、レムニスケートの紫の点は 2 焦点 !FORMULA[588][618410375][0]、放物線の黒い点は焦点(極)で、破線は準線 !FORMULA[589][1143334007][0] である。 左上は螺旋 $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$ と同値である。
楕円(距離の和が一定)、双曲線(距離の差が一定)と並ぶ仲間である。

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次曲線の焦点と準線 にある。ここでは、この式が実際にそれぞれの曲線を表すことを、直交座標の式に直して確かめる。

2 次曲線を極方程式で表す
  1. 放物線 $r=\frac1{1-\cos\theta}$($e=1$、$d=1$)。分母を払うと $r-r\cos\theta=1$、すなわち $r=1+x$ である。両辺を 2 乗して $x^2+y^2=(1+x)^2=1+2x+x^2$ から
    $$ y^2=2x+1 $$
    を得る。$\theta=\frac\pi2$ で $r=1$、点 $(0,1)$。$\theta=\pi$ で $r=\frac12$、点 $\bigl(-\frac12,0\bigr)$(頂点)。$\theta=\frac{2\pi}3$ で $r=\frac1{1+\frac12}=\frac23$、点 $\bigl(-\frac13,\frac{\sqrt3}3\bigr)$ で、$y^2=\frac13$、$2x+1=-\frac23+1=\frac13$ と一致する。$\theta\to0$ では分母が $0$ に近づき $r$ はいくらでも大きくなる。放物線が右へ開いているからである。
  2. 楕円 $r=\frac3{2-\cos\theta}$(分子・分母を $2$ で割ると $\frac{3/2}{1-\frac12\cos\theta}$ なので $e=\frac12$、$d=3$)。分母を払うと $2r=3+x$、2 乗して $4(x^2+y^2)=(3+x)^2$、整理して $3x^2-6x+4y^2=9$、平方完成して
    $$ \frac{(x-1)^2}4+\frac{y^2}3=1 $$
    を得る。$\theta=0$ で $r=3$(点 $(3,0)$)、$\theta=\pi$ で $r=1$(点 $(-1,0)$)で、これは長軸の両端である。
  3. 双曲線 $r=\frac2{1-2\cos\theta}$($e=2$、$d=1$)。$r\ge0$ となるのは $1-2\cos\theta>0$、すなわち $\frac\pi3<\theta<\frac{5\pi}3$ のときだけである。分母を払うと $r=2+2x$、2 乗して $x^2+y^2=4(1+x)^2$、整理して $3x^2+8x-y^2+4=0$、平方完成して
    $$ \frac{\bigl(x+\frac43\bigr)^2}{\frac49}-\frac{y^2}{\frac43}=1 $$
    を得る。$\theta=\pi$ で $r=\frac23$、点 $\bigl(-\frac23,0\bigr)$。$\theta=\frac\pi2$ で $r=2$、点 $(0,2)$ で、$\frac{16/9}{4/9}-\frac4{4/3}=4-3=1$ である。ただし極方程式が表すのは、この双曲線の 2 本の枝のうち右の枝だけである(ex-ppe-squaring)。

焦点を通る弦:高校数学で解く・大学数学で見る

極方程式が本当に役に立つのは、焦点から伸びる線分の長さを扱うときである。焦点を通る直線は、極座標では「$\theta$ と $\theta+\pi$ の 2 方向」になる。

焦点を通る弦の長さの逆数の和

焦点を $\mathrm{F}$ とする楕円または放物線に、$\mathrm{F}$ を通る直線を引き、曲線と 2 点 $\mathrm{P}$、$\mathrm{Q}$ で交わるとする。このとき
$$ \frac1{\mathrm{FP}}+\frac1{\mathrm{FQ}} $$
は直線の向きによらず一定であることを示し、その値を求めよ。放物線 $y^2=2x+1$(焦点は原点)で、直線の傾きを変えて確かめよ。

高校数学で解く:2 方向の $r$ を足す

方針:焦点を極、準線を $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$ のはずである。

  • $\theta=\frac\pi2$($y$ 軸):$\mathrm{FP}=\frac1{1-0}=1$、$\mathrm{FQ}=\frac1{1+0}=1$ で、$1+1=2$ である。
  • $\theta=\frac\pi3$(傾き $\sqrt3$):$\mathrm{FP}=\frac1{1-\frac12}=2$、$\mathrm{FQ}=\frac1{1+\frac12}=\frac23$ で、$\frac12+\frac32=2$ である。
    楕円 $r=\frac3{2-\cos\theta}$ なら $ed=\frac32$ で値は $\frac43$ である(長軸では $\mathrm{FP}=3$、$\mathrm{FQ}=1$ で $\frac13+1=\frac43$)。$\square$
大学数学で見ると:調和平均と、焦点と準線の極・極線の関係

段 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
反例:$\tan$ だけで偏角を決める、原点の偏角

点 $(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$)。

反例:極座標を 1 つに固定すると螺旋の点が抜ける

螺旋 $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<0$ も許すと図形が変わる

$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$ を許す教科書もあるので、教科書や問題を読むときは、どちらの約束かを確かめる。

!FORMULA[807][71904138][0] の図形。左は !FORMULA[808][942248352][0] に限った場合(2 枚の葉)、右は !FORMULA[809][36702114][0] も許した場合で、破線が !FORMULA[810][36702114][0] から来る部分(全部で 4 枚の葉)。 $r=\cos2\theta$ の図形。左は $r\ge0$ に限った場合(2 枚の葉)、右は $r<0$ も許した場合で、破線が $r<0$ から来る部分(全部で 4 枚の葉)。

反例:2 乗すると余分な枝が入る

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\,dr\,d\theta$

極座標で平面を細かく区切ると、$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次曲線の焦点と準線 の最後の節で述べる。

さらに先へ

  • 面積と長さ:極方程式の曲線の面積 $\frac12\int r^2\,d\theta$ と長さ $\int\sqrt{r^2+(r')^2}\,d\theta$ は、極座標を媒介変数表示 $(f(\theta)\cos\theta,f(\theta)\sin\theta)$ と見れば 媒介変数表示と曲線の長さ の方法で求められる(SH16 §7.4)。
  • 空間の座標:空間では、極座標に高さ $z$ を加えた円柱座標と、原点からの距離と 2 つの角を使う球座標がある(極座標)。
  • 有名な曲線:カージオイドは、円の周りを同じ半径の円が転がるときの周上の 1 点の軌跡でもある(カージオイド)。

関連項目

参考文献

Mathpediaは寄付と、参考文献の書籍リンク(Amazonアソシエイト)の紹介料で運営されています。 支援について / 寄付する