トレミーの不等式から生じる幾何的不等式のいくつかの拡張 | Synapse