The Ptolemaean inequality in the closure of complex hyperbolic planes

Abstract

We prove the Ptolemaean inequality andPtolemaeus' theorem in the closure of complex hyperbolic planes endowed with theCygan metric.