謝罪します。この間の数学演習の時間に、マセマティカ*1でSimplify[... .]*2させた答えを黒板に書いて、教授に「ほんとにこれ、こんなに綺麗になるの?」と問われて「こんなの問題見たら対称性がありますから、綺麗になると信じてガリガリやれば絶対綺麗になるに決まってるじゃないですか。」と言って見栄を張りました。ごめんなさい。

*1:級数学ソフト。東大の情報棟のPCにデフォルトでインストールされている。

*2:数式をシンプルにする命令。展開(Expand[...])の逆をやるわけだ。