昨日書いた通り訳の分からない時間に起きたので、何か起きてないと勿体ない気がして、結局朝まで起きていた。で「おはよう朝日です」で正木さん曰く、天気が悪くなるのは夕方以降のようなので、昼飯を閉店間近の西友山科店2階のレストランで食べよう、ということにした。で11時くらいには出掛けようと思っていたが、ちょっと計算してたら何か色々変で手間取り、1時半を過ぎてしまった。流石に腹減ったということで出掛けるが、シャワーを浴びてから出掛けることにした。で西友に2時くらいに着いて、ちゃんとお目当ての海老クリームコロッケを食べてきた。ピラフの上にコロッケが乗った奴にしたが、海老クリームコロッケを食べるのに一番安いものを頼んだというわけ。オムライスとコロッケがもう少し高い。単品とライスセットを頼むともっと高い。まあまた行って両方食べるわ。今月一杯で閉店だからね。で3階に行って本屋をちょっと冷やかそうということで向かうと、秀長のことを書いた新書や文庫が結構あって、沢山買ってしまった。7000円強。袋を無料にしてくれると店員さんが言っていたが、高価だからと言ってた。鞄を持っていたので別にいらないと言えばいらないのだが、まあいいかと貰っておく。
食事や買い物をすると駐車場が2時間無料に成るので、近くのセカンドストリートをちょっと偵察しようということで向かう。売りたいものがあるが、持って行って買ってくれなかったら悲しいので、視察ということで。が、シャッターが半分閉まってて、何だ?と思って階段を昇ったら、店から出てきた女の人が「3時閉店です」と言ってた。いつもそんな殿様商売なのか?それとも今日は天気が荒れる可能性があるからか?と思って調べたら、今日は棚卸のため3時閉店とホームページに載っていた。つかん。ついてない時は色々あって、三条通を右折してマンションの駐車場に入ろうとしたら、向こうから郵便の集配車が来た。小生の車はそんなに大きな車ではなく、郵便の車は軽のバンだったので、何とかすれ違えた。で駐車場に停めたらすぐ見覚えのある車が来て、会釈して建物の中に向かう時に見たら、小生の車があっと言う間に地下に下りて行ってしまった。まあいいけど。
部屋に入ってトラブってた計算の続き。y2=x3-432 の(affine)有理点は (12,±36) だけなのは Silverman-Tate の楕円曲線の本(正確には足立恒雄、小松啓一、木田雅成、田谷久雄訳「楕円曲線論入門」)で知ったのだが、それは Fermat 曲線 x3+y3=1 の(affine)有理点は (0,1), (1,0) のみであることから従う。これは Wiles の証明を待つまでもなく Euler によって示されている。いや、そんな難しいことしなくても x3=y2+432 の右辺を Q(√(-3)) で分解すれば整数点くらい求められるのでは?と思って始めたのだが、想像通り難しい Thue 方程式を解かなくてはいけなくなった。Q(√(-3)) の単数群は虚二次体の中で一番複雑(他の虚二次体の単数は全て3乗数)なのに起因している。Thue 方程式は PARI/GP ででも Magma Calculator ででも解けるが、いやそこをコンピューターに頼るなら最初から y2=x3-432 の Mordell-Weil 群をコンピューターに求めさせれば?というオチに成るので、意味無し。まあいいです。でも確か Mordell だったか Fueter(綴り曖昧)だったかが y2=x3-432 の整数点を決定している結果があった筈だ。探してみよう、ということにして終了。無駄な時間だったが、無駄なことは沢山しないと。無駄なことを沢山やって色々知ることが出来たり技術が身に付いたりするのです。タイパにこだわるのは良くない。数学はじっくりやらないと。AI を使って安易に勉強するのは良くないよと、今朝お偉いさんが言ってた。試行錯誤をしながら数学を楽しみましょう。「タイパ」は一発変換出来なかった。「タイ」は「体」に邪魔された。「パ」はしょっちゅう「パ・リーグ」と打ってるからか出たが、「タイパ」と言う単語は知らないようだ。また Windows が新しく成ったら最初から入ってるかな。
今日は Baystars も Tigers も試合が無い(明日、明後日と直接対決)ので、「ザワつく!金曜日」でも見るか、と思って見る。CM で高嶋ちさ子が吹き矢で凄いことをやるようなので。で見たら凄かった。世界大会で1位を獲ったパン屋のパンと、唯一無二のパエリアを食べる権利を掛けて吹き矢で的当て競争をしたのだが、一茂も良純も初めてやったと思えないくらい上手。が、高嶋ちさ子はその上を行って、小さい丸のほぼど真ん中に吹き矢を的中させるという、奇跡的なことを二度やってのけて、パンもパエリアも食べていた。凄かった。「マツコ&有吉 かりそめ天国」も CM から判断するに面白そうなので見た。やはり面白かった。野球が無いのもたまにはいい。2日続けて試合が無かったが、今月は結構日程がきついようだ。Tigers も相当タイトなようだし、Carp は更に上をいく。半分以上ドーム球場でやれる Giants はいいな。Tigers は屋外が多いが、甲子園での試合が結構多いようなので、大丈夫だろう。明日、明後日は Baystars は Tigers に連勝して欲しい。Giants が連敗すれば差は縮まらないし、マジックナンバーも減るからね。天気が心配だが、これ以上中止に成ると昭和の遺物ダブルヘッダーをやらないといけないかもな。CS の日程を変えるわけにはいかないだろう。野球と関係無く大雨は嫌だ。明日の京都の天気はまあいいようだが、関東、九州は荒れるようなことを言ってた。災害に成りませんように。