哦，原始推導居然用了曲麵積分。

難怪出不來。