$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online

$\sqrt{1/a} = 1/\sqrt{a}$ の値が（小数表示などの形で）分かっている状態から $\sqrt{a}$ の値を得たいとき、逆数をとるのではなく $a$ 倍するのが計算が楽らしい。天才か？

さすがに状況が限られすぎているが。
有限体とか mod $p^n$ の世界で逆数を計算したくないときとか、$ \sqrt{1+x} $ の級数展開の係数が $ 1/\sqrt{1+x} $ のそれよりわずかに汚いことから後者を使ったときがそうであり、自分は何度か逆数をとっていたのでした。

直近の情報源はこれ。一行だけ触れられています。
https://qiita.com/qnighy/items/ba7e6cb6e321972bebf2

katex-github-chrome-extension、返信あった。プラグイン無効にして生成されてるhtml見ると、確かに }_ の部分が }＜em＞ になってる…単に _ だけだと大丈夫なのだが。

プラグインはGitHubが生成したDOM（よくわからんがJSONみたいな感じ？）を受け取ってKaTeXに変換してるらしい。

DOMに＜em＞タグが付いてるから、どうすればいいかってことか。

ここまで求めれば、OEISで一意に決まった。

https://oeis.org/A172372

証明にフェルマーの小定理使ってるけど、素朴に示すこともできると思う。

例えば3でないpについてn(p)はp-1を割るけど、これは上の証明から自明。

はじめまして．ツイッター凍結しちゃって数学科でもないし聞ける人がいないのでここに書きます．田中先生の『山の上のロジック学園』を読んでいます．p137 の $\Sigma_1$ 健全性から 1-無矛盾性 を示すところ（添付画像の赤線の部分）で，$x$ がなぜ自然数に対応するのかがわからないという感じです．

全然コード整理してませんが一応リポジトリこちらです
https://github.com/hyrodium/Visualize2dimNewtonMethod

Desmosでの可視化です
https://www.desmos.com/calculator/fe7sjsg6wd

Newton法の収束領域の可視化です

Line Segment氏のプロジェクト

初等整数論講義
https://linesegment.web.fc2.com/books/mathematics/shotouseisuronkougi/

高木は古いから通読は大変だけど、時々眺めて見ると発見があるかもしれない。

久々にログインしました