$\sum_{i=1}^{n} \frac{1}{ma_{i}}+\sum_{i=1}^{n} \frac{1}{a_{i}+a_{i+1}}\geq \sum_{i=1}^{n} \frac{m-1}{(m-1)a_{i}+a_{i+1}}$
- WhjteShadow yêu thích
Gửi bởi demonhunter000 trong 14-01-2013 - 18:15
Gửi bởi demonhunter000 trong 10-01-2013 - 19:56
Gửi bởi demonhunter000 trong 02-01-2013 - 22:28
Gửi bởi demonhunter000 trong 31-12-2012 - 21:30
Gửi bởi demonhunter000 trong 31-12-2012 - 00:05
Gửi bởi demonhunter000 trong 30-12-2012 - 23:58
Đ/số cả là(a,m,n)=(2,3,n) với $n\geq 2$ nữa chứĐề đủ phải là tìm bộ ba số $(a,m,n)$ nguyên dương
Giải như sau:
TH1: $m$ chẵn
$gcd(a+1,a^m+1)=d$ suy ra $a^m-a \vdots d$ hay $a(a^{m-1}-1) \vdots d$ mà $a+1 \vdots d$ nên $gcd(a,d)=1$ do đó $a^{m-1}-1 \vdots d$ suy ra $a^{m-1}-1+a+1 \vdots d \Rightarrow a(a^{m-2}+1) \vdots d$ mà $gcd(a,d)=1$ suy ra $a^{m-2}+1 \vdots d$ cứ làm như vậy $m-2,m-4,....,2$ thì $a^2+1 \vdots d$ khi ấy do $a+1 \vdots d$ suy ra $2 \vdots d \Rightarrow d=1,2$
Nếu $d=1$ suy ra $gcd(a+1,a^m+1)=1$ suy ra $(a+1)^n \vdots a^m+1$ khi $a^m+1=1$ vô lí
Nếu $d=2$ suy ra $a^m+1=2^x$ vì ngụơc lại suy ra $a^m+1=2^x.l$ với $l$ lẻ mà $gcd(a+1,a^m+1)=2$ nên $a+1 \not \vdots l$ suy ra $(a+1)^n \not \vdots l \not \vdots a^m+1$ vô lí nên $a^m+1=2^x$ do đó $a$ lẻ nên $m$ chẵn thì $a^m+1 \equiv 2 \pmod{4}$ suy ra $x=2$ nên $a=m=1$ vô lí vì $m$ chẵn $m$ lẻ thì $a^m+1=(a+1)(a^{m-1}-a^{m-2}+...+a^2-a+1)$
Thấy $m$ lẻ nên $a^{m-1}-a^{m-2}+...+a^2-a+1$ lẻ (do $a^{m-i}-a^{m-i-1}$ chẵn) khi ấy $a^{m-1}-a^{m-2}+...+a^2-a+1=1$ (do ước lẻ duy nhất của $2^x$ là $1$ khi ấy $a+1=2^x$ nên $a=1$ vì $a>1$ thì $a^{m-1}-a^{m-2}+...+a^2-a+1>1$ vô lí do đó $a=1$ hay $m=1$
Suy ra $(a,m,n)=(1,1,n)$
TH2: $m$ lẻ $m=1$ thì thỏa mãn với mọi $n$ và $a$
$m\geq 3$ thì $m=p.q$ với $p$ nguyên tố
Ta có $(a+1)^n \vdots a^{pq}+1$ và $a^{pq}+1=(a^q+1)((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1)$
Nhận thấy $gcd(a^q+1,(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1)|p$ nên $gcd(a^q+1,(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1)=1,p$
Nếu $gcd((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1,a^q+1)=1$ thì $gcd((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1,a+1)=1$ nên $(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1=1$ (do $(a+1)^n \vdots (a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1$) khi ấy $a^q=0,1$ nên $a=1$ khi ấy $(a,m,n)=(1,m,n)$ với $n\geq m$ còn $gcd((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1,a^q+1)=p$
Khi ấy $a^m+1 \vdots p$ nên $(a+1)^n \vdots p$ nên $a+1 \vdots p$
$\blacksquare$ $q \vdots p$ khi ấy $a^q+1=(a+1)(a^{q-1}-a^{q-2}+...+a^2-a+1)$ do $q \vdots p$ nên $a^{q-1}-a^{q-2}+...+a^2-a+1 \vdots p$ kết hợp $a+1 \vdots p$ suy ra $a^q+1 \vdots p^2$ khi ấy $(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1 \equiv p \pmod{p^2}$ khi ấy $(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1 \vdots p$ mà $\not \vdots p^2$ mặt khác $(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1>p$ nên nó còn một ước nguyên tố $r$ khác $p$ mà $gcd((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1,a^q+1)=p$ nên $gcd((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1,(a+1))=p$ khi ấy $gcd(a+1,r)=1$ như vậy suy ra $(a+1)^n \not \vdots r \not \vdots (a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1$ vô lí
$\blacksquare$ $q \not \vdots p$ khi ấy $a^m+1=a^{pq}+1$
$v_p(a^{pq}+1)=v_p(a^q+1)+v_p(p)=v_p(a+1)+v_p(q)+1=v_p(a+1)+1$ (do $q \not \vdots p$)
$v_p(a^q+1)=v_p(a+1)+v_p(q)=v_p(a+1)$ như vậy $v_p((a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1)=v_p(a^{pq}+1)-v_p(a^q+1)=v_p(a+1)+1-v_p(a+1)=1$
Như vậy $(a^q)^{p-1}-(a^q)^{p-2}+...+(a^q)^2-(a^q)+1 \vdots p$ mà $\not \vdots p^2$ cm tương tự trên nó có một ước $r$ nguyên tố khác cũng suy ra vô lí
Vậy $\boxed{(a,m,n)=(1,m,n)}$ với $m\le n$
Gửi bởi demonhunter000 trong 30-12-2012 - 21:40
Gửi bởi demonhunter000 trong 30-12-2012 - 20:14
Gửi bởi demonhunter000 trong 30-12-2012 - 14:13
Đây là tq của RMO2002.Trong stbđt cx có!Ta còn có bất đẳng thức:
Cho a, b, c là các số không âm thỏa $a + b + c = 3$. CMR: $a^k+b^k+c^k \ge ab + bc + ca$ với mọi $k \ge \frac{{2\ln 3 - 3\ln 2}}{{\ln 3 - \ln 2}}$
Vấn đề này đã được đề cập đến trong 1 tài liệu của anh Cẩn ( BĐT hiện đại hoặc BĐT và những lời giải đẹp... Tớ quên mất rồi :-s )
Gửi bởi demonhunter000 trong 29-12-2012 - 23:27
Gửi bởi demonhunter000 trong 26-12-2012 - 00:45
Gửi bởi demonhunter000 trong 25-12-2012 - 21:08
Gửi bởi demonhunter000 trong 24-12-2012 - 01:48
Community Forum Software by IP.Board
Licensed to: Diễn đàn Toán học