Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:inequality
|
| gptkbp:appliesTo |
gptkb:Euclidean_geometry
metric spaces |
| gptkbp:generalizes |
gptkb:Ptolemy's_theorem
|
| gptkbp:namedAfter |
gptkb:Claudius_Ptolemy
|
| gptkbp:publishedIn |
gptkb:Almagest
|
| gptkbp:relatedTo |
gptkb:Ptolemy's_theorem
|
| gptkbp:sentence |
For any four points A, B, C, D in a metric space, d(A,C)·d(B,D) ≤ d(A,B)·d(C,D) + d(A,D)·d(B,C)
|
| gptkbp:usedIn |
gptkb:geometry
complex analysis metric geometry |
| gptkbp:bfsParent |
gptkb:Geometric_Inequalities
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ptolemy's inequality
|