福田の数学〜九州大学2023年理系第4問〜加法定理が成り立つ関数を調べるPART1 - 質問解決D.B.(データベース)

福田の数学〜九州大学2023年理系第4問〜加法定理が成り立つ関数を調べるPART1

問題文全文(内容文):
$\Large\boxed{4}$ 以下の文章を読んで後の問いに答えよ。
三角関数$\cos x$, $\sin x$については加法定理が成立するが、逆に加法定理を満たす関数はどのようなものがあるだろうか。実数全体を定義域とする実数値関数$f(x)$, $g(x)$が以下の条件を満たすとする。
(A)すべてのx, yについて$f(x+y)$=$f(x)$$f(y)$-$g(x)$$g(y)$
(B)すべてのx, yについて$g(x+y)$=$f(x)$$g(y)$+$g(x)$$f(y)$
(C)$f(0)$$\ne$0
(D)$f(x)$, $g(x)$はx=0で微分可能で$f'(0)$=0, $g'(0)$=1
条件(A), (B), (C)から$f(0)$=1, $g(0)$=0 がわかる。以上のことから$f(x)$, $g(x)$はすべてのxの値で微分可能で、$f'(x)$=$-g(x)$, $g'(x)$=$f(x)$が成立することが示される。上のことから$\left\{f(x)+ig(x)\right\}$$(\cos x-i\sin x)$=1 であることが、実部と虚部を調べることによりわかる。ただし$i$は虚数単位である。よって条件(A), (B), (C), (D)を満たす関数は三角関数$f(x)$=$\cos x$, $g(x)$=$\sin x$であることが示される。
さらに、a, bを実数でb≠0とする。このとき条件(D)をより一般的な(D)', $f(x)$, $g(x)$はx=0で微分可能で$f'(0)$=a, $g'(0)$=b
におきかえて、条件(A), (B), (C), (D)'を満たす$f(x)$, $g(x)$はどのような関数になるか考えてみる。この場合でも、条件(A), (B), (C)から$f(0)$=1, $g(0)$=0が上と同様にわかる。ここで
$p(x)$=$e^{-\frac{a}{b}x}f(\frac{x}{b})$, $q(x)$=$e^{-\frac{a}{b}x}g(\frac{x}{b})$
とおくと、条件(A), (B), (C), (D)において、$f(x)$を$p(x)$に、$g(x)$を$q(x)$におきかえた条件が満たされる。すると前半の議論により、$p(x)$, $q(x)$がまず求まり、このことを用いると$f(x)$=$\boxed{\ \ ア\ \ }$, $g(x)$=$\boxed{\ \ イ\ \ }$が得られる。
(1)下線部①について、$f(0)$=1, $g(0)$=0であることを示せ。
(2)下線部②について、$f(x)$がすべてのxの値で微分可能な関数であり、
$f'(x)$=$-g(x)$となることを示せ。
(3)下線部③について、下線部①、下線部②の事実を用いることにより、
$\left\{f(x)+ig(x)\right\}$$(\cos x-i\sin x)$=1 となることを示せ。
(4)下線部④について、条件(B), (D)において、$f(x)$を$p(x)$に、$g(x)$を$q(x)$におきかえた条件が満たされることを示せ。つまり$p(x)$を$q(x)$が、
(B)すべてのx, yについて、$q(x+y)$=$p(x)$$q(y)$+$q(x)$$p(y)$
(D)$p(x)$, $q(x)$はx=0 で微分可能で$p'(0)$=0, $q'(0)$=1
を満たすことを示せ。また空欄$\boxed{\ \ ア\ \ }$, $\boxed{\ \ イ\ \ }$に入る関数を求めよ。

