>>719 「三角方程式」は、「三角関数を含む方程式」と言う意味だが、
「三角不等式」とは、三角形の辺長に関する条件式のことで、「三角関数を含む不等式」には使わない。
だから、sinθ、1、cos^2θを三辺とする三角不等式は、sinθを真ん中に持ってくると、
cos^2θ + 1 > sinθ > |cos^2−1|
となる。左側は自明だから、右側 sinθ > |cos^2−1| が、この場合の三角不等式
意味を履き替えて使っていると言うことが解っているから、「のりつっこみ」なんだろ。