1

或る三角形の存在性

62
0
$$$$

TeXインポートでは、現在以下の項目が未対応です。

  • 図・表
  • 定理環境
  • スタイルファイル
  • MathJaxで動作しないコマンド

三角関数をどう定義すれば, それは曖昧ではない定義といえるかということについて話します。これは三角関数が満たす性質として何を挙げれば, 三角関数がもつ他の性質を全て導き出せるのかという話に関係します。このことは単純とはいえないことの確認から始めていきます。なお本記事は受講している教職の授業に関係する形で執筆することを決めた次第です。

単位円を使った定義から

三角関数$\cos\theta,\sin\theta$の定義を復習すると

$0<\theta\le \frac{\pi}{2}$とし, $xy$平面上の原点を中心とする半径1の円Cの$x\ge 0,y\ge 0$の部分を$C_+$とします。Aを点(1,0)とし$C_+$上の点P(x,y)を, $\angle AOP$$\theta $となるように取ります。このとき, $\cos\theta=x$, $\sin\theta=y$ として$\cos\theta$$\sin\theta$ を定義します。

これには不十分な点があって, 実数$\theta$ に対して弧$\angle AOP=\theta $を満たす点$P$はなぜ存在するのかという点です。これを保証するのが実数の連続性の公理(中間値の定理と同値)と呼ばれているものです。これから別の方法で定義することについて述べますが, 上のような曖昧さは回避できるのでしょうか?

等速円運動の方程式から

「三角関数の性質」の中で特に大事なのは加法定理でしょうが, 微分公式
$$(\cos x)'=-\sin x ,\ \ (\sin x)'=\cos x$$$も大事でした。微分公式に加えて(任意性を消すために)\cos 0=1,\ \sin 0=1を合わせると三角関数の定義として十分になります。定理として書くと$

すべての実数に対して定義された微分可能な関数$f(x),g(x)で$$$f'(x)=-g(x),\ g'(x)=f(x),\ f(0)=1,\ g(0)=0$$を満たすものがただ$1$組存在します(証明では実数の連続性の公理というより完備性が重要な働きをする)

そんな1組の$f(x),g(x)$$\cos x,\sin x$とかき三角関数を定義します。

また定理1より$\cos^2x+\sin^2x=1$となることを得ます。

指数関数から

実数$x$に対して三角関数を
$$\cos x=\mathrm{Re}(e^{ix})=\frac{e^{ix}+e^{-ix}}{2}=\sum^\infty_{n=0}\frac{(-1)^nx^{2n}}{(2n)!},\ \sin x=\mathrm{Im}(e^{ix})=\frac{e^{ix}-e^{-ix}}{2i}=\sum^\infty_{n=0}\frac{(-1)^nx^{2n+1}}{(2n+1)!}$$

によって定義することも十分です。でもテイラー展開可能性とか知っておく必要があります。また, ここから微分公式を示すには, 項別微分ができる条件に関する定理と用語を使うことになります(実数の公理が必要)。

逆三角関数の逆関数として

