◆大阪府 macsyma2e さんからの解答。
各項は非負実数なので、
| 4an+1+3bn+1-5 |
=| 10-15 |× | | 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- )n-1 for all n ...(03) |
同様に
4an+3bn+5 3an-4bn | =( -2 )×( 2+ )n-1 for all n ...(04) |
(03)(04)から、
an= | 4 5 | × | 4(2+)n-1-(2-)n-1-3 4(2+)n-1+(2-)n-1 | and |
bn= | 1 5 | × | 12(2+)n-1-3(2-)n-1+16 4(2+)n-1+(2-)n-1 | for all n. |
◆出題者のコメント
ねたばらしをしますと、θn を
tanθn = | (2-)n 2 |
を満たす鋭角、 |
φを tanφ= | 3 4 |
を満たす鋭角として |
an = cos(2θn+φ), bn = sin(2θn+φ)
でした。