▲＝ａ^2ｂ^2ｃ^2｛１−（ａ／２）^2｝｛１−（ｂ／２）^2｝｛１−（ｃ／２）^2｝

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

［左辺］

▲＋｛（１−ｃ^2／２）−（１−ａ^2／２）（１−ｂ^2／２）｝｛（１−ｂ^2／２）−（１−ｃ^2／２）（１−ａ^2／２）｝｛（１−ａ^2／２）−（１−ｂ^2／２）（１−ｃ^2／２）｝

＝▲＋（１−ｃ^2／２）（１−ｂ^2／２）（１−ａ^2／２）−（１−ｃ^2／２）^2（１−ｂ^2／２）^2−（１−ｃ^2／２）^2（１−ａ^2／２）^2＋（１−ｃ^2／２）^3（１−ａ^2／２）（１−ｂ^2／２）−（１−ａ^2／２）^2（１−ｂ^2／２）^2＋（１−ａ^2／２）（１−ｂ^2／２）^3（１−ｃ^2／２）＋（１−ａ^2／２）^3（１−ｂ^2／２）（１−ｃ^2／２）−（１−ａ^2／２）^2（１−ｂ^2／２）^2（１−ｃ^2／２）^2

［右辺］一方，

（１−ｃ^2／２）^2ｃ^2｛１−（ｃ／２）^2｝＋（１−ｂ^2／２）^2ｂ^2｛１−（ｂ／２）^2｝＋（１−ａ^2／２）^2ａ^2｛１−（ａ／２）^2｝＋２（１−ｃ^2／２）（１−ａ^2／２）（１−ｂ^2／２）｛ｃ^2｛１−（ｃ／２）^2｝＋ｂ^2｛１−（ｂ／２）^2｝＋ａ^2｛１−（ａ／２）^2｝｝−（１−ａ^2／２）^2（１−ｂ^2／２）^2ｃ^2｛１−（ｃ／２）^2｝−（１−ｃ^2／２）^2（１−ａ^2／２）^2ｂ^2｛１−（ｂ／２）^2｝−（１−ｂ^2／２）^2（１−ｃ^2／２）^2ａ^2｛１−（ａ／２）^2｝

＝Σｃ^2｛１−（ｃ／２）^2｝｛（１−ｃ^2／２）^2＋２（１−ｃ^2／２）（１−ａ^2／２）（１−ｂ^2／２）−（１−ａ^2／２）^2（１−ｂ^2／２）^2｝

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

　うまく整理されないので，ａ^2＝ｂ^2＝ｃ^2＝８／３とおいてみる．

［右辺］８｛１−８／１２｝｛（１−８／６）^2＋２（１−８／６）^3−（１−８／６）^4｝＝−８／３｛（１／３）^2−２（１／３）^3＋（１／３）^4｝＝−８／３・（９−６＋１）／３^4＝−３２／３^5

［左辺］（８／３）^3（１−８／１２）^3＋｛（１−８／６）−（１−８／６）^2｝^3＝（８／９）^3＋（−１／３）^3（２／３）^3＝（８^3−２^3）／９^3

　どこかに誤りがあるようだが，これにて打ち切り．

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