请求解释恒等式sin(π/2−θ)=√(1−sin²θ)成立的依据及所用关系式

嘿，这个问题问得很关键！首先得明确：这个等式并不是对所有θ都成立——右边是平方根运算，结果必然是非负的，但左边$\sin(\pi/2 - \theta)$本质上等于$\cos\theta$，而$\cos\theta$可能为负。只有当$\cos\theta \geq 0$时，这个等式才成立，下面一步步拆解推导过程和用到的核心关系式：

一、用到的核心三角函数关系式 #

我们需要两个基础的三角恒等式来推导：

• 诱导公式（余角关系）：$\sin(\pi/2 - \theta) = \cos\theta$
  这个公式的本质可以从直角三角形或单位圆理解：在直角三角形中，一个锐角的正弦值等于它余角的余弦值；从单位圆来看，角$\pi/2 - \theta$的终边与角θ的终边关于直线$y=x$对称，对应的正弦值恰好等于θ的余弦值。
• 平方关系（勾股恒等式）：$\sin^2\theta + \cos^2\theta = 1$
  这个恒等式来自单位圆的定义：单位圆上任意一点的坐标为$(\cos\theta, \sin\theta)$，根据勾股定理，横坐标平方加纵坐标平方等于半径平方（即1），因此得到$\sin^2\theta + \cos^2\theta = 1$。对这个式子变形可得：$\cos\theta = \pm\sqrt{1 - \sin^2\theta}$，这里的正负号由$\cos\theta$的符号决定。

二、推导过程 #

1. 先用诱导公式替换左边：$\sin(\pi/2 - \theta) = \cos\theta$
2. 再结合平方关系的变形：当$\cos\theta \geq 0$时，$\cos\theta = \sqrt{1 - \sin^2\theta}$
3. 联立两步的结果，就得到$\sin(\pi/2 - \theta) = \sqrt{1 - \sin^2\theta}$

三、等式成立的条件 #

刚才提到，这个等式只在$\cos\theta \geq 0$时成立，对应的θ取值范围是：
$$\theta \in \left[-\frac{\pi}{2} + 2k\pi, \frac{\pi}{2} + 2k\pi\right], \quad k \in \mathbb{Z}$$
如果θ不在这个区间内，$\cos\theta < 0$，此时左边$\sin(\pi/2 - \theta) = \cos\theta$为负数，而右边的平方根结果为正数，等式就不成立了。

内容的提问来源于stack exchange，提问作者user400255