ｐ＝（ｂ＋ｃ−ａ）／２。
ｑ＝（ａ＋ｃ−ｂ）／２。
ｒ＝（ａ＋ｂ−ｃ）／２。
ａ＝ｑ＋ｒ。
ｂ＝ｐ＋ｒ。
ｃ＝ｐ＋ｑ。

　ａ＾３＋ｂ＾３＋ｃ＾３＋３ａｂｃ−２（ａｂ＾２＋ｂｃ＾２＋ａ＾２ｃ）
＝２（ｐｑ＾２＋ｐ＾２ｒ＋ｑｒ＾２−３ｐｑｒ）
≧０。