톨레미 부등식 "볼록사각형에서 두 쌍의 대변의 길이의 곱의 합은 두 대각선의 길이의 곱보다 크거나 같다." 즉, 볼록사각형 $\square ABCD$에서$\overline{AB}\cdot\overline{CD}+\overline{AD}\cdot\overline{BC}\geq\overline{AC}\cdot\overline{BD} $가 성립한다. (단, 등호는 $\square ABCD$가 원에 내접할 때 성립한다.) 증명) 수학/기하 2021.07.21
