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

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

　ｃｏｓＣ＝（ｃｏｓｃ−ｃｏｓａ・ｃｏｓｂ）／ｓｉｎａ・ｓｉｎｂ

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

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

ｃｏｓＡｃｏｓＢｃｏｓＣ

＝１／▲^3/2Πｃ｛１−（ｃ／２）^2｝^1/2｛（１−ｃ^2／２）−（１−ａ^2／２）（１−ｂ^2／２）｝

１＋２ｃｏｓＡｃｏｓＢｃｏｓＣ＝ｃｏｓ^2Ａ＋ｃｏｓ^2Ｂ＋ｃｏｓ^2Ｃ

▲^3/2（１＋２ｃｏｓＡｃｏｓＢｃｏｓＣ）＝

▲^3/2＋２Πｃ｛１−（ｃ／２）^2｝^1/2｛（１−ｃ^2／２）−（１−ａ^2／２）（１−ｂ^2／２）｝

２Πｃ｛１−（ｃ／２）^2｝^1/2｛（１−ｃ^2／２）−（１−ａ^2／２）（１−ｂ^2／２）｝

＝▲^1/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｝

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