三角関数の問題
正の整数 に対して
とする。 を満たす整数 のうち、 となるものの個数を求めよ。
この問題で使うもの
- 3 倍角の公式(説明と入口の問題)
- 弧度法と単位円による三角関数(説明と入口の問題)
この問題を解けるようになるまで(18 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
3 倍角の公式 を使うと、 は の比で表せる。
ヒント 2
は になる。 が の倍数でなければ、 を で割った余り(またはそれを から引いたもの)は に対して を 1 回ずつとる。
ヒント 3
分子と分母の絶対値は等しいので ( が の倍数なら )。符号は となる の個数で決まる。 を で割った余りで分けて、その個数の偶奇を調べよう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
とおき、 とする。 なので である。
因数の言い換え
加法定理と 2 倍角の公式から得られる 3 倍角の公式 より、 のとき
よって
が の倍数のとき
とすると、 だから が積に含まれ、。よって である。
が の倍数でないとき:絶対値
各 に対し、 を で割った余りを とし、 とおく。 は の倍数でないので 、また は奇数なので である。 の周期性と より
ここで なら である。実際 なら で、 と は互いに素だから 。ところが , なのでどちらも起こらない。したがって は を並べかえたもので
よって である。
符号
なので、 となるのは 、すなわち のときである。その個数は
で、 となる。
- のとき: より
- のとき: より
( は奇数なので、 の倍数でなければ で割った余りは か である。)
数える
となるのは が奇数のときである。
- で が奇数: より の 個
- で が偶数: より の 個
( のときは が の倍数で 。)
例として のとき となり、上の結果と合う。
よって求める個数は である。
別解
とおく。3 倍角の公式 より、 のとき 。よって 。\n(i) のとき: は を満たし、その項は なので 。\n(ii) のとき: に対し ( は を で割った余りを として または のうち のほう)と書ける。 は の置換である( なら 3 と が互いに素なので 、 で )。したがって で、 の符号は となる の個数の偶奇で決まる()。\n なので、。 でこれを満たす は の 個。 が奇数。\n・: で 3 の倍数、除外。\n・: 、。 が奇数。 より のうち奇数は 17 個。\n・: 、。 が偶数。 より のうち偶数は 17 個。\n合計 。\n検算: のとき で、 の場合と一致。(, ): で 、(): で 。