Во всяком выпуклом четырехугольнике, вписанном в окружность, произведение длин диагоналей равно сумме произведений длин его противоположных сторон. Названа по имени Клавдия Птолемея (2 в.), к-рый использовал ее для вывода нек-рых соотношений в тригонометрии, п. С. Моденов.