takarin1512

Đặt $t=abc\Rightarrow t\leq \frac{1}{27}$

Bất đắng thức cần chứng minh tương đương $\left ( 1-3abc \right )^3\geq \left ( \frac{8}{3} \right )^3abc\Leftrightarrow \left ( 1-3t \right )^3\geq \left (\frac{8}{3} \right )^3t\Leftrightarrow \frac{1}{27}\left ( 1-27t \right )\left ( 27t^2-26t+27 \right )\geq 0$ (điều này đúng) do đó ta có đpcm.

Theo đề bài, ta có $a_{n+2}=\left \lfloor \frac{2a_{n+1}}{a_n} \right \rfloor+\left \lfloor \frac{2a_{n}}{a_{n+1}} \right \rfloor$$> \frac{2a_{n+1}}{a_n}+\frac{2a_n}{a_{n+1}}-2\geq 4-2=2\Rightarrow$$a_n\geq 3\forall n\geq 3$. Do đó ta có thể xét dãy $\left \{ a_n \right \}$ mới bắt đầu từ $a_3$ của dãy cũ và lúc này $a_n\geq 3 \forall n$.

Giả sử $max\left \{ a_n,a_{n+1} \right \}>5\forall n$

Xét một bộ $\left ( a_n,a_{n+1} \right )$ bất kỳ và giả sử $a_{n+1}\geq a_n$. Ta xét các trường hợp sau:

+Trường hợp 1: $\frac{a_n}{a_{n+1}}<\frac{1}{2}$$\Rightarrow \frac{2a_{n}}{a_{n+1}}<1\Rightarrow \left \lfloor \frac{2a_{n}}{a_{n+1}} \right \rfloor=0$

$a_{n+2}=\left \lfloor \frac{2a_{n+1}}{a_{n}} \right \rfloor+\left \lfloor \frac{2a_{n}}{a_{n+1}} \right \rfloor=\left \lfloor \frac{2a_{n+1}}{a_{n}} \right \rfloor<\frac{2a_{n+1}}{a_{n}}\leq \frac{2a_{n+1}}{2}=a_{n+1}\Rightarrow a_{n+2}< max\left \{ a_n,a_{n+1} \right \}$.

+Trường hợp 2: $\frac{a_{n}}{a_{n+1}}=\frac{1}{2}\Rightarrow a_{n+2}=5 < max\left \{ a_n,a_{n+1} \right \}$.

+Trường hợp 3: $\frac{1}{2}<\frac{a_{n}}{a_{n+1}}<1\Rightarrow \frac{a_{n+1}}{a_n}<2\Rightarrow a_{n+2}=\left \lfloor \frac{2a_{n}}{a_{n+1}} \right \rfloor+\left \lfloor \frac{2a_{n+1}}{a_{n}} \right \rfloor\leq 1+\left \lfloor 2.2 \right \rfloor=5 < max\left \{ a_n,a_{n+1} \right \}$.

+Trường hợp 4: $\frac{a_n}{a_{n+1}}=1\Rightarrow a_{n+2}=4< max\left \{ a_n,a_{n+1} \right \}$.

Vậy với mọi trường hợp thì $a_{n+2}< max\left \{ a_n,a_{n+1} \right \}$. Tương tự ta có $a_{n+3}< max\left \{ a_{n+1},a_{n+2} \right \}\leq max\left \{ a_n,a_{n+1} \right \}\Rightarrow max\left \{ a_{n+2},a_{n+3} \right \}< max\left \{ a_{n},a_{n+1} \right \}$. Điều này mâu thuẫn với giả sử cho nên tồn tại $k$ sao cho $max\left \{ a_k,a_{k+1} \right \}\leq 5$.

Do đó $a_k,a_{k+1}\in \left \{ 3,4,5 \right \}$. Bằng tính toán trực tiếp ta suy ra được từ 9 bộ này luôn suy ra được một trong hai bộ $\left ( 4,3 \right )$ hoặc $\left ( 4,4 \right )$. Như vậy tồn tại $m$ để $a_m=4, a_{m+1}\in \left \{ 3,4 \right \}$.

