18/07/24 07:35:11.42 bmjGlIcJ.net
(∃ x θ)
x^2 = a^2 + b^2 -2ab cosθ
x^2 = c^2 + d^2 +2cd cosθ
|cosθ| < 1
⇔
-1<((a^2+b^2)-(c^2+d^2))/(2ab+2cd)<1
⇔
a<b+c+d ∧ b<c+d+a ∧ c<d+a+b ∧ d<a+b+c
余事象は
(X):a≧b+c+d or …
であるがこの４つの条件は排反であり
n(3≧b+c+d) = 1、n(3≧b+c+d) = 4、n(3≧b+c+d) = 10、n(3≧b+c+d) = 20
から(X)の場合の数は140。
よって求める場合の数は1156。