ここでは, まず曲線の長さを定義しますが, 連続微分可能な関数$f:[a,b]\to\mathbb{R}$による$[a,b]$上の曲線の長さを$$\int^b_a\sqrt{1+f'(x)^2}dx$$で表します。なお, はじめに, $\angle AOP=\theta $となる点Pの存在性について疑義が感じられると書いたことは今$0\le p\le 1$として, 円$x^2+y^2=1$$0\le x\le p,y\ge 0$の部分である弧APの長さ$\ell(AP)が\theta $と一致する点Pがあるのかについてに置き換わっています。逆関数の微分等を述べる余力がないので, この節でいう所の定義については種本である「微積分」(斎藤毅[著])などをご参照ください。

2番目に微分公式から定義したものの, 加法定理によって三角関数を定義することはできる (どのような条件を課せば十分か?)のか、他の数学的対象から三角関数を定義できたりするのか(利点があれば)、考える余地があると思います。

余談

  1. このように三角関数(や指数関数)を良く定義するためには実数とは何かから考え直す必要に迫られました。実数の連続性の公理については平方根の存在等にも関係していたものでしたが、また復習する機会に恵まれました。杉浦氏著『解析入門$\rm\,I\,$』7ページのAの定義では$x^2\le a$と記してありますがこれは$<$としても次のように直せば問題ありません。まず, (R17)の連続性の公理より順序体$R$のある元$b$があって$b=\sup A>0$は (R17)内の条件を今満たすので変わりなく使えます。後の方で$\epsilon:=\min\{b,\frac{a-4b^2}{5b}\}$とおき, $(b+\epsilon)^2<(2b+\epsilon)^2\le a$より$b+\epsilon\in A$となり$b$$A$の上限であることに矛盾し, また$b^2>a$と仮定する場合には$\epsilon$ はテキスト通りの数として$(b-\epsilon)^2\ge a\Leftrightarrow b-\epsilon\notin A$かつ$A$の元なのでこの時も矛盾します。
  2. 上記の定理は初期値問題の一意性を表すものですが, $g''(x)=-g(x),g(0)=0$での微分方程式は$g'=-\int g(x)dx$と変形できて$g'=F(x,g(x))$という正規形です。
  3. どの方法による三角関数の定義でも実数の公理によって(説明していませんが)数学的な定義となっていることが, 実数の性質の非自明さを表しています。

[補遺]ある三角形の限局的存在について

ある性質を満たす三角形は限定的な存在であることについて示します。可換体論の知識を仮定します。

$T=\Delta ABC$$\alpha=\angle BAC,\beta=\angle ABC,\gamma=\angle ACB$をもつ三角形とし, 頂点Aから線分BC上の点に向かって引く線分とAB,ACによってTは$\alpha$$n$等分する$n$個の部分三角形に分割されるとき, Tは$n$扇子的三角形又は$n$扇子的であるといいます。ここで, $n$扇子的なTに対するその辺の長さと, $n$個の部分三角形の構成要素であるTの内部にある辺の長さは有理数であるとするとき, 特に, Tは本当の$n$扇子であると呼びます。そのような性質を満たすTはどの位珍しいものでしょうか。

このような$n$扇子的三角形Tは$n=2,3$の時にしか存在しません。つまり,

Tは本当の$n$扇子$\Rightarrow n=2,3$

となります。

オイラー関数$\phi(n)$$n$$n=\prod^d_{k=1}p^{e_k}_k$と素因数分解されるとき,
$\phi(n)=n\prod^d_{k=1}(1-p^{-1}_k)$と表せます。

$$\cos\frac{\pi}{n}\in\mathbb{Q}\ (n\ge 2)\Leftrightarrow n=2,3$$

$\Leftarrow)$は明らか。
$\Rightarrow)$ $\xi_{2n}=\cos\frac{2\pi}{2n}+i\sin\frac{2\pi}{2n}$とおくと, $\xi_{2n}$$f(X)=X^2-(2\cos\frac{2\pi}{2n})X+1\in\mathbb{Q}[X]$の根より, $\xi_{2n}$$\mathbb{Q}$上の最小多項式の次数は1または2である一方で, $\xi_{2n}$$\mathbb{Q}$上最小多項式は円分多項式$\Phi_{2n}(X)$です。$\deg\Phi_{2n}(X)=\#\{i\in\mathbb{N}\ |\ 1\le i\le 2n,\ \mathrm{GCD}(i,2n)=1\}=:\phi(2n)=2n\frac{p_1-1}{p_1}\cdots \frac{p_d-1}{p_d}$が補題より成り立ちます。$\phi(2n)\in\{1,2\}$と, $p_1,...,p_d$$2n$を割り切る互いに相異なる素数としているため, $n=2,3$です。

任意の$n\in\mathbb{N}$に対し, $f_n(X),g_{n-1}(X)\in\mathbb{Q}[X]$であって
$(1)$ $\deg(f_n)=n$,
$$\forall X\in\mathbb{R}\ \mathrm{s.t.}\ f_n(X)=2^{n-1}X^n+\cdots かつ\cos(nX)=f_n(\cos X)$$
$(2)$ $\deg(g_{n-1})=n-1$,
$$\forall X\in\mathbb{R}\backslash\{k\pi\ |\ k\in\mathbb{Z}\}\ \mathrm{s.t.}\ g_{n-1}(X)=2^{n-1}X^{n-1}+\cdots かつ\frac{\sin(nX)}{\sin X}=g_{n-1}(\cos X)$$を満たすものが存在します。