Bài 4: Bài toán tổng quát: Ở mỗi ô vuông con của một hình vuông $m \times m$, ta ghi một số nguyên từ $1$ đến $m$ sao cho mỗi số từ $1$ đến $m$ được ghi đúng $m$ lần. Chứng minh tồn tại một hàng hoặc một cột chứa $n+1$ số khác nhau với $m,n$ là các số nguyên thỏa mãn $n^2<m$

Ta quy ước điểm của một hàng (hoặc cột) sẽ bằng với số các số nguyên khác nhau mà hàng (hoặc cột) đó chứa. Điểm của một số bằng tổng số hàng và cột chứa số đó. Nhận thấy tổng điểm của các hàng và cột bằng tổng điểm của các số.

Giả sử không tồn tại hàng hoặc cột nào chứa $n+1$ số khác nhau. Do đó tổng điểm của các hàng và các cột không vượt quá $2mn$ điểm.$\left ( 1 \right )$

Xét một số bất kỳ xuất hiện trong $t$ cột, theo nguyên lý Dirichlet, sẽ tồn tại một cột chứa không ít hơn $\frac{m}{t}$ lần số này hay có thể nói có không ít hơn $\frac{m}{t}$ hàng có chứa số đã chọn.

Tổng số cột và hàng chứa số đó $\geq t+\frac{m}{t}\geq 2\sqrt{m}>2n$

Do đó tổng số điểm của của các số $> 2mn$.$\left ( 2 \right )$

$\left ( 1 \right )\left ( 2 \right )$ mâu thuẫn với nhau suy ra điều giả sử sai $\Rightarrow$ đpcm.

Không mất tính tổng quát, giả sử $a\geq b$.

Đặt $a^3+b=2^m, b^3+a=2^n\left ( m\geq n \right )$$\Rightarrow b\equiv -a^3\equiv b^9\left ( mod2^n \right )\Rightarrow 2^n|b^9-b$$\Rightarrow v_2\left ( b \right )+v_2\left ( b^2-1 \right )+v_2\left ( b^2+1 \right )+v_2\left ( b^4+1 \right )\geq n$ (quy ước $v_2\left ( 0 \right )=+\infty$)

