>>588(前半)
前々>>579(後半をやる)
@を代入すると、
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
+3-2(a+b+c)+1
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)+2-a-b-c}
+4-2(a+b+c)
=√(1+a^2)(1+b^2)+(1-a)√(1+b^2)+(1-b)√(1+a^2)
+√(1+b^2)(1+c^2)+(1-b)√(1+c^2)+(1-c)√(1+b^2)
+√(1+c^2)(1+a^2)+(1-c)√(1+a^2)+(1-a)√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)}
=√(1+a^2)(1+b^2)+√(1+b^2)-a√(1+b^2)+√(1+a^2)-b√(1+a^2)
+√(1+b^2)(1+c^2)+√(1+c^2)-b√(1+c^2)+√(1+b^2)-c√(1+b^2)
+√(1+c^2)(1+a^2)+√(1+a^2)-c√(1+a^2)+√(1+c^2)-a√(1+c^2)
-2{√(1+a^2)+√(1+b^2)+√(1+c^2)}
=√(1+a^2)(1+b^2)-a√(1+b^2)-b√(1+a^2)
+√(1+b^2)(1+c^2)-b√(1+c^2)-c√(1+b^2)
+√(1+c^2)(1+a^2)-c√(1+a^2)-a√(1+c^2)
だいぶ消えたな。