Cho a1,, a2, a3, ... , a2014 là các số tự nhiên thoả mãn \(\frac{1}{a_1}+\frac{1}{a_2}+\frac{1}{a_3}+...+\frac{1}{a_{2014}}=1\).
Chứng minh rằng tồn tại ít nhất một số ak là số chẵn thoả mãn \(k\in N;1\le k<2014\).
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.
Giả sử a1, a2, ..., a2017 là 2017 số khác nhau.
Và0 < a1 < a2 ... < a2017
Vì là số nguyên dương nên ta có
\(\frac{1}{a_1}+\frac{1}{a_2}+...+\frac{1}{a_{2017}}\le\frac{1}{1}+\frac{1}{2}+...+\frac{1}{2017}\)
\(< 1+\frac{1}{2}+\frac{1}{2}+...+\frac{1}{2}=1+\frac{2016}{2}=1009\)
Từ đây ta thấy rằng nếu như 2017 số đó là khác nhau thì tổng luôn < 1009 vậy nên để tổng đó bằng 1009 thì phải có ít nhất 2 trong 2017 số đó bằng nhau
có bạn nào làm được bài này theo nguyên lí Đi - rich - lê ko
giả sử trong 36 số tự nhiên đã cho, không có hai số nào bằng nhau. Không mất tính tổng quát, giả sử :
\(a_1< a_2< ...< a_{36}\)
Suy ra : \(a_1\ge1;a_2\ge2;...;a_{36}\ge36\)
\(\Rightarrow\frac{1}{\sqrt{a_1}}+\frac{1}{\sqrt{a_2}}+...+\frac{1}{\sqrt{a_{36}}}\le\frac{1}{\sqrt{1}}+\frac{1}{\sqrt{2}}+...+\frac{1}{\sqrt{36}}\)( 1 )
Ta có : \(\frac{1}{\sqrt{1}}+\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{3}}+...+\frac{1}{\sqrt{36}}=1+\frac{2}{2\sqrt{2}}+\frac{2}{2\sqrt{3}}+...+\frac{2}{2\sqrt{36}}\)
\(< 1+\frac{2}{\sqrt{2}+\sqrt{1}}+\frac{2}{\sqrt{3}+\sqrt{2}}+...+\frac{2}{\sqrt{36}+\sqrt{35}}\)
\(=1+2\left(\sqrt{2}-\sqrt{1}\right)+2\left(\sqrt{3}-\sqrt{2}\right)+...+2\left(\sqrt{36}-\sqrt{35}\right)\)
\(=2\left(\sqrt{36}-\sqrt{1}\right)+1=11\)( 2 )
Từ ( 1 ) và ( 2 ) suy ra \(\frac{1}{\sqrt{a_1}}+\frac{1}{\sqrt{a_2}}+...+\frac{1}{\sqrt{a_{36}}}< 11\)( trái với giả thiết )
\(\Rightarrow\)tồn tại 2 số bằng nhau trong 36 số tự nhiên đã cho
Phản chứng: giả sử trong 361 số đó, không có 2 số nào bằng nhau
Không mất tính tổng quát, giả sử:
\(0< a_1< a_2< ...< a_{361}\)
\(\Rightarrow\left\{{}\begin{matrix}a_1\ge1\\a_2\ge2\\...\\a_{361}\ge361\end{matrix}\right.\)
Đặt \(S=\dfrac{1}{\sqrt{a_1}}+\dfrac{1}{\sqrt{a_2}}+...+\dfrac{1}{\sqrt{a_{361}}}\)
\(\Rightarrow S\le\dfrac{1}{\sqrt{1}}+\dfrac{1}{\sqrt{2}}+...+\dfrac{1}{\sqrt{361}}\)
\(\Rightarrow S\le1+2\left(\dfrac{1}{2\sqrt{2}}+\dfrac{1}{2\sqrt{3}}+...+\dfrac{1}{2\sqrt{361}}\right)\)
\(\Rightarrow S< 1+2\left(\dfrac{1}{\sqrt{1}+\sqrt{2}}+\dfrac{1}{\sqrt{2}+\sqrt{3}}+...+\dfrac{1}{\sqrt{360}+\sqrt{361}}\right)\)
\(\Rightarrow S< 1+2\left(\dfrac{\sqrt{2}-\sqrt{1}}{\left(\sqrt{2}+\sqrt{1}\right)\left(\sqrt{2}-\sqrt{1}\right)}+...+\dfrac{\sqrt{361}-\sqrt{360}}{\left(\sqrt{361}+\sqrt{360}\right)\left(\sqrt{361}-\sqrt{360}\right)}\right)\)
\(\Rightarrow S< 1+2\left(\sqrt{2}-\sqrt{1}+\sqrt{3}-\sqrt{2}+...+\sqrt{361}-\sqrt{360}\right)\)
\(\Rightarrow S< 1+2\left(\sqrt{361}-1\right)=37\)
Trái với giả thiết \(S=37\)
\(\Rightarrow\) Điều giả sử là sai hau trong 361 số tự nhiên đó tồn tại ít nhất 2 số bằng nhau
chứng minh = phản chứng . giả sử trong 25 số tự nhiên ko có 2 số nào bằng nhau . ko mất tính tổng quát , giả sử\(a_11,a_22,..,a_{25}25\)
thế thì
\(\frac{1}{\sqrt{a_1}}+\frac{1}{\sqrt{a_2}}+...+\frac{1}{\sqrt{a_{25}}}=\frac{1}{\sqrt{1}}+\frac{1}{\sqrt{2}}+..+\frac{1}{\sqrt{25}}\)
ta lại có \(\frac{1}{\sqrt{25}}+..+\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{1}}=\frac{1}{\sqrt{25+\sqrt{25}}}+\frac{1}{\sqrt{2+\sqrt{2}}}+1\)
\(< \frac{2}{\sqrt{24+\sqrt{24}}}+.+\frac{2}{\sqrt{2+\sqrt{2}}}+1\)
\(=2\left(\sqrt{25}-\sqrt{24}+\sqrt{24}-\sqrt{23}+...+\sqrt{2}-\sqrt{1}\right)+1=2\left(\sqrt{25}-\sqrt{1}\right)+1=9\left(2\right)\)
từ (1) zà 2 suy ra \(\frac{1}{\sqrt{a_1}}+\frac{1}{\sqrt{a_2}}+..+\frac{1}{\sqrt{a_{25}}}< 9\)trái zới giả thiết , suy ra ko tồn tại 2 số nào = nhau trong 25 số
Giả sử tất cả các số ak với 1 < k < 2014 đều là số lẻ
Quy đồng mẫu số các phân số ở vế trái
+) Nếu a2014 lẻ => Tử số của 2014 phân số đã cho đều là số lẻ => Tổng của 2014 tử số đó là số chẵn
Vì các số a1; ...; a2014 đều lẻ nên tích a1.a2...a2014 lẻ Mà tử số là số chẵn Nên phân số đó không thể bằng 1 => điều giả sử sai
+) Nếu a2014 chẵn => tử số các phân số thứ nhất đến phân số thứ 2013 đều là số chẵn ; tử số của phân số thứ 2014 là số lẻ Nên tổng các tử số là số lẻ
Vì a2014 chẵn nên mẫu số của phân số sau khi quy đồng là số chẵn
=> Tử số không chia hết cho mẫu số => Phân số đó không thể bằng 1 => điều giả sử là sai
Vậy luôn tồn tại 1 số ak từ a1 đến a2013 là số chẵn
Giả sử tất cả các số ak với 1 < k < 2014 đều là số lẻ
Quy đồng mẫu số các phân số ở vế trái
+) Nếu a2014 lẻ => Tử số của 2014 phân số đã cho đều là số lẻ => Tổng của 2014 tử số đó là số chẵn
Vì các số a1; ...; a2014 đều lẻ nên tích a1.a2...a2014 lẻ Mà tử số là số chẵn Nên phân số đó không thể bằng 1 => điều giả sử sai
+) Nếu a2014 chẵn => tử số các phân số thứ nhất đến phân số thứ 2013 đều là số chẵn ; tử số của phân số thứ 2014 là số lẻ Nên tổng các tử số là số lẻ
Vì a2014 chẵn nên mẫu số của phân số sau khi quy đồng là số chẵn
=> Tử số không chia hết cho mẫu số => Phân số đó không thể bằng 1 => điều giả sử là sai
Vậy luôn tồn tại 1 số ak từ a1 đến a2013 là số chẵn