2023年7月17日月曜日

複素平面上の三角形

Twitterでyujitachさんが,次の式が複素数(a, b, c)の入れ替えについて対称なのはなぜ?という疑問を呈していた。与式は,$\left| \sqrt{a-b}+ i \sqrt{b-c}\ \right| +\left | \sqrt{a-b}-i\sqrt{b-c}\  \right | $ である。見かけ上はまったく対称でないので不思議な感じがする。

Twitterの集合知はすごいもので,早速回答が寄せられていた。$x=\sqrt{a-b},\ y=\sqrt{b-c}, \ z=\sqrt{c-a}$とおくと,$x^2+y^2+z^2=(a-b)+(b-c)+(c-a)=0$である。

与式は$|x+i\,y|+|x-i\,y|$であり,その二乗は,
$(x+i\,y)(x^*-i\,y^*) + (x-i\,y)(x^*+i\,y*) + 2\left| (x+i\,y)(x-i\,y) \right |$ 
$= 2|x|^2+2|y|^2+2\left | x^2+y^2 \right | = 2 (|x|^2+|y|^2+|z|^2)$

したがってこれは(x,y,z)の入れ替えについて対称であり,(a, b, c) の入れ替えについても対称となる。その幾何学的な意味は,(a, b, c) が表す複素平面上の三点を結ぶ三角形の三辺の長さの二乗和である。

0 件のコメント:

コメントを投稿