Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
Ta làm bài tổng quát như sau:
Cho \(u_n=\left(2+\sqrt{3}\right)^n+\left(2-\sqrt{3}\right)^n\) chứng minh \(u_n\)là số tự nhiên chẵn với mọi n là số nguyên dương. (1)
Đặt \(\hept{\begin{cases}2+\sqrt{3}=x\\2-\sqrt{3}=y\end{cases}}\)
\(\Rightarrow u_n=x^n+y^n\)
\(\Rightarrow\hept{\begin{cases}x+y=4\\xy=1\end{cases}}\)
\(\Rightarrow\hept{\begin{cases}u_1=4\\u_2=14\end{cases}}\)
Xét \(n=1;2\) thì (1) đúng.
Giả sử (1) đúng đến \(n=k\) .
Ta chứng minh (1) đúng với \(n=k+1\)
Ta có:
\(\Rightarrow u_{k+1}=x^{k+1}+y^{k+1}=\left(x+y\right)\left(x^k+y^k\right)-xy\left(x^{k-1}+y^{k-1}\right)=4u_k-u_{k-1}\) là số nguyên dương chẵn.
Vậy theo quy nạp ta có (1) đúng.
Áp dụng vào bài toán ta có điều phải chứng minh.
đặt \(a=5+2\sqrt{6}\).ta sẽ chứng minh với dạng tổng quát \(\left[a^n\right]\)là 1 số tự nhiên lẻ.
ta có: \(a^n=\left(5+2\sqrt{6}\right)^n=x+y\sqrt{6}\)(x,y là các số tự nhiên) (*)
đặt \(b=5-2\sqrt{6}\Rightarrow b^n=x-y\sqrt{6}\)
\(\Rightarrow a^n+b^n=2x\)
mà \(0< b=5-2\sqrt{6}< 1\)
\(\Rightarrow0< b^n< 1\)
\(\Rightarrow2x-1< a^n=2x-b^n< 2x\)
nên \(\left[a^n\right]=2x-1\)lẻ vì x nguyên.
p/s:(*) : thử \(\left(5+2\sqrt{6}\right)^2,\left(5+2\sqrt{6}\right)^3\)đều có dạng \(A+B\sqrt{6}\)
Nhận thấy bất kì binh phương số nào chia cho 7 chỉ có thể dư 0,1,6 (có thể đặt 7k+1;7k+2... để CM)
TH1: Nếu có bất kì số chia hết cho 7 thì hiển nhiên chia hết cho 7
TH2: Nếu ko có số nào chia hết cho 7, theo Dirichlet thì chắc chắn trong a^2,b^2,c^2 có 2 số cùng số dư khi chia cho 7 nên 1 trong 3 (a^2-b^2)... sẽ có 1 số chia hết cho 7 -> chia hết cho 7
Vì 7 là số nguyên tố
nên a^7-a chia hết cho 7
a^7-a=a(a^6-1)
=a(a^2-1)(a^4+a^2+1)
=a(a-1)(a+1)(a^4+a^2+1)
a;a-1;a+1 là 3 số liên tiếp
=>a(a-1)(a+1) chia hết cho 3!=6
=>a(a-1)(a+1)(a^4+a^2+1) chia hết cho 6
=>a^7-a chia hết cho 6
mà a^7-a chia hết cho 7
nên a^7-a chia hết cho BCNN(6;7)=42
=>\(a^7\equiv a\left(mod42\right)\)