11/04/14 18:00:00.06
ｐ＝（ｂ＋ｃ－ａ）／２。
ｑ＝（ａ＋ｃ－ｂ）／２。
ｒ＝（ａ＋ｂ－ｃ）／２。
ａ＝ｑ＋ｒ。
ｂ＝ｐ＋ｒ。
ｃ＝ｐ＋ｑ。
ａ＾３＋ｂ＾３＋ｃ＾３＋３ａｂｃ－２（ａｂ＾２＋ｂｃ＾２＋ａ＾２ｃ）
＝２（ｐｑ＾２＋ｐ＾２ｒ＋ｑｒ＾２－３ｐｑｒ）
≧０。
11/04/14 18:00:00.06
ｐ＝（ｂ＋ｃ－ａ）／２。
ｑ＝（ａ＋ｃ－ｂ）／２。
ｒ＝（ａ＋ｂ－ｃ）／２。
ａ＝ｑ＋ｒ。
ｂ＝ｐ＋ｒ。
ｃ＝ｐ＋ｑ。
ａ＾３＋ｂ＾３＋ｃ＾３＋３ａｂｃ－２（ａｂ＾２＋ｂｃ＾２＋ａ＾２ｃ）
＝２（ｐｑ＾２＋ｐ＾２ｒ＋ｑｒ＾２－３ｐｑｒ）
≧０。