ａｂｃ＝８ｘｙｚ＝４Ｒｒ^2

　　ｘｙｚ＝Ｒｒ^2／２

に加え，（その５１）で

　　ｘ＋ｙ＋ｚ＝２Ｒ−ｒ

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　２つの定理から，

　　２Ｒ−ｒ≧３（Ｒｒ^2／２）^1/3　　（相加平均・相乗平均不等式）

　　８Ｒ^3−１２Ｒ^2ｒ＋６Ｒｒ^2−ｒ^3≧２７Ｒｒ^2／２

　　１６Ｒ^3−２４Ｒ^2ｒ−１５Ｒｒ^2−２ｒ^3≧０

　　１６（Ｒ／ｒ）^3−２４（Ｒ／ｒ）^2−１５（Ｒ／ｒ）−２≧０

　　１６ρ^3−２４ρ^2−１５ρ−２≧０

　　（ρ−２）（１６ρ^2＋８ρ＋１）≧０

　　（ρ−２）（４ρ＋１）≧０

　　ρ＝Ｒ／ｒ≧２

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