| ArcSin[1/3]-ArcSin[1/4] =ArcSin[Sin[ArcSin[1/3]-ArcSin[1/4]]] =ArcSin[Sin[ArcSin[1/3]]*Cos[ArcSin[1/4]]-Cos[ArcSin[1/3]]*Sin[ArcSin[1/4]]] =ArcSin[(1/3)*(Sqrt[15]/4)-(2*Sqrt[2]/3)*(1/4)] =ArcSin[(Sqrt[15]-2*Sqrt[2])/12] ゆえに Cos[ArcSin[1/3]-ArcSin[1/4]] =Cos[ArcSin[(Sqrt[15]-2*Sqrt[2])/12]] =Sqrt[12^2-(Sqrt[15]-2*Sqrt[2])^2]/12 =Sqrt[121+4*Sqrt[30]]/12 =(2*Sqrt[30]+1)/12
|