톨레미 부등식

"볼록사각형에서 두 쌍의 대변의 길이의 곱의 합은

두 대각선의 길이의 곱보다 크거나 같다."

즉, 볼록사각형 $\square ABCD$에서$\overline{AB}\cdot\overline{CD}+\overline{AD}\cdot\overline{BC}\geq\overline{AC}\cdot\overline{BD} $가 성립한다.

(단, 등호는 $\square ABCD$가 원에 내접할 때 성립한다.)

---

증명)

 

By Me