相加相乗平均より、正の比とその逆数の和は少なくとも 222 である。したがって条件には cosA≥1/2\cos A\ge1/2cosA≥1/2 が必要であり、A>60∘A>60^\circA>60∘ では三角形は存在しない。