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