Vì $a^3+b, b^3+a$ là các lũy thừa của $2$ cho nên $\left\{\begin{matrix} 3v_2\left ( a \right )=v_2\left ( b \right )\\ 3v_2\left ( b \right )=v_2\left ( 2 \right ) \end{matrix}\right.\Rightarrow v_2\left ( a \right )=v_2\left ( b \right )=0$ hay $a,b$ lẻ.

Vì $b$ lẻ cho nên $v_2\left ( b \right )=0, v_2\left ( b^2+1 \right )=v_2\left ( b^4+1 \right )=1\Rightarrow 2+v_2\left ( b^2-1 \right )\geq n\Rightarrow b^3+a|4\left ( b^2-1 \right )$

Nếu $b=1$;

$2^m=a^3+1=\left ( a+1 \right )\left ( a^2-a+1 \right )$, mà $a^2-a+1$ lẻ suy ra $a^2-a+1=1\Rightarrow a=1$

Nếu $b\geq 3$$\Rightarrow 4\left ( b^2-1 \right )\geq b^3+a\geq b^3+b$. Giải bất phương trình ta được $b=3$$\Rightarrow 5\geq a\geq b=3$. Thử lại ta chọn được $\left ( a,b \right )=\left ( 5,3 \right )$

Vậy các cặp $\left ( a,b,c \right )$ thỏa mãn là $\left ( 1,1,2 \right ),\left ( 5,3,12 \right )$

Giả sử không chọn được nhóm 6 bạn thỏa mãn yêu cầu bài toán.

Ta đánh số thứ tự cho các bạn nam từ $1$ đến $15$ theo chiều kim đồng hồ, gọi $x_i$ là số bạn nữ giữa bạn nam thứ $i$ và $i+1 \left ( 1\leq i\leq 14 \right )$ và $x_{15}$ là số bạn nữ giữa bạn nam thứ $15$ và thứ $1$.

Ta có $\sum_{1}^{15}x_i=15$

Điều kiện để chọn ra nhóm 6 bạn ngồi cạnh nhau mà thỏa mãn điều kiện bài toán là tồn tại $i$ sao cho $x_i+x_{i+1}\leq 3$ và trong hai số $x_{i-1}, x_{i+2}$ luôn có một số mà tổng nó với $x_i, x_{i+1}$ không nhỏ hơn 3.

Nếu trong $x_i$ tồn tại một số không nhỏ hơn 3, giả sử $x_1\geq 3$, nếu $x_2+x_3\leq 3$ thì ta chọn được bạn nam số $2,3,4$ (vô lý); do đó $x_2+x_3\geq 4$, nếu $x_3+x_4\geq 3$ thì ta chọn được bạn nam số $3,4,5$ (vô lý), do đó $x_3+x_4\geq 4$, cứ làm như vậy ta được $x_i+x_{i+1}\geq 4\left ( 2\leq i\leq 14 \right )$, suy ra $\sum_{1}^{15}x_i=x_1+\left ( x_2+x_3 \right )+...+\left ( x_{14}+x_{15} \right )\geq 3+7.4>15$ (vô lý).

Do đó $x_i$ chỉ nhận các giá trị $0,1,2$, nếu $x_i=1$ với mọi $i$ thì ta điều giả sử vô lý do đó trong $x_i$ có ít nhất 1 số bằng $0$ và 1 số bằng $2$.

Ta viết dãy $x_i$ thành dãy 15 số $0,1,2$, nhận thấy số số 0 phải bằng số số 2.

Vì có ít nhất một số 2 nên không mất tính tổng quát giả sử số đầu tiên là 2, nếu có tồn tại hai số 1 và 2 hoặc hai số 2 nằm liên tiếp nhau thì ta có thể chọn được các bạn thỏa mãn bài toán (vô lý với giả sử) nên ta với mỗi số 2 thì hai bên cạnh nó phải là hai số 0. Do đó số số 0 nhiều hơn số số 2(vô lý)(số số 0 bằng số số 2 chỉ trong trường hợp dãy có chẵn số và các số 2, 0 xếp xen kẽ nhau nhưng dãy có 15 số nên điều này không xảy ra được).

Vậy điều giả sử sai, luôn chọn được nhóm 6 bạn thỏa mãn yêu cầu bài toán.

$\left\{\begin{matrix} 5x^2+2y^2+z^2=2\\ xy+yz+zx=1 \end{matrix}\right.\Rightarrow 5x^2+2y^2+z^2=2\left ( xy+yz+zx \right )\Leftrightarrow \left ( 2x-y \right )^2+\left ( x+y-z \right )^2=0\Rightarrow \left\{\begin{matrix} y=2x\\ z=3x \end{matrix}\right.$

Thay lại vào phương trình đầu ta được $22x^2=2\Rightarrow x=\pm \frac{1}{\sqrt{11}}\Rightarrow \left ( x,y,z \right )=\left (-\frac{1}{\sqrt{11}}, -\frac{2}{\sqrt{11}}, -\frac{3}{\sqrt{11}} \right ), \left (\frac{1}{\sqrt{11}}, \frac{2}{\sqrt{11}}, \frac{3}{\sqrt{11}} \right )$

Vì đa thức $F\left ( x \right )$ có 4 nghiệm âm nên ta có thể viết $F\left ( x \right )=\left ( x+x_1 \right )\left ( x+x_2 \right )\left ( x+x_3 \right )\left ( x+x_4 \right )\left ( x_1, x_2, x_3, x_4 >0 \right )\Rightarrow x_1x_2x_3x_4=k^4$

$F\left ( p \right )=\left ( p+x_1 \right )\left ( p+x_2 \right )\left ( p+x_3 \right )\left ( p+x_4 \right )\geq \left ( p+\sqrt[4]{x_1x_2x_3x_4} \right )^4=\left ( p+k \right )^4$

Bài 1:

Theo đề bài thì tổng 5 số nguyên liên tiếp trong 2017 số đó phải là số lẻ , xét $1\leq i\leq 2017$, nếu $n_i$ và $n_{i+5}$ khác tính chẵn lẻ thì $n_i+n_{i+1}+n_{i+2}+n_{i+3}+n_{i+4}, n_{i+1}+n_{i+2}+n_{i+3}+n_{i+5}$ khác tính chẵn lẻ, vô lý do đó $n_i$ và $n_{i+5}$ cùng tính chẵn lẻ, từ $\left ( 5,2017 \right )=1$ suy ra 2017 số nguyên trên cùng tính chẵn lẻ. Mà tổng của 5 số liên tiếp bất kỳ là lẻ nên 2017 số này đều là số lẻ.

Ta thay bộ $ n_i$ thành bộ  $\frac{n_i-27}{2} $, vì $n_i$ là các số lẻ cho nên $\frac{n_i-29}{2}+1$ cũng là các số nguyên, lúc này với 5 số nguyên liên tiếp bất kỳ ta luôn có thể đánh dấu chúng là $a,b,c,d,e$ sao cho $a-b+c-d+e=1$. Chứng minh tương tự ta cũng thu được $\frac{n_i-29}{2}+1$ là các số lẻ, do đó ta thay bộ trên bằng bộ $\frac{\frac{n_i-29}{2}+1+1}{2}=\frac{n_i-29}{2^2}+1$ và với 5 số nguyên liên tiếp ta cũng có thể đánh dấu $a,b,c,d,e$ sao cho $a-b+c-d+e=1$. Cứ tiếp tục như vậy ta chứng minh được $\frac{n_i-29}{2^k}+1\in \mathbb{Z}\Rightarrow \frac{n_i-29}{2^k}\in \mathbb{Z}$, mà $lim\frac{n_i-29}{2^k}=0\Rightarrow \frac{n_i-29}{2^k}=0\Rightarrow n_i=29$

Vậy bộ duy nhất thỏa mãn bài toán là $n_i=29\left ( 1\leq i\leq 2017 \right )$

Cho em hỏi cách này sai chỗ nào ạ

          p là ước nguyên tố của $m^{2}+9$ 

                  => $(\frac{-9}{p})=1$ Mà $(\frac{-9}{p})=(\frac{-1}{p})(\frac{9}{p})$$=(-1)^{\frac{p-1}{2}}.1=1$

                       Suy ra $p\equiv 1$ (mod 4) 

                      Nhưng mà em thấy nó không đúng Vì p có thể bằng 3 

Ở chỗ này bạn chỉ được dùng công thức $\left ( \frac{ab}{p} \right )=\left ( \frac{a}{p} \right )\left ( \frac{b}{p} \right )$ khi $p$ là số nguyên tố lẻ và $a,b$ không chia hết cho $p$, ở đây nghĩa là $p> 3$ 

Bài 37:  Cho a,b,c thuộc đoạn [-2;3] và a+b+c=2. CMR:

 

\[{a^2} + {b^2} + {c^2} \le 14\]

Không mất tỉnh tổng quát, giả sử $-2\leq a\leq b\leq c\leq 3$.

Ta có $a^2+b^2+c^2=c\left ( c-b \right )+\left ( c+b \right )\left ( b-a \right )+\left ( a+b+c \right )a\leq 3\left ( c-b \right )+4\left ( b-a \right )+2a=3c+b-2a=2+2c-3a\leq 2+6-\left ( -6 \right )=14$

Đẳng thức xảy ra khi $\left ( a,b,c \right )=\left ( -2;1;3 \right )$ và các hoán vị của chúng.

Điều kiện xác định $x\neq -6;y\neq \frac{-9}{5}$

$\left\{\begin{matrix} x+y=3-xy\left ( 1 \right )\\ \frac{4}{5y+9}+\frac{4}{x+6}+\frac{1}{1+\left ( x+1 \right )\left ( y+2 \right )}=\frac{x+1}{2}\left ( 2 \right ) \end{matrix}\right.$

Từ $\left ( 1 \right )$, ta có $\left ( x+1 \right )\left ( y+2 \right )=x+5$ và $\left ( 5y+9 \right )\left ( x+1 \right )=4x+24\Rightarrow \frac{1}{5y+9}=\frac{x+1}{4x+24}$

Thay vào $\left ( 2 \right )$, ta được $\frac{x+1}{x+6}+\frac{4}{x+6}+\frac{1}{x+6}=\frac{x+1}{2}\Rightarrow x=1\Rightarrow y=1$. 

Thử lại thấy nghiệm $\left ( x,y \right )=\left ( 1,1 \right )$ thỏa mãn hệ.

Với $n=1$, ta chỉ ra được $m=1$ thỏa mãn, với $n=2$, ta chỉ ra được $m=7$ thỏa mãn.

Giả sử tồn tại $m$ thỏa mãn đến $n=k$, ta chứng minh tồn tại $m$ thỏa mãn với $n=k+1$.

Gọi $m_0$ là số thỏa mãn $3^k|m_0^3+1$. Ta xét 3 trường hợp:

Trường hợp $i$: $3^{k+1}|m_0^3+17$, ta kết luận $m_0$ là số cần tìm.

Trường hợp $ii$: $m_0^3+17\equiv 3^k\left ( mod3^{k+1} \right )$, ta chọn $m_1=m_0+3^{k-1}$

Ta có $m_1^3+17=\left ( m_0^3+17 \right )+3^km_0^2+3^{2k-1}m_0\equiv 2.3^k\left ( mod3^{k+1} \right )$( vì $m_0^2\equiv 1\left ( mod3 \right )$)

Sau đó ta tiếp tục chọn được $m_2=m_1+3^{k-1}\Rightarrow m_2^3+17\equiv 0\left ( mod3^{k+1} \right )$, suy ra $m_2$ là số cần tìm.

Trường hợp $iii$: $m_0^3+17\equiv 2.3^k\left ( mod3^{k+1} \right )$, ta cũng chọn tương tự trường hợp $ii$.

Vậy theo nguyên lý quy nạp, với mọi $n$ luôn tồn tại số $m$ thỏa mãn.

Trong một cuộc thi, các thí sinh được đề nghị giải quyết $6$ bài toán. Kết thúc cuộc thi, người ta nhận thấy rằng

$i$. Mỗi bài toán được giải quyết bởi đúng $100$ học sinh

$ii$. Với mỗi cặp hai thí sinh, có nhiều nhất là $5$ bài toán được giải quyết bởi cả hai

Tìm số ít nhất thí sinh tham dự kỳ thi này.

Đồng Nai 2015 version IMO 2001

Gọi số học sinh tham gia là $n$. Ta xét bảng có $6$ cột tương ứng với $6$ bài toán và $n$ hàng tương ứng với $n$ học sinh, nếu học sinh $i\left ( i=\overline{1,n} \right )$ không làm được bài toán $j\left ( j=\overline{1,6} \right )$ thì ta đánh dấu $x$ vào ô vuông tạo bởi hàng $i$ và cột $j$.

Vì hai học sinh bất kỳ không giải quyết được quá $5$ bài toán chung nên sẽ không có quá một sinh giải quyết được cả $6$ bài toán. Do đó sô dấu $x$ không nhỏ hơn $n-1$.

Mặt khác, vì mỗi bài toán được giả quyết bới $100$ học sinh nên sô dấu $x$ sẽ là $6\left ( n-100 \right )$

Ta có $6\left ( n-100 \right )\geq n-1\Rightarrow n\geq 120$.

Ta chỉ ra trường hợp $n=120$ thỏa mãn bằng cách cho mỗi bạn giải quyết được đúng $5$ bài. Vậy sô học sinh ít nhất tham gia kỳ thi là $120$ bạn.

p/s: sr, bài hôm qua mình làm bị nhầm 

Bài 5:
Đặt $n=2^st$(t lẻ).

Xét hệ phương trình $\left\{\begin{matrix} x\equiv -2 \left ( mod2^{s+1} \right )\\\ x\equiv 3\left ( modt \right ) \end{matrix}\right.$. Theo định lý hệ thặng dư Trung Hoa, phương trình này có nghiệm $x_1$, dễ thẫy $x_1$ chẵn, đặt $x_0=\frac{x_1}{2}\Rightarrow x_0\equiv -1\left ( mod2^s \right )$.

Tương tự xét hệ phương trình $\left\{\begin{matrix} y\equiv 1\left ( modt \right )\\ y\equiv 0\left ( mod2^{s+1} \right ) \end{matrix}\right.$ có nghiệm $y_1$ chẵn, đặt $y_0=\frac{y_1}{2}\Rightarrow y_0\equiv 0\left ( mod2^s \right )$

Ta có $2x_0-6y_0\equiv 3-3.1=0\left ( modt \right )\Rightarrow x_0-3y_0\equiv 0\left ( modt \right )$

Ta chứng minh $x_0,y_0$ là các số phải tìm. Thật vậy $2^s|\left ( x_0+1 \right )\left ( x_0^2-x_0+1 \right )-35y_0^3=x_0^3-35y_0^3+1$, lại có $\left ( x_0-3y_0 \right )\left ( x_0^2+3x_0y_0+9y_0^3 \right )-\left ( 2y_0-1 \right )\left ( 4y_0^2+2y_0+1 \right )=x_0^3-35y_0^3+1$, mà $gcd\left ( 2^s,t \right )=1\Rightarrow n|x_0^3-35y_0^3+1$

]Nếu $a_1\equiv 0\left ( mod3 \right )\Rightarrow a_1^2+1\equiv 1\left ( mod3 \right )\Rightarrow a_2\equiv 1\left ( mod3 \right )\Rightarrow a_3\equiv 2\left ( mod3 \right )$. Nếu $a_1\equiv 1\left ( mod3 \right )\Rightarrow a_2\equiv 2\left ( mod3 \right )$. Lại có nếu $a_i\equiv 2\left ( mod3 \right )\Rightarrow a_{i+1}\equiv 2\left ( mod3 \right )$. Do đó với mọi số $a_1$ cho trước thì với $n\geq 3$ thì $a_n\equiv 2\left ( mod3 \right )$.

Ta xét các tường hợp sau:
Nếu $a_i\geq 100$, gọi số chũ số của $a_i$ là $m\left ( m\geq 3 \right )$, ta có số chữ số của $a_i^2+1$ nhỏ hơn $2m$, suy ra $a_{i+1}\leq 18m$, mà $a_i\geq 10^{m-1}$. Với $m\geq 3$, ta có $10^{m-1}>18m\Rightarrow a_i > a_{i+1}$

Nếu $36\leq a_i\leq 100$ thì $a_i^2+1$ có $4$ chữ số, suy ra $a_{i+1} < 9.4=36\leq a_i$

Nếu $28\leq a_i\leq 35$ thì $a_i^2+1$ có dạng $\overline{1x_1x_2x_3}$ hoặc $\overline{x_1x_2x_3}$ cho nên $a_{i+1}<3.9+1=28\leq a_i$

Do đó $\exists n_1/\forall n\geq n_1$ thì $a_n\leq 27$ và $a_n\equiv 2\left ( mod3 \right )$. Ta xét sơ đồ sau:

Vậy dãy sẽ luôn tuần hoàn các gía trị $5,8,11$, tức là $k=3$.