【数学】Baker-Stark の定理
《キーワード:類数、虚二次体、ガウス、PID、UFD、代数的整数論、Baker、Stark、Heegner》
虚二次体の類数1予想
ガウスは類数が1となる虚二次体*1についての次の命題を実質的に*2予想した。
$m\in\mathbb{N}$ を平方因子を持たない正整数とするとき、虚二次体 $\mathbb{Q}(\sqrt{-m})$ の類数が $1$ となるのは
$m=1,2,3,7,11,19,43,67,163$
に限る
これは整数論の多くの本で
「1967年にBakerとStarkが独立に証明した」
と載っていて、Baker-Starkの定理と呼ぶものもある。
しかし、それ以前にも実はHeegnerという人が証明をしている。
ただ、その証明が拠り所とする主張にはギャップがあり、当時は受け入れられなかった。
結果としてはBakerやStarkが完全な証明をしたので、BakerとStarkの名前を付けるのは至極当然だが、それ以前にも証明をした人はいたという事実は歴史として頭に留めておいても損はないと思う。
ちなみに、ガウスは類数が1となる実二次体が無限個存在することも実質的に予想しているが、これは未解決問題である。
参考文献
H.M.Stark, On the "Gap" in a Theorem of Heegner, Journal of Number Theory vol.1(1969), p16--27
【高校数学】逆四平方の定理
《キーワード:ベクトル、四平方の定理、逆四平方の定理》
2019/11/29にたまたま発見した式について
4平方の定理とかいう定理の証明(ヘロンの公式を使うのがおそらく簡単)を試みていたら、図の直方体において、
— 『冷』 (@0_A_M_) 2019年11月28日
1/h^2=1/a^2+1/b^2+1/c^2
という関係が成り立つことが分かった。 pic.twitter.com/hiEAsvIpVB
hは頂点と三角形の間の距離
— 『冷』 (@0_A_M_) 2019年11月28日
2019/12/15に見た動画で似た定理を知って、逆四平方の定理とでも呼べそう
逆ピタゴラスの定理から、届く明るさが同じになるように灯りを分けられるよ。ん?この式見覚えがあるぞ??https://t.co/djKzvnN1kF pic.twitter.com/uaTYWm3DJr
— 『冷』 (@0_A_M_) 2019年12月15日
まず、次の方針で4平方の定理を証明する。
いや、ヘロンの公式よりベクトルのが早いな。そもそも公式は2つのベクトルで張られる三角形の面積から導かれてるし。なら、4平方の定理経由でいっか。
— 『冷』 (@0_A_M_) 2019年11月28日
直方体の図は次の通り
$S=\triangle\mathrm{ABC}$, $S_1=\triangle\mathrm{OAB}$, $S_2=\triangle\mathrm{OAC}$, $S_3=\triangle \mathrm{O B C}$ .
とおくと、四平方の定理は
$$S^2=S_1^2+S_2^2+S_3^2$$
という定理である。
左辺をベクトルを用いて変形していくと、
$$\begin{align}S^2&=\frac{|\overset{\longrightarrow}{AB}|^2|\overset{\longrightarrow}{AC}|^2-(\overset{\longrightarrow}{AB}\cdot\overset{\longrightarrow}{AC})^2}{4}\\&=\frac{|\overset{\longrightarrow}{OB}-\overset{\longrightarrow}{OA}|^2|\overset{\longrightarrow}{OC}-\overset{\longrightarrow}{OA}|^2-\left((\overset{\longrightarrow}{OB}-\overset{\longrightarrow}{OA})\cdot(\overset{\longrightarrow}{OC}-\overset{\longrightarrow}{OA})\right)^2}{4}\\&=\frac{(|\overset{\longrightarrow}{OB}|^2-2\overset{\longrightarrow}{OA}\cdot\overset{\longrightarrow}{OB}+|\overset{\longrightarrow}{OA}|^2)(|\overset{\longrightarrow}{OC}|^2-2\overset{\longrightarrow}{OA}\cdot\overset{\longrightarrow}{OC}+|\overset{\longrightarrow}{OA}|^2)}{4}\\&\;-\frac{(\overset{\longrightarrow}{OB}\cdot\overset{\longrightarrow}{OC}-\overset{\longrightarrow}{OB}\cdot\overset{\longrightarrow}{OA}-\overset{\longrightarrow}{OA}\cdot\overset{\longrightarrow}{OC}+|\overset{\longrightarrow}{OA}|^2)^2}{4}\\&=\frac{|\overset{\longrightarrow}{OB}|^2|\overset{\longrightarrow}{OC}|^2+|\overset{\longrightarrow}{OB}|^2|\overset{\longrightarrow}{OA}|^2+|\overset{\longrightarrow}{OA}|^2|\overset{\longrightarrow}{OC}|^2+|\overset{\longrightarrow}{OA}|^4-|\overset{\longrightarrow}{OA}|^4}{4}\\&={\left(\frac{1}{2}|\overset{\longrightarrow}{OA}||\overset{\longrightarrow}{OB}|\right)\!}^2+{\left(\frac{1}{2}|\overset{\longrightarrow}{OA}||\overset{\longrightarrow}{OC}|\right)\!}^2+{\left(\frac{1}{2}|\overset{\longrightarrow}{OB}||\overset{\longrightarrow}{OC}|\right)\!}^2\\&=S_1^2+S_2^2+S_3^2\end{align}$$
となり、証明が完了する。
ここから逆四平方の定理、すなわち
$$\frac{1}{h^2}=\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}$$
を示す。
三角錐 $OABC$ の体積を $\triangle\mathrm{OAB},\triangle\mathrm{ABC}$ を底面とみて二通りに表すことにより、次の等式が得られる。
$$\frac{1}{3}\cdot\frac{1}{2}ab\cdot c=\frac{1}{3}\cdot S\cdot h$$
すると、
$$\begin{align}\frac{1}{h^2}&=\frac{4S^2}{(abc)^2}\\&=\frac{4S_1^2+4S_2^2+4S_3^2}{(abc)^2}\\&=\frac{(ab)^2+(ac)^2+(bc)^2}{(abc)^2}\\&=\frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\end{align}$$
となり、証明が完了する。
【数学】微分不等式
《キーワード:微分不等式、微分方程式、グロンウォールの不等式》
微分方程式はよく聞くが、微分不等式というのは滅多に聞かない。
1年前くらいにとあるフォロワーに次の証明の質問をされたのだが、微分方程式などは門外漢のため初めて見る概念だった。
$$y'(x)\le a(x)y(x)+b(x)\quad(p\le x\le q)$$
$$\Rightarrow y(x)\le y(p)\exp\left(\int_{p}^{x}a(t)\;dt\right)+\int_{p}^{x}b(t)\exp\left(\int_{t}^{x}a(s)\;ds\right)dt\quad(p\le x\le q)$$
微分方程式から考えるといいのでは?とアドバイスだけして保留せざるを得なかったのだが、試行錯誤の果てに説明ほとんどなしで次のまとめにあるような連ツイをしている。
説明が雑すぎるので、ブログで改めて解説しようと思い、まとめを見ながら考えていたが、同次形に帰着させた後の議論に関しては時間が経ちすぎていて詳細がよく分からない。
というか、よくよく考えると1年前の連ツイでは結論を証明できてない。
そんなわけで違う方針でやることに。
で、思い付いたのが
$$D(x)=y'(x)-(a(x)y(x)+b(x))$$
と置いちゃえ、と。
そうすると、なんと
$$y'(x)=a(x)y(x)+(b(x)+D(x))$$
という微分方程式が誕生します。(???)
少し腑に落ちないような気もするが、微分不等式が微分方程式に帰着。
一階線形微分方程式なのでもう楽勝ですね。
教科書かネットから一般解の公式を引っぱってくる(例えば、 1階線形微分方程式 | 高校物理の備忘録 )か、自分で導くかすれば $y(x)$ の形が明らかに。
一応、書いておくと、 $Y'(x)=A(x)Y(x)+B(x)$ の一般解は
$$Y(x)=Y(p)\exp\left(\int_{p}^{x}A(t)\;dt\right)+\int_{p}^{x}B(t)\exp\left(\int_{t}^{x}A(s)\;ds\right)dt$$
微分を考えるときはこっちの形のがいいかも。
$$Y(x)=\left(Y(p)+\int_{p}^{x}B(t)\exp\left(-\int_{p}^{t}A(s)\;ds\right)dt\right)\exp\left(\int_{p}^{x}A(t)\;dt\right)$$
$$Y(x)=\left(C+\int B(x)\exp\left(-\int A(x)\;dx\right)dx\right)\exp\left(\int A(x)\;dx\right)$$
か公式としてよく出ているだろうが、それを積分区間を明示するには積分区間の下端を定数、上端を元の積分変数にして、被積分関数の変数を別の変数に変えてその変数による積分に直してから、積分定数を調整すればいい。(最初から導いた方が早そう)
例えば、$\int A(x)\;dx$ を $\int_{p}^{x}A(t)\;dt$ に変える。
微分不等式だから特別なことをするのかと思いきや、案外、あっけなく終わりました。
詳細も画像1枚に収まる分量。
一応、PDFのリンクも貼っておく。
さて、微分不等式という名前があるのか検索したところ、グロンウォールの不等式(Gronwall's inequality)というのがヒット。
グロンウォールという名前は微分方程式の講義で聞いた記憶がある。
中身を見てみると、………!!!?
$$u'(t)\le\beta(t) u(t)$$
ならば、対応する微分方程式
$$y'(t)=\beta(t) y(t)$$
の解によって、 $u(t)$ は上から評価できる。
まさにこれでした。
某フォロワーさん、Wikipedia見ていればもう少しちゃんと対応できました。。ごめんなさい。m(。_。)m
【高校数学】区分求積法
《キーワード:総和、極限、区分求積法、平均値の定理》
twitter で次の問題を見かけた。
問
— ren (@ren_265) 2020年1月5日
次の極限を求めよ。#数学 #自作問題 pic.twitter.com/DpprpcyPDE
これは平均値の定理を使うと計算が簡単になる。
takuma on Twitter: "平均値の定理ですね。 1/2log2020=log2+1/2(log5+log101) でしょうか?… "
ちなみに、平均値の定理とは
閉区間 $[a,b]$ で連続で、開区間 $(a,b)$ で微分可能な関数を $f(x)$ とするとき、$(a,b)$ のある点 $c$ に対し、
$$\frac{f(b)-f(a)}{b-a}=f'(c)$$
が成り立つというものだ。
さて、元の問題は次のように一般化できる。
$r>0,\;g(x)$ に対し,
$$\lim_{x \to 0}xg'(x)=0$$
$$g''(x)<0(0<x<r)$$
なら,
$$\begin{align} \lim_{n\to\infty}\sum_{k=1}^{2n}(-1)^kg\left(\frac{kr}{2n}\right)=\frac{g(r)-g(0)}{2} \end{align}$$
この $g(x)$ として、$\log(1+x)$ を選び、$r=2019$ とおくと、元の問題に対応する。
証明を書いたPDFファイルは次のリンクから参照できる。
【高校数学】必要条件と十分条件
必要条件(necessary condition)と十分条件(sufficient condition)というものがある。
$x$ に関する条件*1を $p,q$ ⠀として、
$$p\Rightarrow q$$
が真のとき( $x$ が $p$ を満たすときは必ず $q$ も満たすとき)に定まる用語だ。
習い始めのときは特にどっちがどっちか分からなくなる。
今の場合は $p$ は $q$ であるための「十分条件」 であり、 $q$ は $p$ であるための「必要条件」 である。
- 次のような図にまとめてもいいかもしれない。
十分条件 $\Rightarrow$ ⠀必要条件…①
①は十分条件の方から見ると自分から離れるように矢印が伸びていて、相手に何かを押し返して「いらない!もう"十分"だ!」と言っているシーンに見えなくもない。
必要条件の方から見れば自分に近づくように矢印が伸びていて、手を伸ばして「ちょうだい!それ、"必要"なの!」と言っているシーンに見えなくもない。
高校生時代に、クラスメイトが塾の先生からこの覚え方を教えてもらったのを聞いて知ったものだ。
ウマイこと考えるものだなあと思いながらも、当時の印象は強く、今でも現に覚えている。
- さて、$p\Rightarrow q$ ⠀ …② は真理集合を考えると、包含関係になる。
真理集合というのは条件を満たすような $x$ ⠀を全部集めて作った集合のことだ。
例えば、「 $x$ は $3$ の倍数である」という条件の真理集合は
$$\{0,\pm3,\pm6,\pm12,\ldots\}$$
である。
$P,Q\;$ をそれぞれ $p,q\;$ の真理集合とすると、$x\in P$ ⠀は「 $x$ は $p$ を満たす」ということで、$x\in Q$ ⠀は「 $x$ は $q$ を満たす」ということだから、②は 「 $x\in P$ ⠀ならば $x\in Q$ ⠀」となる。つまり、
$$P\subset Q$$
という包含関係(…③)になる。
$p$ は( $q$ であるための)"十分条件"で、それに対応する $P$ が $Q$ に含まれているから、③のことを次のような図で覚えてそこから②を思い出すというやり方があるらしい*2。
そして、これをタヌキのおへそに例えていた。
- どっちが必要条件かの覚え方を2つ紹介した。
しかしながら、なんで必要条件なんだろう?という疑問は残る。
その疑問のもと、なるべく理屈で納得できるような説明を当時考えたので、それ*3を紹介したいと思う。
まず、$p\Rightarrow q$ ⠀ ⠀の対偶は $\bar{q}\Rightarrow\bar{p}$ ⠀ ⠀である。
つまり、$q$ が成り立たなければ、絶対に $p$ は成り立たない。
これを言い換えれば、$p$ が成り立つためには $q$ が成り立つことが「必要」。
ここから、$q$ は $p$ であるための「必要条件」と言うのではないか?
また、 $p$ が成り立つとき $q$ が成り立つが、$p$ ではない他の $r$ が成り立つときに $q$ は成り立つかもしれない。
前提条件は色々あるし、$p$ が必要とは限らないが、$q$ が成り立つためには $p$ が成り立つことが分かっていれば事足りる、十分だ。
つまり、$p$ は $q$ であるための「十分条件」と言うのではないか?
【高校数学】和積公式
和積公式というものがある。
sin+sin、cos+cosの2種類あって、次のようになっている。
$$\begin{cases}\sin\alpha+\sin\beta=2\sin\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}\\ \cos\alpha+\cos\beta=2\cos\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}\end{cases}$$
さて、この公式は「どういう形の公式か?」(=sin,cosの和を積に変換する)ということさえ覚えていけば、暗記しなくても困らないものだ。
なぜなら、加法定理の式を足し引きすればすぐに出てくる公式だから。
減らせるなら暗記は減らした方がいい。だって、完璧に暗記するのは大変だから。
ということでまずは加法定理を書いてみよう。
\[\sin(A+B)=\sin A\cos B+\cos A\sin B\cdots(1)\]
\[\sin(A-B)=\sin A\cos B-\cos A\sin B\cdots(2)\]
\[\cos(A+B)=\cos A\cos B-\sin A\sin B\cdots(3)\]
\[\cos(A-B)=\cos A\cos B+\sin A\sin B\cdots(4)\]
ちなみに、 $A-B$ ⠀の方は $A+B$ ⠀の場合の等式の $B$ のところを $-B$ に換えて、
\[\sin(-B)=-\sin B,\;\cos(-B)=\cos B\]
という関係を使えば、$A+B$ ⠀の場合だけを覚えていればすぐに分かる。
和積公式はsin+sinやcos+cosだから「加法定理の左辺」*1に注目する。(1)に(2)を足せば
\[\sin(A+B)+\sin(A-B)=2\sin A\cos B\]
となり、(3)に(4)を足せば
\[\cos(A+B)+\cos(A-B)=2\cos A\cos B\]
となる。
あとは、
\[\alpha=A+B,\beta=A-B\]
となるようなA,Bを見つければ和積公式となる。
つまり、("A,Bに関する"連立方程式を解いて)
\[A=\frac{\alpha+\beta}{2},B=\frac{\alpha-\beta}{2}\]
とすればよい。
具体例として、 $\cos7x+\cos x$ ⠀ ⠀を考えよう。まず、
\[A+B=7x,\;A-B=x\]
となるようにA,Bを決めるが、これは
\[A=\frac{7x+x}{2}=4x,\;B=\frac{7x-x}{2}=3x\]
と分かる。そこで、
$$7x=4x+3x,\;x=4x-3x$$
とみて、加法定理を使うと、
\[\cos7x=\cos4x\cos3x-\sin4x\sin3x,\\ \cos x=\cos4x\cos3x+\sin4x\sin3x\]
この等式を足せば、
\[\cos7x+\cos x=2\cos4x\cos3x\]
となって、"和積"終わり。
*1:積和公式のときは右辺に注目することになる
【数学】相加平均・相乗平均
以下のツイートの解説
ある商品の売上の前月比伸び率が
— 冷 (@0_A_M_) 2019年8月22日
4月:-5%
5月:15%
6月:25%
7月:6%
8月:-1%
だったとすると、3月~8月の5ヵ月間の平均伸び率は何%になるか?(毎月の伸び率をどの一定値にすると同じ結果になるか)
に対して伸び率を単純に平均(→8%)すると厳密には正しくなくて(→実際は約7.46%)、近似になる。
今の場合、単純に平均すると実際より高く出てしまったが、他の商品の場合にも単純に平均して平均伸び率を求めたとすると、その値は実際の平均伸び率より高いだろうか? #数学 #問題
— 冷 (@0_A_M_) 2019年8月22日
伸び率を単純に平均するというのは相加平均
— 冷 (@0_A_M_) 2019年8月23日
一方、実際の平均伸び率は1ヶ月あたり何倍になるかを表すものだから、各月の伸び率の相乗平均
ということで、要は相加平均と相乗平均の関係
相加平均の方が大きいので、答えは「高い」(※やや表現が不適切で大小にすべきだった)
$n$ 月の売上を $a(n)$ 、前月比伸び率を $k(n)$ %とすると、
$$\frac{a(n)-a(n-1)}{a(n-1)}=\frac{k(n)}{100}$$
となる。これを変形すると、
$$a(n)=(1+\frac{k(n)}{100})a(n-1)$$
だから、
$$a(8)=(1+\frac{k(4)}{100})(1+\frac{k(5)}{100})(1+\frac{k(6)}{100})(1+\frac{k(7)}{100})(1+\frac{k(8)}{100})a(3)\ldots(1)$$
一方、平均伸び率を $k$ %とすると、
$$\frac{a(n)-a(n-1)}{a(n-1)}=\frac{k}{100}$$
となる。これを変形すると、
$$a(n)=(1+\frac{k}{100})a(n-1)$$
だから、
$$a(8)=(1+\frac{k}{100})^5a(3)\ldots(2)$$
となり、(1)(2)から、
$$(1+\frac{k}{100})^5a(3)=(1+\frac{k(4)}{100})(1+\frac{k(5)}{100})(1+\frac{k(6)}{100})(1+\frac{k(7)}{100})(1+\frac{k(8)}{100})a(3)$$
よって*1、
$$1+\frac{k}{100}=\sqrt[5]{(1+\frac{k(4)}{100})(1+\frac{k(5)}{100})(1+\frac{k(6)}{100})(1+\frac{k(7)}{100})(1+\frac{k(8)}{100})}$$
相乗平均≤相加平均*2より、
$$\le\frac{(1+\frac{k(4)}{100})+(1+\frac{k(5)}{100})+(1+\frac{k(6)}{100})+(1+\frac{k(7)}{100})+(1+\frac{k(8)}{100})}{5}$$
$$=1+\frac{\frac{k(4)}{100}+\frac{k(5)}{100}+\frac{k(6)}{100}+\frac{k(7)}{100}+\frac{k(8)}{100}}{5}$$
したがって、
$$\frac{k}{100}\le\frac{\frac{k(4)}{100}+\frac{k(5)}{100}+\frac{k(6)}{100}+\frac{k(7)}{100}+\frac{k(8)}{100}}{5}$$
となり、両辺に $100$ を掛ければ
$$k\le\frac{k(4)+k(5)+k(6)+k(7)+k(8)}{5}$$
つまり、単純に伸び率を平均して求めた方が大きい。