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

　ａ＋ｂ＋ｃ≧３（４Ｒｒ^2）^1/3

　ａ^2＋ｂ^2＋ｃ^2≧６Ｒｒ

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

　（ａ＋ｂ＋ｃ）^2＝ａ^2＋ｂ^2＋ｃ^2＋２（ａｂ＋ｂｃ＋ｃａ）≧９（４Ｒｒ^2）^2

　ａ^3＋ｂ^3＋ｃ^3−３ａｂｃ＝（ａ＋ｂ＋ｃ）｛（ａ−ｂ）^2＋（ｂ−ｃ）^2＋（ｃ−ａ）^2≧０

　ａ^3＋ｂ^3＋ｃ^3≧３ａｂｃ＝１２Ｒｒ^2

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