解: \(\sin^4 x + \cos^4 x\) の最小値を見つけるために、まずこの式をより簡単な形に表現することから始めます。次の恒等式を使用します:
["# 解: (\sin^4 x + \cos^4 x) の最小値を求める", "三角関数の式 (\sin^4 x + \cos^4 x) の最小値を求める際、直接最小化するよりも、まず式を簡潔な形に変形することが重要です。このアプローチは、複雑な式の極値を効率よく見つける鍵となります。ここでは、正弦と余弦の基本的な三角恒等式を活用し、式をより簡単で操作しやすい形にしています。", "---", "## 式の変形 — 基本的な三角恒等式の利用", "まず、次のように2乗の和を変形します。", "[\n\sin^4 x + \cos^4 x = (\sin^2 x)^2 + (\cos^2 x)^2\n]", "ここで、恒等式\n[\na^2 + b^2 = (a + b)^2 - 2ab\n]\nを適用します。$a = \sin^2 x), $b = \cos^2 x$ とすると、", "[\n\sin^4 x + \cos^4 x = (\sin^2 x + \cos^2 x)^2 - 2\sin^2 x \cos^2 x\n]", "---", "### (\sin^2 x + \cos^2 x) が1であるという基本恒等式を適用", "[\n\sin^2 x + \cos^2 x = 1\n]", "よって、", "[\n\sin^4 x + \cos^4 x = 1^2 - 2\sin^2 x \cos^2 x = 1 - 2\sin^2 x \cos^2 x\n]", "---", "### さらに三角の倍角公式を適用して簡略化", "積の形の (\sin^2 x \cos^2 x) を変形するために、倍角公式 (\sin 2x = 2\sin x \cos x) を利用します。両辺を2乗すると、", "[\n\sin^2 2x = 4 \sin^2 x \cos^2 x \quad \Rightarrow \quad \sin^2 x \cos^2 x = \frac{1}{4} \sin^2 2x\n]", "これを代入すると、", "[\n\sin^4 x + \cos^4 x = 1 - 2 \cdot \frac{1}{4} \sin^2 2x = 1 - \frac{1}{2} \sin^2 2x\n]", "---", "## 式の最小値を求める", "式は現在、", "[\n\sin^4 x + \cos^4 x = 1 - \frac{1}{2} \sin^2 2x\n]", "ここで、(\sin^2 2x) の範囲は0から1の間、すなわち\n[\n0 \leq \sin^2 2x \leq 1\n]", "したがって、(\frac{1}{2} \sin^2 2x) の極値は0と(\frac{1}{2})を取り、それを引くため、式の最大値は\n[\n1 - 0 = 1\n]\n（(2x = \frac{\pi}{2} + k\pi)のとき、(\sin 2x = \pm 1)）\n最小値は\n[\n1 - \frac{1}{2} \cdot 1 = \frac{1}{2}\n]\n(\sin^2 2x = 1) のとき達成されます。", "---", "## 結論 — 最小値は (\frac{1}{2})。その理由", "[\n\sin^4 x + \cos^4 x = 1 - \frac{1}{2}\sin^2 2x\n]", "(\sin^2 2x) の最小値は0であるため、式の最小値は\n[\n1 - \frac{1}{2} \cdot 1 = \frac{1}{2}\n]", "この最小値は (\sin^2 2x = 1)、すなわち (2x = \frac{\pi}{2} + k\pi)（$k \in \mathbb{Z}$）のときに達成され、たとえば (x = \frac{\pi}{4} + \frac{k\pi}{2}) で得られます。", "---", "## まとめ", "(\sin^4 x + \cos^4 x) の最小値は (\frac{1}{2}) であり、これは三角恒等式と倍角公式を巧みに用いることで簡単かつ明確に導けます。この変形により、複雑な4乗和を低次の三角関数 expression に変換し、最小値の候補を視覚的に見つけやすくなります。このスキルは、三角関数の最適化問題を解く際の基礎となる重要なテクニックです。"]
