おもろい図形
こんにちは, よねすけです.
円の中に一点を適当にとり, それを通る線分とそれに垂直な線分を上の図のようにとったとしましょう. このとき, 円の半径を用いて
この式の証明をするために下のように補助線を引きます.
線分は円の中心を通るように取るものとします. そうすると
とても綺麗な式ですね.
それでは.
[追記]
いろいろ突っ込まれそうなので一応書いておくとこの証明ははじめに取る点が円の中心と一致しないときに限り成立します. 円の中心に一致する時は, なので明らかに成り立ちますね. また円の中心でない点を取った場合には適当な回転を行えば上の図のようにがよりも長く, がよりも短くなるようにすることができるので確かに問題ありません. 図形を用いて証明する場合はこういった面倒があるので大変ですね.
判別式パート3
こんにちは, よねすけです.
otaku-of-suri.hatenablog.com
以前3次方程式の判別式についてまとめました. 今回次方程式の特別な場合としてのの判別式を求めることが出来たので以下に記しておきます.
判別式と微分の関係については高木貞治の本を参考にしました.
- 作者: 高木貞治
- 出版社/メーカー: 共立出版
- 発売日: 1965/11/25
- メディア: 単行本
- 購入: 1人 クリック: 29回
- この商品を含むブログ (8件) を見る
判別式は係数の多項式で次のように表されます.
- のとき
考える方程式は
- のとき
考える方程式は
以上から次方程式の判別式は
otaku-of-suri.hatenablog.com
それでは.
後期の振り返りするで。
こんにちは、よねすけです。
後期のテストも随分前に終わって春休みに入っているのに振り返りをするのを忘れていたなあ、ということで振り返りを書きます。
応用代数学(月曜2限)
群論の基本的な内容と表現論の初歩の内容を授業で扱いました。丁寧に授業を運んでくれたので特に躓くことなく理解できたと思いました。試験は授業で行った証明などを実際に書かせる問題が多かったです。
言語・オートマトン(月曜3限)
DFA, NFA, εNFA, PDA, NPDA, TMなどを扱いました。この授業は再履修して取った授業ですが実に面白かったと思います。試験は2回の小テストから出題されるのでテスト勉強はしやすかったです。
アルゴリズムとデータ構造入門(月曜4限)
これも再履修で取った授業です。一回生の時に未受験で落としてしまったので3回生になって取りましたが、Schemeを書くこともなくアルゴリズムをいろいろと紹介されました。本当は自分で実装したほうが良いのだろうなと思いました。
生命情報学(火曜5限)
生命情報学に関することをいろいろスライド授業で学びました。下の図はPyMOLを用いてDNAの2重螺旋を横から見た様子です。成績評価はレポート2回で行われるそうです。
パターン認識と機械学習(水曜2限)
パターン認識と機械学習はパターン認識と機械学習について学びました。なんだか勉強がしにくかったです。。。試験はプリントに載っていることをきちんと理解すれば解ける問題は解ける気がします。
線形制御理論(水曜3限)
フィードバック系について偏差をどのように小さくするかについて(?)学びました。過去問5年分をやったのに思ってたのとは違うのが出てきて辛かったです。成績評価はレポートと試験で行われるそうです。8回以上レポートを出せば単位を落とすことはないらしいです(?)。
アルゴリズム論(木曜2限)
チューリングマシンの話題を中心に問題の可解、非可解性やP≠NP問題に関することを扱いました。授業は面白いのですが実際に問題を解くとなると地頭ゲーになってくるのがしんどいですね。レポート2回と試験で成績評価するそうです。
数理工学セミナー(金曜2限)
グレブナ基底と代数多様体について扱いました。
- 作者: D.コックス,落合啓之
- 出版社/メーカー: 丸善出版
- 発売日: 2012/07/17
- メディア: 単行本
- この商品を含むブログを見る
正則言語
こんにちは, よねすけです.
正則言語
正則言語とは正則表現で表される言語のことです. 同値な表現方法として以下があります.
すなわち上の4つの表現方法はいずれも能力として等価であるということです.
正則言語の閉包性
正則言語には閉包性という性質があります. 具体的には正則言語について,
- は正則言語
- は正則言語
- は正則言語
などです. それぞれ証明しましょう.
証明
- は正則言語なのであるで認識される言語です. として, 次のオートマトンを考えます. とすると, 受理状態と非受理状態が綺麗に入れ替わることが分かるのでとなり, もで受理できることが分かりました. よっても正則言語です.
- は正則言語なのである正則表現を用いて, と書くことが出来ます. このとき正則表現の書き方からはと一致することが分かります. よって正則言語の和集合もまた正則表現になることが分かります.
- がド・モルガンの公式から分かるので上に証明したことから正則言語の積集合もまた正則言語であることが分かります.
正則言語の閉包性の証明には正則表現の4つの表現方法をうまく活用することで簡単に示すことが出来ます.
正則言語の性質
正則言語の性質としてPumping Lemmaがあります.
Pumping Lemma
を正則言語とします. あるで, 長さ以上のすべてのに対してと分解します. そうするとについて
- に対して,
です.
Pumping Lemmaは正則言語そのものよりも考える言語が正則言語で無いことを示す事によく使われます. 例えばが正則言語でないことはPumping Lemmaの逆から示されます.
それでは
チューリングマシンが受理する言語
こんにちは, よねすけです.
今回はチューリングマシンの話を書きたいと思います. 以下チューリングマシンをTMと省略します.
帰納的集合(Recursive)
言語が帰納的集合であるとは, ある必ず止まるTMによって
このような言語は色々あります. 一番簡単な言語はalphabetからなる列全体を集めた次の言語
このときTMは1ステップで必ず止まるのでは帰納的集合であることが分かります.
このような集合の他にそもそもTMで認識出来ない集合もあります. そのような言語の例として空集合問題や対角線言語があります. 空集合問題において考える言語は
対角線言語において考える言語は
それでは
愛情の数学
こんにちは.かじはらです.
クリスマスが近いので愛にまつわる数学の話をしたいと思います.
以前よねすけくんが無理数の無理数乗が有理数になる,という話をしていました.
対数を使って定義するんでしたね.
複素数の対数がどのように定義されていたかもついでにおさらいしておきましょう.
複素数の対数は一意に値が定まらない多価関数になるんでしたね.
前回も虚数の話をしたので話題が重複してしまって申し訳ありませんが,今回も虚数に登場してもらいましょう.
これはまさしく複素数の複素数乗の一種です.これを上の定義に則って計算してみましょう.
よくわからない式がでてきました.これではどんな値が具体的にはわからないですね.
しかしここで注目すべきはそこではありません.よく見てください.
なんと虚数が消えています!!!!!!!!!
計算結果は実数の実数乗の形をしているので,具体的な値はわからずともこの値が実数であることは確かです.
つまり,
愛(i)の愛情(i乗)は実数になる!!!!!!!
え…?愛にまつわる数学ってこれ…?ここにきてダジャレ…?ダジャレなの…?
という声が聞こえてきそうですね.
(調べたところ「i^i乗」というwikipediaの項目もあるぐらいなのでかなり有名な話っぽいですが,
高1の時にこの事実を知って以来お気に入りの数学小話(?)のひとつなので,どうしても書きたかったのです.)
次回は,
高校数学の試験で「の数列の極限を求めよ.」という形式の問題が出された時,を解いてを極限値として答えを求める方法がなぜダメなのか?
について考察します.(かじはらの気分が年明けあたりまで変わらなければ.)
おしまい.
答え
こんにちは,よねすけです.
前回の記事で,
最後に証明を残したところがあるので,それだけ示したいと思います.示すべきことはにおいて
です.二通りほど示し方を考えました.
ダランベールの収束判定法を用いる
ダランベールの収束判定法を使えば簡単に示せます.
と置くと,で
となるので示せました.
ちょっとテクる
うまい(?)方法を思いついたので書いてみます.なのでとの中点を取ると
となります.これを使うと
が分かります.これをはじめの式に適用すると
となり示されました.
それでは.