◆大阪府 macsyma2e さんからの解答。
各項は非負実数なので、
| 4an+1+3bn+1-5 |
=| 10![]() |
| 4an+3bn-5 | 12an+9bn+10 ![]() |
≦|1- | ![]() 2 | | | ×| 4an+3bn-5 | for all n and | | 1- | ![]() 2 | |<1 |
ゆえ、
4an+3bn→5 as n→∞ ...(01).
同じく、
| 3an+1-4bn+1 |
=| 5![]() |
| 3an-4bn | 12an+9bn+10 ![]() |
≦| | 1 2 | | | ×| 3an-4bn | for all n and | | | 1 2 | |<1 |
ゆえ、
3an-4bn→0 as n→∞ ...(02).
(01)(02)から、
an→ | 4 5 | and bn→ | 3 5 | as n→∞. |
◆大阪府 macsyma2e さんからの解答。
【追加問題】
上記の「同じく」の等式と 3a1-4b1≠0 とから、帰納的に
3an-4bn≠0 for all n
ゆえ、
4an+1+3bn+1-5 3an+1-4bn+1 | =( 2-![]() |
4an+3bn-5 3an-4bn | for all n |
4an+3bn-5 3an-4bn | = | 1 2 | ×( 2-![]() |
同様に
4an+3bn+5 3an-4bn | =( -2 )×( 2+![]() |
(03)(04)から、
an= | 4 5 | × | 4(2+![]() ![]() 4(2+ ![]() ![]() | and |
bn= | 1 5 | × | 12(2+![]() ![]() 4(2+ ![]() ![]() | for all n. |
◆出題者のコメント
ねたばらしをしますと、θn を
tanθn = | (2-![]() 2 |
を満たす鋭角、 |
φを tanφ= | 3 4 |
を満たす鋭角として |
an = cos(2θn+φ), bn = sin(2θn+φ)
でした。