2

自己紹介&自作問題の紹介①

175
0

自己紹介

こんにちは。Uirou(ういろう)といいます。来年度から高2になる者です。競技数学を一年くらい前に始めました。今年はJMO予選通過できなかったですが、来年はJMO本選に行きたいと思っています。好きな分野は整数論と初等幾何で、最近は船旅とMONTを使って勉強を進めています。これから、自作問題や面白いと思った数学の話題について記事を書いていこうと考えています。お見知りおきを。

自作問題

正の整数nについて、有理式fn(x)が以下のように定義されます。
{f1(x)=xfn+1(x)=3fn(x)fn(x)313fn(x)2 (nN)
このとき、方程式f2024(x)=1相異なる実数解の個数を求めよ。

解答解説までに余白があります。

解答解説

かなり恣意的に作られた感がありますね。式が複雑で、このままでは一般項が求められるか怪しいですね。こういう時は何かの文字で置換してみると上手くいったりします。どのように置換するかは個人の好みがあると思いますが、私は今、x=tanθと置換したいなーという気分です。では、x=tanθと置換してみましょう。突然ですが、次の補題が成立します。

(正接の3倍角の公式)

tan3θ=3tanθtan3θ13tan2θ が成立する。

tan3θ=tan(θ+2θ)とすれば、正接の加法定理と2倍角の公式から直ちに導かれる。具体的な計算は略。

問題の漸化式と形がとても似ていますね。補題1から、次の補題2が容易に導かれます。

x=tanθとすると、fn(x)=tan3n1θとなる。

帰納法を用いる。
(i)n=1の時 仮定より明らかに成立。
(ii)n=kの時、成立すると仮定する。仮定より、fk(x)=tan3k1θ
よって、補題1よりfk+1(x)=3tan3k1θtan33k1θ13tan23k1θ=tan3kθ
したがってn=k+1の時も成立する。
∴(i)(ii)より、題意は示された。

では、本題に戻りましょう。x=tanθ(0θ<π)とすると、
補題2より、f2024(x)=tan32023θ=1
よって、tan32023θ=1,0θ<π より、θ=k3432023π(k=1,2...32023)
仮定より、x=tanθなので、実数解はx=tank3432023π(k=1,2...32023)
特に、回答すべき値は32023

おわりに

いかがでしたでしょうか。tan3θの公式なんてほとんどの人は見たことないでしょうから、割と難しかったのではないでしょうか。ただ、三角関数への置換は高校数学(特に微分積分)や競技数学でもそこそこ見かけるので、奇抜な発想ゲーではなかったと思います。今後も自作問題を投稿していくと思うので、よろしくお願いします。最後までお読みいただきありがとうございました。

投稿日:2024329
更新日:2024330
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Uirou
Uirou
4
287
競技数学の修行中です。今年中に強くなりたいです。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 自己紹介
  2. 自作問題
  3. 解答解説
  4. おわりに