加法定理より, $k\ge 1$
$$\cos\ (k+1)X=\cos (kX)\cos X-\frac{\sin (kX)}{\sin X}(1-\cos^2 X)$$$$\frac{\sin (k+1)X}{\sin X}=\frac{\sin (kX)}{\sin X}\cos X+\cos (kX)$$
が成り立つので,
$$f_1(X):=X,\ g_0(X):=1\ f_{k+1}(X):=f_k(X)X-g_{k-1}(X)(1-X^2)\ g_k(X):=g_{k-1}(X)X+f_k(X)$$
と定めれば良いです。

$n\in\mathbb{N},q\in\mathbb{Q}_{>0},X_1,...,X_n\in\mathbb{R}$とします。
$$\{\cos X_1,\sqrt{q}\sin X_1,...,\cos X_n,\ \sqrt{q}\sin X_n\}\subset\mathbb{Q}\Rightarrow \{\cos (X_1+\cdots X_n),\sqrt{q}\sin (X_1+\cdots +X_n)\}\subset \mathbb{Q}$$
が成り立ちます。

次の加法定理と$n\ge 1$に関する帰納法から$\mathrm{O.K.}$
$$\cos(X_1+\cdots X_{n+1})=\cos(X_1+\cdots X_n)\cos X_{n+1}-\frac{1}{q}(\sqrt{q}\sin (X_1+\cdots X_n))(\sqrt{q}\sin X_{n+1})$$$$\sqrt{q}\sin (X_1+\cdots X_{n+1})=(\sqrt{q}\sin (X_1+\cdots X_n))\cos X_{n+1}+\cos(X_1+\cdots X_n)(\sqrt{q}\sin X_{n+1})$$

$a=|BC|, b=|AC|, c=|AB|, \alpha=\angle BAC, \beta=\angle ABC, \gamma=\angle BCA$をもつ三角形Tがあります。$n\in\mathbb{N}$に対し$\{\cos\frac{\alpha}{n},\cos\frac{\beta}{n},\cos\frac{\gamma}{n}\}\subset\mathbb{Q}$ならば,
$$(1) \left\{\frac{b}{a},\frac{c}{a}\right\}\subset\mathbb{Q}\Leftrightarrow (2) \left\{\frac{\sin\frac{\beta}{n}}{\sin\frac{\alpha}{n}}, \frac{\sin\frac{\gamma}{n}}{\sin\frac{\alpha}{n}}\right\}\subset\mathbb{Q}$$

正弦定理より,
$$\frac{b}{a}=\frac{\sin\beta}{\sin\alpha}=\frac{\sin\beta}{\sin\frac{\beta}{n}}\frac{\sin\frac{\alpha}{n}}{\sin\alpha}\frac{\sin\frac{\beta}{n}}{\sin\frac{\alpha}{n}}$$
補題3(2)の条件を満たすような $\frac{\beta}{n},\frac{\alpha}{n}\in\mathbb{R}\backslash \{k\pi\ |\ k\in\mathbb{Z}\}$については, 補題3(2)により
$$\frac{\sin\beta}{\sin\frac{\beta}{n}}\frac{\sin\frac{\alpha}{n}}{\sin\alpha}\in\mathbb{Q}_{>0}$$ (今は$n\in\mathbb{N}$なので常に成立)

よって,
$$\frac{b}{a}\in\mathbb{Q}\Leftrightarrow \frac{\sin\frac{\beta}{n}}{\sin\frac{\alpha}{n}}\in\mathbb{Q}$$ ($\frac{c}{a}$についても同様)

$$\cot\frac{\pi}{2n}=\frac{1+\cos\frac{\pi}{n}}{\sin\frac{\pi}{n}}, また \cos\frac{\alpha}{n}=\frac{1-\tan^2\frac{\alpha}{2n}}{1+\tan^2\frac{\alpha}{2n}}, \sin\frac{\alpha}{n}=\frac{2\tan\frac{\alpha}{2n}}{1+\tan^2\frac{\alpha}{2n}}$$

