三角形 ACD では 111 が AC,AD の上限なので、CD への高さは二等辺の場合の最大値 1−z24\sqrt{1-\frac{z^2}{4}}1−4z2 以下である。BCD についても同様である。