利用者:騏驎

移動

/M-1グランプリ詳細

ヘロンの公式の証明

△ABCの∠A，∠B，∠Cの対辺，辺BC，辺CA，辺ABの長さをそれぞれ$a$, $b$, $c$とし，∠Aから辺BCに下ろした垂線の長さを$h$とする。このとき，△ABCの面積を$S$とすると，

${\begin{aligned}S&={\frac {ah}{2}}={\frac {ab}{2}}\sin C={\frac {ab}{2}}{\sqrt {1-\cos ^{2}C}}\\&={\frac {ab}{2}}{\sqrt {(1+\cos C)(1-\cos C)}}\\&={\frac {ab}{2}}{\sqrt {\left(1+{\frac {a^{2}+b^{2}-c^{2}}{2ab}}\right)\left(1-{\frac {a^{2}+b^{2}-c^{2}}{2ab}}\right)}}\\&={\frac {ab}{2}}{\sqrt {{\frac {a^{2}+2ab+b^{2}-c^{2}}{2ab}}\times {\frac {-(a^{2}-2ab+b^{2}-c^{2})}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {{\frac {(a+b)^{2}-c^{2}}{2ab}}\times {\frac {-\{(a-b)^{2}-c^{2}\}}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {{\frac {(a+b+c)(a+b-c)}{2ab}}\times {\frac {-(a-b+c)(a-b-c)}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {{\frac {(a+b+c)(a+b-c)}{2ab}}\times {\frac {(a-b+c)(-a+b+c)}{2ab}}}}\\&={\frac {ab}{2}}{\sqrt {\frac {(a+b+c)\{(a+b+c)-2c\}\{(a+b+c)-2b\}\{(a+b+c)-2a\}}{4a^{2}b^{2}}}}\\&={\sqrt {{\frac {a^{2}b^{2}}{4}}\times {\frac {(a+b+c)\{(a+b+c)-2a\}\{(a+b+c)-2b\}\{(a+b+c)-2c\}}{4a^{2}b^{2}}}}}\\&={\sqrt {\frac {(a+b+c)\{(a+b+c)-2a\}\{(a+b+c)-2b\}\{(a+b+c)-2c\}}{16}}}\\&={\sqrt {{\frac {a+b+c}{2}}\times {\frac {(a+b+c)-2a}{2}}\times {\frac {(a+b+c)-2b}{2}}\times {\frac {(a+b+c)-2c}{2}}}}\\&={\sqrt {{\frac {a+b+c}{2}}\left({\frac {a+b+c}{2}}-a\right)\left({\frac {a+b+c}{2}}-b\right)\left({\frac {a+b+c}{2}}-c\right)}}\\\end{aligned}}$

となる。ここで，

$s={\frac {a+b+c}{2}}$

とすると，

$S={\sqrt {s(s-a)(s-b)(s-c)}}$

が得られる。

積の第$n$次導関数

関数$y=f(x)g(x)$の導関数を求めていくと，

${\begin{aligned}y'&=f'(x)g(x)+f(x)g'(x)\\y''&=f''(x)g(x)+2f'(x)g'(x)+f(x)g''(x)\\y'''&=f'''(x)g(x)+3f''(x)g'(x)+3f'(x)g''(x)+f(x)g'''(x)\\y^{(4)}&=f^{(4)}(x)g(x)+4f'''(x)g'(x)+6f''(x)g''(x)+4f'(x)g'''(x)+f(x)g^{(4)}(x)\\y^{(5)}&=f^{(5)}(x)g(x)+5f^{(4)}(x)g'(x)+10f'''(x)g''(x)+10f''(x)g'''(x)+5f'(x)g^{(4)}(x)+f(x)g^{(5)}(x)\end{aligned}}$

となるから，

$y^{(n)}=\sum _{k=0}^{n}{}_{n}{\mbox{C}}_{k}f^{(n-k)}(x)g^{(k)}(x)\qquad \cdots (1)$

である。（なお，余談ではあるが(1)式は二項定理の展開式に近い。）
(1)式を用いて関数$y=\sin \alpha x\cos \beta x$（$\alpha$, $\beta$は定数）の第$n$次導関数を求める。$f(x)=\sin \alpha x$, $g(x)=\cos \beta x$とおくと，

${\begin{aligned}y^{(n)}&=\sum _{k=0}^{n}{}_{n}{\mbox{C}}_{k}(\sin \alpha x)^{(n-k)}(\cos \beta x)^{(k)}\\&=\sum _{k=0}^{n}{}_{n}{\mbox{C}}_{k}\cdot \alpha ^{n-k}\sin \left(\alpha x+{\frac {(n-k)\pi }{2}}\right)\cdot \beta ^{k}\cos \left(\beta x+{\frac {k\pi }{2}}\right)\\&=\sum _{k=0}^{n}\alpha ^{n-k}\beta ^{k}{}_{n}{\mbox{C}}_{k}\sin \left(\alpha x+{\frac {(n-k)\pi }{2}}\right)\cos \left(\beta x+{\frac {k\pi }{2}}\right)\\\end{aligned}}$

となる。しかし，$A=\alpha +\beta$, $B=\alpha -\beta$とおいて積を和に直すと，

${\begin{aligned}y^{(n)}&=\left\{{\frac {1}{2}}(\sin Ax+\sin Bx)\right\}^{(n)}\\&={\frac {1}{2}}\{(\sin Ax)^{(n)}+(\sin Bx)^{(n)}\}\\&={\frac {1}{2}}\left\{A^{n}\sin \left(Ax+{\frac {n\pi }{2}}\right)+B^{n}\sin \left(Bx+{\frac {n\pi }{2}}\right)\right\}\\\end{aligned}}$

となるから，

${\begin{aligned}y^{(n)}&=(\sin \alpha x\cos \beta x)^{(n)}\\&=\sum _{k=0}^{n}\alpha ^{n-k}\beta ^{k}{}_{n}{\mbox{C}}_{k}\sin \left(\alpha x+{\frac {(n-k)\pi }{2}}\right)\cos \left(\beta x+{\frac {k\pi }{2}}\right)\\&={\frac {1}{2}}\left\{(\alpha +\beta )^{n}\sin \left((\alpha +\beta )x+{\frac {n\pi }{2}}\right)+(\alpha -\beta )^{n}\sin \left((\alpha -\beta )x+{\frac {n\pi }{2}}\right)\right\}\\\end{aligned}}$

である。（見た目は全然違うけどｗ）

±1，±$i$の2〜4乗根を求める

1の平方根

$x^{2}=1$ ⇔ $x^{2}-1=0$ ⇔ $x^{2}-1^{2}=0$ ⇔ $(x+1)(x-1)=0$

∴$x=$±$1$

-1の平方根

$x^{2}=-1$ ⇔ $x^{2}+1=0$ ⇔ $x^{2}-i^{2}=0$ ⇔ $(x+i)(x-i)=0$

∴$x=$±$i$

1の立方根

$x^{3}=1$ ⇔ $x^{3}-1=0$ ⇔ $x^{3}-1^{3}=0$ ⇔ $(x-1)(x^{2}+x+1)=0$

∴$x=1,-{\frac {1}{2}}\pm {\frac {\sqrt {3}}{2}}i$

-1の立方根

$x^{3}=-1$ ⇔ $x^{3}+1=0$ ⇔ $x^{3}+1^{3}=0$ ⇔ $(x+1)(x^{2}-x+1)=0$

∴$x=-1,{\frac {1}{2}}\pm {\frac {\sqrt {3}}{2}}i$

1の4乗根

$x^{4}=1$ ⇔ $x^{4}-1=0$ ⇔ $(x^{2})^{2}-1^{2}=0$ ⇔ $(x^{2}+1)(x^{2}-1)=0$ ⇔ $(x^{2}-i^{2})(x^{2}-1^{2})=0$

⇔ $\{(x+i)(x-i)\}\{(x+1)(x-1)\}=0$ ⇔ $(x+1)(x-1)(x+i)(x-i)=0$

∴$x=$±$1$,±$i$

-1の4乗根

$(a+bi)^{4}=-1$ ⇔ $\{(a+bi)^{2}\}^{2}=i^{2}$　OR　$\{(a+bi)^{2}\}^{2}=(-i)^{2}$

⇔ $(a+bi)^{2}=i$　OR　$(a+bi)^{2}=-i$

∴$(a,b)=\left(\pm {\frac {\sqrt {2}}{2}},\pm {\frac {\sqrt {2}}{2}}\right),\left(\pm {\frac {\sqrt {2}}{2}},\mp {\frac {\sqrt {2}}{2}}\right)$

※複合同順。$(a+bi)^{2}=i$ 及び $(a+bi)^{2}=-i$ に関しては下記参照。

$i$の平方根

$(a+bi)^{2}=i$ ⇔ $(a^{2}-b^{2})+(2ab)i=i$ ⇔ $a^{2}-b^{2}=0$　AND　$2ab=1$

∴$(a,b)=\left(\pm {\frac {\sqrt {2}}{2}},\pm {\frac {\sqrt {2}}{2}}\right)$

※複合同順。

$-i$の平方根

$(a+bi)^{2}=-i$ ⇔ $(a^{2}-b^{2})+(2ab)i=-i$ ⇔ $a^{2}-b^{2}=0$　AND　$2ab=-1$

∴$(a,b)=\left(\pm {\frac {\sqrt {2}}{2}},\mp {\frac {\sqrt {2}}{2}}\right)$

※複合同順。

$i$の立方根

$(a+bi)^{3}=i$ ⇔ $(a^{3}-3ab^{2})+(3a^{2}b-b^{3})i=i$ ⇔ $a^{3}-3ab^{2}=0$　AND　$3a^{2}b-b^{3}=1$

∴$(a,b)=(0,-1),\left(\pm {\frac {\sqrt {3}}{2}},{\frac {1}{2}}\right)$

$-i$の立方根

$(a+bi)^{3}=-i$ ⇔ $(a^{3}-3ab^{2})+(3a^{2}b-b^{3})i=-i$ ⇔ $a^{3}-3ab^{2}=0$　AND　$3a^{2}b-b^{3}=-1$

∴$(a,b)=(0,1),\left(\pm {\frac {\sqrt {3}}{2}},-{\frac {1}{2}}\right)$

$i$の4乗根

$(a+bi)^{4}=i$ ⇔ $\{(a+bi)^{2}\}^{2}=(i^{1/2})^{2}$

⇔ $\{(a+bi)^{2}\}^{2}=\left({\frac {\sqrt {2}}{2}}+{\frac {\sqrt {2}}{2}}i\right)^{2}$　OR　$\{(a+bi)^{2}\}^{2}=\left(-{\frac {\sqrt {2}}{2}}-{\frac {\sqrt {2}}{2}}i\right)^{2}$

⇔ $(a+bi)^{2}={\frac {\sqrt {2}}{2}}+{\frac {\sqrt {2}}{2}}i$　OR　$(a+bi)^{2}=-{\frac {\sqrt {2}}{2}}-{\frac {\sqrt {2}}{2}}i$

⇔ $a^{2}-b^{2}={\frac {\sqrt {2}}{2}}$　AND　$2ab={\frac {\sqrt {2}}{2}}$

　OR　$a^{2}-b^{2}=-{\frac {\sqrt {2}}{2}}$　AND　$2ab=-{\frac {\sqrt {2}}{2}}$

∴$(a,b)=\left(\pm {\frac {\sqrt {2+{\sqrt {2}}}}{2}},\pm {\frac {\sqrt {2-{\sqrt {2}}}}{2}}\right),\left(\pm {\frac {\sqrt {2-{\sqrt {2}}}}{2}},\mp {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\right)$

※複合同順。

$-i$の4乗根

$(a+bi)^{4}=-i$ ⇔ $\{(a+bi)^{2}\}^{2}=\{(-i)^{1/2}\}^{2}$

⇔ $\{(a+bi)^{2}\}^{2}=\left({\frac {\sqrt {2}}{2}}-{\frac {\sqrt {2}}{2}}i\right)^{2}$　OR　$\{(a+bi)^{2}\}^{2}=\left(-{\frac {\sqrt {2}}{2}}+{\frac {\sqrt {2}}{2}}i\right)^{2}$

⇔ $(a+bi)^{2}={\frac {\sqrt {2}}{2}}-{\frac {\sqrt {2}}{2}}i$　OR　$(a+bi)^{2}=-{\frac {\sqrt {2}}{2}}+{\frac {\sqrt {2}}{2}}i$

⇔ $a^{2}-b^{2}={\frac {\sqrt {2}}{2}}$　AND　$2ab=-{\frac {\sqrt {2}}{2}}$

　OR　$a^{2}-b^{2}=-{\frac {\sqrt {2}}{2}}$　AND　$2ab={\frac {\sqrt {2}}{2}}$

∴$(a,b)=\left(\pm {\frac {\sqrt {2+{\sqrt {2}}}}{2}},\mp {\frac {\sqrt {2-{\sqrt {2}}}}{2}}\right),\left(\pm {\frac {\sqrt {2-{\sqrt {2}}}}{2}},\pm {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\right)$

※複合同順。

複素数の$n$乗根を求める

±1,±$i$の2〜4乗根をまとめると以下のようになる。

1の平方根	±$1$
-1の平方根	±$i$
$i$の平方根	$\pm {\frac {\sqrt {2}}{2}}\pm {\frac {\sqrt {2}}{2}}i$
$-i$の平方根	$\pm {\frac {\sqrt {2}}{2}}\mp {\frac {\sqrt {2}}{2}}i$
1の立方根	$1,-{\frac {1}{2}}\pm {\frac {\sqrt {3}}{2}}i$
-1の立方根	$-1,{\frac {1}{2}}\pm {\frac {\sqrt {3}}{2}}i$
$i$の立方根	$-i,\pm {\frac {\sqrt {3}}{2}}+{\frac {1}{2}}i$
$-i$の立方根	$i,\pm {\frac {\sqrt {3}}{2}}-{\frac {1}{2}}i$
1の4乗根	±$1$,±$i$
-1の4乗根	$\pm {\frac {\sqrt {2}}{2}}\pm {\frac {\sqrt {2}}{2}}i,\pm {\frac {\sqrt {2}}{2}}\mp {\frac {\sqrt {2}}{2}}i$
$i$の4乗根	$\pm {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\pm {\frac {\sqrt {2-{\sqrt {2}}}}{2}}i,\pm {\frac {\sqrt {2-{\sqrt {2}}}}{2}}\mp {\frac {\sqrt {2+{\sqrt {2}}}}{2}}i$
$-i$の4乗根	$\pm {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\mp {\frac {\sqrt {2-{\sqrt {2}}}}{2}}i,\pm {\frac {\sqrt {2-{\sqrt {2}}}}{2}}\pm {\frac {\sqrt {2+{\sqrt {2}}}}{2}}i$

これは，次のように表すことも出来る。

1の平方根	$\cos(180k)^{\circ }+i\sin(180k)^{\circ }$	$k=0,1$
-1の平方根	$\cos(180k+90)^{\circ }+i\sin(180k+90)^{\circ }$
$i$の平方根	$\cos(180k+45)^{\circ }+i\sin(180k+45)^{\circ }$
$-i$の平方根	$\cos(180k+135)^{\circ }+i\sin(180k+135)^{\circ }$
1の立方根	$\cos(120k)^{\circ }+i\sin(120k)^{\circ }$	$k=0,1,2$
-1の立方根	$\cos(120k+60)^{\circ }+i\sin(120k+60)^{\circ }$
$i$の立方根	$\cos(120k+30)^{\circ }+i\sin(120k+30)^{\circ }$
$-i$の立方根	$\cos(120k+90)^{\circ }+i\sin(120k+90)^{\circ }$
1の4乗根	$\cos(90k)^{\circ }+i\sin(90k)^{\circ }$	$k=0,1,2,3$
-1の4乗根	$\cos(90k+45)^{\circ }+i\sin(90k+45)^{\circ }$
$i$の4乗根	$\cos(90k+22.5)^{\circ }+i\sin(90k+22.5)^{\circ }$
$-i$の4乗根	$\cos(90k+67.5)^{\circ }+i\sin(90k+67.5)^{\circ }$

以上より，±1,±$i$の$n$乗根は次のようになる。

1の$n$乗根	$\cos \left({\frac {360}{n}}k\right)^{\circ }+i\sin \left({\frac {360}{n}}k\right)^{\circ }$	$k=0,1,\cdots ,n-1$
-1の$n$乗根	$\cos \left({\frac {360k+180}{n}}\right)^{\circ }+i\sin \left({\frac {360k+180}{n}}\right)^{\circ }$
$i$の$n$乗根	$\cos \left({\frac {360k+90}{n}}\right)^{\circ }+i\sin \left({\frac {360k+90}{n}}\right)^{\circ }$
$-i$の$n$乗根	$\cos \left({\frac {360k+270}{n}}\right)^{\circ }+i\sin \left({\frac {360k+270}{n}}\right)^{\circ }$

更に，一般に複素数$z=a+bi$の$n$乗根は次のように表される。

${\sqrt[{n}]{|z|}}\left(\cos {\frac {\arg z+2k\pi }{n}}+i\sin {\frac {\arg z+2k\pi }{n}}\right)$

∵${\sqrt[{n}]{z}}={\sqrt[{n}]{|z|e^{i(\arg z+2k\pi )}}}={\sqrt[{n}]{|z|}}\{\cos(\arg z+2k\pi )+i\sin(\arg z+2k\pi )\}^{1/n}$

ただし，$|z|={\sqrt {a^{2}+b^{2}}},\ k=0,1,\cdots ,n-1$であり，偏角$\arg z$は次のように場合分けされる。

$\arg z={\begin{cases}\tan ^{-1}(b/a)&({\mbox{if }}a>0)\\\pi /2&({\mbox{if }}a=0,b>0)\\{\mbox{undefined}}&({\mbox{if }}a=0,b=0)\\3\pi /2&({\mbox{if }}a=0,b<0)\\\tan ^{-1}(b/a)+\pi &({\mbox{if }}a<0)\\\end{cases}}$