已知 ,如果
则所有符合要求的角 构成的集合为
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
集合相等不表示按书写顺序逐项相等,所以先列两种可能的配对,单元素退化情形也包含其中。
每种配对都要同时满足两条三角等式;用二倍角公式化成正弦、余弦的因式,再求交集而非把单条方程的解直接合并。
两个至多含两元素的集合相等,必能按下列两种配对之一对应; 若集合只有一个元素,两种配对均不造成漏解。
若 且 , 则 ,进而 ,矛盾。
若 且 , 则分别等价于
若 ,则 ,第一式又迫使 ,矛盾。 故只能 ,即 。
反之, 时左右两集合均为 ,确实成立。 所以所求集合为 。
两元素集合相等并不保证原位置逐项相等,须列尽两种配对并处理可能的单元素退化;每组再用倍角关系和零因子分类筛角,最后反验集合本身。
已记下,谢谢!