Uhakiki wa Ptolemaio ni sentensi ya jiometria juu ya uhusiano kati ya pande nne za pembenne na ulalo zake kama kona za pembenne hulala juu ya duara. Imepewa jina kufuatana na mwanahisabati Mgiriki-Mmisri Klaudio Ptolemaio. A C ¯ ⋅ B D ¯ = A B ¯ ⋅ C D ¯ + B C ¯ ⋅ A D ¯ {\displaystyle {\overline {AC}}\cdot {\overline {BD}}={\overline {AB}}\cdot {\overline {CD}}+{\overline {BC}}\cdot {\overline {AD}}} Ptolemaio