Complex cross--ratios and the Ptolemaean inequality
arXiv:1207.5114
Abstract
We use Korányi--Reimann complex cross--ratios to prove the Ptolemaean inequality and the Theorem of Ptolemaeus in the setting of the boundary of complex hyperbolic space and the first Heisenberg group.
6 pages