団代数をやっていると、Ptolemyの定理が出てくる 三角化の団代数では、円周上の４点ABCDについて、AC x BD = AB x CD + BC x ADという辺の長さの関係により、団変数の値の関係が論じられる 他方、Grassmanian(2,n) の団代数では、n角形の内部の三角化が論じ…