$$(左辺)=\frac{\cos\frac{\pi}{2n}}{\sin\frac{\pi}{2n}}\underset{倍角公式}{=}\frac{\cos\frac{\pi}{2n}}{\frac{\sin\frac{\pi}{n}}{2\cos\frac{\pi}{2n}}}=\frac{1+\cos\frac{\pi}{n}}{\sin\frac{\pi}{n}}$$
もう一方は$\cos\frac{\alpha}{n}(1+\tan^2\frac{\alpha}{2n})=1-\tan^2\frac{\alpha}{2n}$が成り立つことと同値で
$$1+\tan^2\frac{\alpha}{2n}=\frac{1}{\cos^2\frac{\alpha}{2n}}=\frac{2}{1+\cos\frac{\alpha}{n}}と1-\tan^2\frac{\alpha}{2n}=2-\frac{1}{\cos^2\frac{\alpha}{2n}}=2-\frac{2}{1+\cos\frac{\alpha}{n}}$$
また最後は
$$(左辺)=2\sin\frac{\alpha}{2n}\cos\frac{\alpha}{2n}・\frac{1}{\cos^2\frac{\alpha}{2n}}=(右辺)$$

$n\in\mathbb{N}_{\ge 2}, 0<\alpha,\beta,\gamma<\pi$ は三角形Tの構成要素としての角度とし, このときTの構成要素としての辺と$n$扇子的なTを分割する部分三角形の構成要素としての, Tの内部にある辺の長さが有理数である必要十分条件は,
$$(1) \cos\frac{\pi}{n}\in\mathbb{Q},\ \ (2) \cot\frac{\pi}{2n}\tan\frac{\omega}{2n}\in\mathbb{Q}\ (\omega\in\{\alpha,\beta\})$$
が満たされること。つまり$\gamma$に対しては要求しないで$\mathrm{O.K.}$

