1
$\begingroup$

For distinct points $A, B, C, D$ on a plane, we have $(AB).(CD) + (AD).(BC) \geq (AC).(BD)$. Equality happens if and only if $A,B,C,D$ are collinear or concyclic with $A,C$ separating $B,D$.

  • 4
    Too lazy to write it up now, so please see http://planetmath.org/encyclopedia/ProofOfPtolemysInequality.html and http://www.artofproblemsolving.com/Wiki/index.php/Ptolemy's_Inequality2011-07-04

2 Answers 2

3

Please check here http://planetmath.org/encyclopedia/ProofOfPtolemysInequality.html

3

Searching on $\text{Google}$ gives me the following link, where the solution is presented.