4時のサッカーのキックオフまで、5月にやった「博士ちゃん」の戦国三英傑の誰が最強かを決める2時間半ものを途中まで見た。皆それぞれに思い入れがあって面白い。で4時に NHK 総合に合わせて観戦開始。スペインは相変わらず固い。アルゼンチンが全然攻め込めない。アルゼンチンの守備も固く、スペインのシュートの本数は多くない。後半にアルゼンチンに悲劇が。一人退場。む。しかしアルゼンチンも必死に守って、点を許さず延長戦に。延長戦前半もどちらにも点が入らないが、延長後半に成ってすぐにスペインが1点取った。始まる直前にアルゼンチンの選手が一人座り込んでいて、故障か?と思われたが、アルゼンチンはもう交代枠を使い切ってる。でちょっと集中力が切れたのかも。その後もスペインが点を取ったかに見えたが、オフサイドだったりその前に笛が鳴っていたりで、追加点は無し。が、結局アルゼンチンは延長後半にシュートを2本打てただけという、スペインの超固い守備が勝って、1-0でスペインが優勝。うーん、凄かったな。大会通して1失点、相手に一度もリードを許さないという圧勝だ。さしものメッシもどうしようもなかったようだ。殆どメッシの映像が無かったからね。メッシは得点王も逃し、残念な最後に成ったね。まあ面白かったです。
でサッカーの番組が終わったのは8時近く。表彰式もあったから、長かった。でその後すぐに寝ればよかったが、「博士ちゃん」の残りを見て、で何かその辺にあった書き散らかした紙が気に成って、考え始めてしまった。二重根号の外し方をいまいち分かっていない。まああれは勘で見付けられなくても、2次方程式を立てれば解けるのでいいでしょう。あんなもの公式とかテクニックとして覚えるのでなく、素直に √(a+√b)=√c+√d と書けるとして、2乗して係数比較で2次方程式を立てる、でいいでしょう。木田さんの論文に書いてあった公式もこれで説明出来る。で別の紙に和田秀男先生が数セミに書いたものがあったが、「Kさんに電話で x2+295y2=±3 は整数解を持つだろうか?」と聞かれた、と書いてあって、それを連分数を使って判定する方法が書いてあった。が、これは mod 5 すればいいのでは?と気付いた。Kさんとは小松啓一先生だろうか?こんなことに気付かない和田先生と小松先生ではないと思うが。D.J.Lewis の方程式という笑い話があって、Lewis が x3+117y3=5 の整数解は高々18個、と言い出して、Finkelstein と London がこの方程式に整数解が無いことを示している。しかし Math. Review に「mod 9 すれば分かる」と冷たく書いてあった。Finkelstein 達は Q(1171/3) の整数論でやっているが。初手を見誤るといけないね。難しいことを考える前に簡単なことをしましょう。
もう11時を過ぎていたので、Uber Eats に王将メニューを頼んだが、最初の配達パートナー氏が拒絶したのか、「新しい配達パートナーを探しています」と出て、随分待たされた。まあ暑い中長距離走り回る(バイクでだが)は嫌なのでしょう。暑いからか、待たされた割には料理は温かった。
それから6時間程寝た。相撲を見なかったが、どうなったろうか?霧島はハイレベルな優勝で横綱、安青錦は二桁勝利で大関復帰、ということで見所は多いが。勿論豊昇龍の横綱に成っての初優勝、大の里がどこまで復調するかも見ものだが。また深夜のダイジェストを録画しておこう。
もう野球が始まっていた。今日から甲子園で Tigers と3連戦。Baystars が平良、Tigers が大竹。見始めた時は0-0という展開だったが、5回表に宮下がソロホームランを打ち先制。大竹は1失点で交代したが、援護が無いのだろうな。防御率2点台なのにもう6杯もしている。勝ちは僅か3。その後6回、7回は無得点だったが、8回に出てきた外国人投手が先頭から2者連続四球と嬉しいことをしてくれて、エンカーナシオンが3ランホームラン。無駄な四球はいけないということだ。9回は古市がヒット、神里四球の後、勝又がタイムリーヒット、三森のセカンドゴロの間に1、3塁に成り、佐野のショートゴロがフィルダースチョイスを誘発しもう1点、柴田が犠牲フライでもう1点。結局7-0という一方的なスコアに成った。四球は怖いな。教訓にしないと。これで4連勝で、Swallows が負けたので2ゲーム差。7月は11勝4敗1分、4連勝が2度。交流戦の失速は取り返せてきた。絶望的だったAクラスも現実的に成ってきたし、オールスター後に大勝ちしましょう。まずは Giants に勝たないと。Tigers 相手には6勝5敗なのに Giants には3勝10敗。Tigers ファンに恨まれるな。今日の結果で Tigers と Giants が同率首位で並んでしまった。まあ明日も Baystars は勝つが、Carp に頑張ってもらわないと。
昨日の晩から鼻の調子が猛烈に酷い。生活の不摂生が祟っているか?今日も不摂生の予定だが。呑み始めるのはもう少し経ってから。暑いと Uber Eats の配達の人が減るだろうから、今日のように待たされる可能性大。ということで、カップ麺と冷凍食品を買いに行く。僅かな距離を歩くのでも嫌なくらい外は暑いから、また車でローソンだな、ということで、飲酒運転は駄目よ、なので、もう少し我慢。「くりぃむナンタラ」が終わったら行く。寝癖バリバリだし、大分汗をかいたから、「光一&シゲのSHOWマン!!」は見ないでシャワーにするか。