arccos(x)+arccos(y)=2*arccos((x+y)/2)arccos((x-y)/2) が仮になりたつとすれば、
てきとーな値x=1とy=0を代入汁と、0+π/2=2*(π/3)*(π/3)=2π^2/9 で矛盾。