$\Rightarrow)\ A_0,...,A_n$を線分BC上の点であって, $A_0=B, A_n=C, \angle A_{i-1}AA_i=\frac{\alpha}{n}\ (1\le i\le n)$を満たすものとし$a_i:=|A_{i-1}A_i|$とおきます。するとTは$n$扇子的なこと及び, 三角形の面積公式より$i\in\{1,...,n-1\}$に対して次の等号が成り立ち, そして仮定から
$$\frac{a_i}{a_{i+1}}=\frac{|AA_{i-1}|}{|AA_{i+1}|}\in\mathbb{Q}$$
これと$a_1+\cdots+a_n=|BC|\in\mathbb{Q},\ a_i>0$により, 任意の$i\ (1\le i\le n)$$a_i\in\mathbb{Q}$であることが判明します。
$\because)\ \exists\frac{q}{p}\in\mathbb{Q}\ a_i=a_1\frac{q}{p}$$\exists\frac{q'}{p'}\in\mathbb{Q}\mathrm{s.t.}\ a_1+\cdots+a_n=a_1\frac{q'}{p'}\in\mathbb{Q}$より$a_1\in\mathbb{Q}$であり, 同様にして$\forall i$に対して$a_i\in\mathbb{Q}$です。
余弦定理から
$$\cos\frac{\alpha}{n}=\frac{|AA^2_0|+|AA_1|^2-a^2_1}{2|AA_0||AA_1|}\in\mathbb{Q},\ \cos\frac{\beta}{n},\cos\frac{\gamma}{n}\in\mathbb{Q}$$
$q=(1-\cos^2\frac{\alpha}{n})^{-1}$とおくと, 補題5より
$$\{\sqrt{q}\sin\frac{\alpha}{n},\sqrt{q}\sin\frac{\beta}{n},\sqrt{q}\sin\frac{\gamma}{n}\}\subset\mathbb{Q}$$
であり, 以上と補題4と$\alpha+\beta+\gamma=\pi $より
$$\{\cos\frac{\pi}{n},\sqrt{q}\sin\frac{\pi}{n}\}\subset\mathbb{Q}$$
が言えます。これと上の公式から
$$\cot\frac{\pi}{2n}\tan\frac{\alpha}{2n}=\frac{1+\cos\frac{\pi}{n}}{\sqrt{q}\sin\frac{\pi}{n}}\frac{\sqrt{q}\sin\frac{\alpha}{n}}{1+\cos\frac{\alpha}{n}}\in\mathbb{Q}$$
同様に
$$\cot\frac{\pi}{2n}\tan\frac{\omega}{2n}\in\mathbb{Q}$$
となります。
$\Leftarrow)$
仮定より$q:=\sin^2\frac{\pi}{n}\in\mathbb{Q}$です。$\sqrt{q}\cot\frac{\pi}{2n}=\sqrt{q}\frac{1+\cos\frac{\pi}{n}}{\sin\frac{\pi}{n}}\in\mathbb{Q}$なので
$$\sqrt{q}\tan\frac{\alpha}{2n}=\frac{\sqrt{q}\cot\frac{\pi}{2n}・\cot\frac{\pi}{2n}\tan\frac{\alpha}{2n}}{\cot^2\frac{\pi}{2n}}=\frac{\frac{q}{p}・\frac{q'}{p'}}{\left(\frac{q}{p}\frac{1}{\sqrt{q}}\right)^2}\in\mathbb{Q},\ \ \ 同様に\sqrt{q}\tan\frac{\omega}{2n}\in\mathbb{Q}$$$$\cos\frac{\alpha}{n}=\frac{1-\tan^2\frac{\alpha}{2n}}{1+\tan^2\frac{\alpha}{2n}}=\frac{1-\left(\frac{\frac{q'}{p'}}{\cot\frac{\pi}{2n}}\right)^2}{1+\left(\frac{\frac{q'}{p'}}{\cot\frac{\pi}{2n}}\right)^2}=\frac{\left(\frac{\frac{s}{r}}{\sqrt{q}}\right)^2-\left(\frac{q'}{p'}\right)^2}{ \left(\frac{\frac{s}{r}}{\sqrt{q}}\right)^2+\left(\frac{q'}{p'}\right)^2}\in\mathbb{Q}$$
これらより
$$\sqrt{q}\sin\frac{\alpha}{n}=\frac{2\sqrt{q}\tan\frac{\alpha}{2n}}{1+\tan^2\frac{\alpha}{2n}}=\cos^2\frac{\alpha}{2n}・2\sqrt{q}\tan\frac{\alpha}{2n}\in\mathbb{Q},\ 同様に\sqrt{q}\sin\frac{\beta}{n}\in\mathbb{Q}$$
となります。補題4から, $\cos\frac{\gamma}{n},\sqrt{q}\sin\frac{\gamma}{n}\in\mathbb{Q}$です。
ここで補題5の$(2)\Rightarrow (1)$を使うことができ, もし一辺が有理数となるようなTを選んで取るとTの全ての辺は有理数であることがわかります。正弦定理によって$i\in\{0,1,...,n\}$に対して
$$|AA_i|=\frac{|AB|・\sin\beta}{\sin(\frac{i\alpha}{n}+\beta)}$$
が成り立ち, 加法定理から
$$\frac{\sin(\frac{i\alpha}{n}+\beta)}{\sin\beta}=\frac{\sin\frac{i\alpha}{n}}{\sin\frac{\alpha}{n}}・\frac{\sqrt{q}\sin\frac{\alpha}{n}}{\sqrt{q}\sin\frac{\beta}{n}}・\frac{\sin\frac{\beta}{n}}{\sin\beta}・\cos\beta+\cos\frac{i\alpha}{n}$$
であって, 補題3(1)はある$\mathbb{Q}$係数多項式$f_n$があって$\cos(\beta)=f_n(\cos\frac{\beta}{n})$を満たすことを意味する他, (2)を第一項に用いることで所望の$|AA_i|\in\mathbb{Q}$を得て, Tは本当の$n$扇子です。

Tが本当の$n$扇子ならば$n=2,3$に限られます。

さて、最後になりますがこのように、初等的なEuclid幾何学の範疇でも知らないことが山ほど潜んでいることが期待されます。私は双曲幾何学等の非Euclid幾何学の文献を読む機運が高まっていますが、現在は余裕がない感じです。

投稿日:2021628

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

現在は量子誤り訂正、位相線形構造とバナッハ環論に関心を持つ。 趣味 : SPY×FAMILY、ハンガリー史、Official髭男dism

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中