2023九州大学理系過去問
単元: #数Ⅱ#大学入試過去問(数学)#三角関数#微分法と積分法#加法定理とその応用#微分とその応用#微分法#学校別大学入試過去問解説(数学)#数学(高校生)#九州大学#数Ⅲ
指導講師: 福田次郎
問題文全文(内容文):
$\Large\boxed{4}$ 以下の文章を読んで後の問いに答えよ。
三角関数$\cos x$, $\sin x$については加法定理が成立するが、逆に加法定理を満たす関数はどのようなものがあるだろうか。実数全体を定義域とする実数値関数$f(x)$, $g(x)$が以下の条件を満たすとする。
(A)すべてのx, yについて$f(x+y)$=$f(x)$$f(y)$-$g(x)$$g(y)$
(B)すべてのx, yについて$g(x+y)$=$f(x)$$g(y)$+$g(x)$$f(y)$
(C)$f(0)$$\ne$0
(D)$f(x)$, $g(x)$はx=0で微分可能で$f'(0)$=0, $g'(0)$=1
条件(A), (B), (C)から$f(0)$=1, $g(0)$=0 がわかる。以上のことから$f(x)$, $g(x)$はすべてのxの値で微分可能で、$f'(x)$=$-g(x)$, $g'(x)$=$f(x)$が成立することが示される。上のことから$\left\{f(x)+ig(x)\right\}$$(\cos x-i\sin x)$=1 であることが、実部と虚部を調べることによりわかる。ただし$i$は虚数単位である。よって条件(A), (B), (C), (D)を満たす関数は三角関数$f(x)$=$\cos x$, $g(x)$=$\sin x$であることが示される。
さらに、a, bを実数でb≠0とする。このとき条件(D)をより一般的な(D)', $f(x)$, $g(x)$はx=0で微分可能で$f'(0)$=a, $g'(0)$=b
におきかえて、条件(A), (B), (C), (D)'を満たす$f(x)$, $g(x)$はどのような関数になるか考えてみる。この場合でも、条件(A), (B), (C)から$f(0)$=1, $g(0)$=0が上と同様にわかる。ここで
$p(x)$=$e^{-\frac{a}{b}x}f(\frac{x}{b})$, $q(x)$=$e^{-\frac{a}{b}x}g(\frac{x}{b})$
とおくと、条件(A), (B), (C), (D)において、$f(x)$を$p(x)$に、$g(x)$を$q(x)$におきかえた条件が満たされる。すると前半の議論により、$p(x)$, $q(x)$がまず求まり、このことを用いると$f(x)$=$\boxed{\ \ ア\ \ }$, $g(x)$=$\boxed{\ \ イ\ \ }$が得られる。
(1)下線部①について、$f(0)$=1, $g(0)$=0であることを示せ。
(2)下線部②について、$f(x)$がすべてのxの値で微分可能な関数であり、
$f'(x)$=$-g(x)$となることを示せ。
(3)下線部③について、下線部①、下線部②の事実を用いることにより、
$\left\{f(x)+ig(x)\right\}$$(\cos x-i\sin x)$=1 となることを示せ。
(4)下線部④について、条件(B), (D)において、$f(x)$を$p(x)$に、$g(x)$を$q(x)$におきかえた条件が満たされることを示せ。つまり$p(x)$を$q(x)$が、
(B)すべてのx, yについて、$q(x+y)$=$p(x)$$q(y)$+$q(x)$$p(y)$
(D)$p(x)$, $q(x)$はx=0 で微分可能で$p'(0)$=0, $q'(0)$=1
を満たすことを示せ。また空欄$\boxed{\ \ ア\ \ }$, $\boxed{\ \ イ\ \ }$に入る関数を求めよ。

2023九州大学理系過去問
投稿日:2023.06.12

<関連動画>

【数Ⅱ】【三角関数】三角関数の合成1 ※問題文は概要欄

アイキャッチ画像
単元: #数Ⅱ#三角関数#加法定理とその応用#数学(高校生)
教材: #4S数学#4S数学Ⅱ+BのB問題解説(新課程2022年以降)#三角関数#中高教材
指導講師: 理数個別チャンネル
問題文全文(内容文):
0$\leqq$x$\lt$2πのとき、次の方程式を解け。
(1) $sinx+\sqrt{3}cosx=-1$
(2) $2(sinx-cosx)=\sqrt{6}$
(3) $\sqrt{3}sin2x-cos2x=-\sqrt{2}$
この動画を見る 

cosの和を求める

アイキャッチ画像
単元: #数Ⅱ#三角関数#加法定理とその応用#数学(高校生)
指導講師: 鈴木貫太郎
問題文全文(内容文):
$\cos \dfrac{\pi}{7}-\cos \dfrac{2\pi}{7}+\cos \dfrac{3\pi}{7}$を求めよ
この動画を見る 

2倍角の公式を導く!!(数II)

アイキャッチ画像
単元: #数Ⅱ#三角関数#加法定理とその応用#数学(高校生)
指導講師: 数学を数楽に
問題文全文(内容文):
2倍角の公式の証明
以下を求めよ。
$\sin2\alpha=??$
$\cos2\alpha=??$
$\tan2\alpha=??$
この動画を見る 

円周率の証明問題【2010年大分大学】

アイキャッチ画像
単元: #数Ⅱ#大学入試過去問(数学)#三角関数#加法定理とその応用#学校別大学入試過去問解説(数学)#大分大学#数学(高校生)
指導講師: 数学・算数の楽しさを思い出した / Ken
問題文全文(内容文):
円周率$\pi$に関して次の不等式が成立することを証明せよ。
ただし、数値$\pi=3.141592・・・$を使用して直接比較する解答は0点とする。

$3\sqrt6-3\sqrt2<\pi<24-12\sqrt3$

2010大分大過去問
この動画を見る 

福田の数学〜早稲田大学2022年商学部第3問〜空間図形の計量

アイキャッチ画像
単元: #数A#数Ⅱ#大学入試過去問(数学)#図形の性質#図形と方程式#三角関数#円と方程式#加法定理とその応用#学校別大学入試過去問解説(数学)#空間における垂直と平行と多面体(オイラーの法則)#早稲田大学#数学(高校生)
指導講師: 福田次郎
問題文全文(内容文):
座標空間において、2つの円$C_1,\ C_2$を
$C_1=\left\{(x,y,0)\ | \ x^2+y^2=1\right\},\ C_2=\left\{(0,y,z)\ | \ (y-1)^2+z^2=1\right\}$
とする。次の設問に答えよ。
(1)$C_1$上の2点と$C_2$上の点(0,1,1)を頂点とする正三角形を考える。
このような正三角形の一辺の長さをすべて求めよ。
(2)すべての頂点がC_1∪C_2上にある正四面体を考える。
このような正四面体の一辺の長さをすべて求めよ。

2022早稲田大学商学部過去問
この動画を見る 
Back to top