$\sin(\arccos x) = \cos(\arcsin x) = \sqrt{1-x^2}$ を示す。解析学三角関数逆三角関数恒等式証明2025/6/31. 問題の内容sin(arccosx)=cos(arcsinx)=1−x2\sin(\arccos x) = \cos(\arcsin x) = \sqrt{1-x^2}sin(arccosx)=cos(arcsinx)=1−x2 を示す。2. 解き方の手順(1) sin(arccosx)=1−x2\sin(\arccos x) = \sqrt{1-x^2}sin(arccosx)=1−x2 を示す。y=arccosxy = \arccos xy=arccosx とおく。このとき、x=cosyx = \cos yx=cosy であり、 0≤y≤π0 \le y \le \pi0≤y≤π である。sin2y+cos2y=1\sin^2 y + \cos^2 y = 1sin2y+cos2y=1 より、sin2y=1−cos2y=1−x2\sin^2 y = 1 - \cos^2 y = 1 - x^2sin2y=1−cos2y=1−x2。0≤y≤π0 \le y \le \pi0≤y≤π であるから、siny≥0\sin y \ge 0siny≥0 である。したがって、siny=1−x2\sin y = \sqrt{1-x^2}siny=1−x2。よって、sin(arccosx)=1−x2\sin(\arccos x) = \sqrt{1-x^2}sin(arccosx)=1−x2。(2) cos(arcsinx)=1−x2\cos(\arcsin x) = \sqrt{1-x^2}cos(arcsinx)=1−x2 を示す。z=arcsinxz = \arcsin xz=arcsinx とおく。このとき、x=sinzx = \sin zx=sinz であり、−π2≤z≤π2-\frac{\pi}{2} \le z \le \frac{\pi}{2}−2π≤z≤2π である。sin2z+cos2z=1\sin^2 z + \cos^2 z = 1sin2z+cos2z=1 より、cos2z=1−sin2z=1−x2\cos^2 z = 1 - \sin^2 z = 1 - x^2cos2z=1−sin2z=1−x2。−π2≤z≤π2-\frac{\pi}{2} \le z \le \frac{\pi}{2}−2π≤z≤2π であるから、cosz≥0\cos z \ge 0cosz≥0 である。したがって、cosz=1−x2\cos z = \sqrt{1-x^2}cosz=1−x2。よって、cos(arcsinx)=1−x2\cos(\arcsin x) = \sqrt{1-x^2}cos(arcsinx)=1−x2。(3) 以上の結果より、sin(arccosx)=cos(arcsinx)=1−x2\sin(\arccos x) = \cos(\arcsin x) = \sqrt{1-x^2}sin(arccosx)=cos(arcsinx)=1−x2 が示された。3. 最終的な答えsin(arccosx)=cos(arcsinx)=1−x2\sin(\arccos x) = \cos(\arcsin x) = \sqrt{1-x^2}sin(arccosx)=cos(arcsinx)=1−x2