「 距離関数 : distance function 」について、ユークリッド距離を定める関数を解説。シュワルツの不等式を用いて重要な性質を証明。