■和算にまなぶ（その５４）
ａｂｃ＝８ｘｙｚ＝４Ｒｒ^2
ａ＋ｂ＋ｃ≧３（４Ｒｒ^2）^1/3
ａ^2＋ｂ^2＋ｃ^2≧６Ｒｒ
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
（ａ＋ｂ＋ｃ）^2＝ａ^2＋ｂ^2＋ｃ^2＋２（ａｂ＋ｂｃ＋ｃａ）≧９（４Ｒｒ^2）^2
ａ^3＋ｂ^3＋ｃ^3−３ａｂｃ＝（ａ＋ｂ＋ｃ）｛（ａ−ｂ）^2＋（ｂ−ｃ）^2＋（ｃ−ａ）^2≧０
ａ^3＋ｂ^3＋ｃ^3≧３ａｂｃ＝１２Ｒｒ^2
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
