また訳の分からない生活をしてしまった。つまらん計算をして、TeX 化して、とかやってたらまた朝に成っていた。sin(7π/24)sin(11π/24)/(sin(π/24)sin(5π/24))＝5＋2√6 という信じられないような式があるが、これ自体は三角関数の積を和に直す公式を使えば容易に示せる。が、Maple に sin(π/24) を計算したら求まった（2重根号に成るが）ので、手計算で求めようと。半角公式を2回使えば sin(π/6) が分かっているので求まる、という仕掛け。この式の由来は実二次体の類数公式。この式から環 Z[√6]＝{a＋b√6｜a,b∈Z} が P.I.D. であることが従う。類数公式を使えば、三角関数の非自明な公式や無限級数の値を求める問題がいくらでも作れる。実際入試問題としていくつか出した。もの凄く計算量を要するものは試験には出せないので、適当な計算量の物を選ぶのが腕の見せ所。ストックしておきます。他にも sin z＝2 を満たす複素数 z を決定したりとか。が、これは面白くなかった。cos z＝2 を満たす z は前に決定したことがあって、で sin(π/2－z)＝cos z という関係式があるので。でこの流れで双曲線関数の勉強をしたり。いかん、寝るぞ、と寝た。
で目が覚めたらもう野球が終わっていた。結果を見ると、何と Carp が首位。快調なスタートと切った Swallows と Tigers は貯金1と貯金2。Carp と Baystars は出遅れたが、貯金3と貯金2。Giants は早くも10敗。15試合で10敗は球団ワーストとか。いいですね。今日はよく眠れそうだ。月曜日は10時40分から講義があるので、早く寝ないと。起きたばっかりだが、もう寝てもいいぞね。
岸田総理が襲われた場所は「雑賀崎」という所だった。和歌山で「雑賀」と言えば鉄砲で有名な所。雑賀孫一も有名。教習所に通ってる時に1コマ空いたので近所のアルプラザに行って、司馬遼太郎の「尻啖え孫市」を買ったが、まだ全く読んでない。もう20年も経つのに。今は「義経」を読んでいるので、それが終わったらにするか。「義経」はようやく奥州藤原氏を頼る辺り。まだ頼朝に会ってない。先は長いぞ。今「ポツンと一軒家」が終わって、何やら女子2人がドライブする短い番組をやってるが、場所が雑賀崎。偶然とは言え面白いね。
