４点の複素数がz[1],z[2],z[3],z[4]としよう。 その面積は下記となるはず。1/2 Im[-Conjugate[z[3]] z[2] + Conjugate[z[2]] (-z[1] + z[2]) + Conjugate[z[3]] z[3] - Conjugate[z[4]] z[3] + Conjugate[z[1]] (z[1] - z[4]) + Conjugate[z[4]] z[4]] Im は…

二次剰余の相互則を証明するためにガウスが定義した複素関数の和は、この天才が算出するのに悶々と苦しんだという有名な逸話があります。それれをディリクレが美しい証明を提出した。 ガウスがこれを嘉し、ゲッティンゲン大学の後任にすえるわけです。そのヴ…