Cho $2$ số nguyên dương $m,n$. Chứng minh rằng số các số tự nhiên $x$ thoả mãn: $\sum_{i=1}^{n}\left \lfloor \frac{x}{2^i} \right \rfloor=x-m$ không quá $2^n$
Iran MO 2008
#1
Đã gửi 12-12-2013 - 19:23
#2
Đã gửi 14-12-2013 - 21:39
Cho $2$ số nguyên dương $m,n$. Chứng minh rằng số các số tự nhiên $x$ thoả mãn: $\sum_{i=1}^{n}\left \lfloor \frac{x}{2^i} \right \rfloor=x-m$ không quá $2^n$
em sẽ chỉ xét cho $m>3$ thôi nhé
Giả sử có nhiều hơn $2^{n}$ nghiệm
Gọi $2^{n}+1$ nghiệm đầu là $1\leq a_{1}<a_{2}<.........<a_{2^{n}}<a_{2^{n}+1}$
Khi đó rõ ràng ta có $x=a_{2^{n}+1}>2^{n}$
Vì vậy ta có $x-m=\sum_{i=1}^{n}\left \lfloor \frac{x}{2^{i}} \right \rfloor> \sum_{i=1}^{n}2^{n-i}=\sum_{k=0}^{n-1}2^{k}=2^{k}=2^{n}-1=>x >2^{n}+m-1=>x\geq 2^{n}+m$
Nhưng với lần này ta có
$\sum_{i=2}^{n}\left \lfloor \frac{x}{2^{i}} \right \rfloor+\left \lfloor \frac{x}{2} \right \rfloor>\sum_{i=2}^{n}2^{n-i}+2^{n-1}+1=2^{n}-1+1=2^{n}=>x>2^{n}+m=>x>2^{n}+4=>x-m= \sum_{i=3}^{n}\left \lfloor \frac{x}{2^{i}} \right \rfloor+\left \lfloor \frac{x}{2} \right \rfloor+\left \lfloor \frac{x}{4} \right \rfloor>2^{n}-1+3=2^{n}+1=>x>2^{n}+2+m=>x\geq 2^{n}+3+m$
Làm như vậy lần nữa ta cm đc $x$ là một vô hạn nên ta có đpcm
Bài viết đã được chỉnh sửa nội dung bởi bangbang1412: 14-12-2013 - 21:46
- LNH, pham thuan thanh, nghiemthanhbach và 1 người khác yêu thích
$$[\Psi_f(\mathbb{1}_{X_{\eta}}) ] = \sum_{\varnothing \neq J} (-1)^{\left|J \right|-1} [\mathrm{M}_{X_{\sigma},c}^{\vee}(\widetilde{D}_J^{\circ} \times_k \mathbf{G}_{m,k}^{\left|J \right|-1})] \in K_0(\mathbf{SH}_{\mathfrak{M},ct}(X_{\sigma})).$$
#3
Đã gửi 15-12-2013 - 10:22
Bài này có một cách rất đơn giản như sau:
Xét hàm số: $f\left ( x \right )=x-\sum_{i=1}^{n}\left \lfloor \frac{x}{2^i} \right \rfloor$
Đặt $x=2^na+b$ với $a,b$ là 2 số nguyên không âm, $b<2^n$
Dễ dàng chứng minh được $f\left ( x \right )=a+f\left ( b \right )$
Bây giờ ta cố định số $m$
Với mỗi $b$ ta chỉ tồn tại một số $a$ để $f\left ( x \right )=a+f\left ( b \right )=m$
Mà số các số $b$ không quá $2^n$ nên số các số $x$ thoả mãn ycđb không vượt quá $2^n$
- nhatquangsin, bangbang1412 và nhungvienkimcuong thích
0 người đang xem chủ đề
0 thành viên, 0 khách, 0 thành viên ẩn danh