Ta định nghĩa các hàm số nguyên như sau:
$ \bullet \;\;\alpha(x)= - \left\lfloor 1-x \right\rfloor $
$ \bullet \;\;\delta_n(x) $ là số các ước (dương) của $ x $ không vượt quá $ n $
$ \bullet \;\;\gamma_n(x) $ là số các ước (dương) của $ x $ lớn hơn $ n $
Chứng minh rằng: $\delta_{\alpha\left(\frac{m}{n}\right)}(m)=\gamma_{n}(m)$
________________________________________________________________
Bài hay thế này mà Karl Heinrich Marx và supermember hoặc PSW không vào chém thì hơi phí! =))
Chứng minh: $\delta_{\alpha\left(\frac{m}{n}\right)}(m)=\gamma_{n}(m)$
Bắt đầu bởi hxthanh, 30-04-2012 - 13:35
supermember Karl Heinrich Marx Welcome!
#1
Đã gửi 30-04-2012 - 13:35
- perfectstrong, funcalys và nhungvienkimcuong thích
#2
Đã gửi 01-05-2012 - 18:47
Ta có $\alpha\left(\frac{m}{n}\right)=-\left\lfloor 1-\frac{m}{n}\right\rfloor$
Nếu $m \leq n$ thì hai vế của đẳng thức cần chứng minh đêu bằng 0, nên ta có đpcm
do đó xét $m >n$ . Gọi $k$ là ước số lớn nhất của $m$ ko vượt quá ${\alpha\left(\frac{m}{n}\right)}$, thì ta có $k \leq \alpha\left(\frac{m}{n}\right)=-\left\lfloor 1-\frac{m}{n} \right\rfloor$ nên $k(n+1) \leq m$ (*) do đó ước liên hợp của $k$ đối với $m$ là $k'$. ta có $k.k'=m$ thì $k'>n$. Do đó tồn tại một toàn ánh từ $\delta_{\alpha\left(\frac{m}{n}\right)}(m)$ vào $\gamma_{n}(m)$
nếu $1-\frac{m}{n} \in \mathbb{Z}$ thì đẳng thức ở (*) xảy ra, lúc này có một song ánh
còn nếu ko nguyên thì ta xét khoảng $[n+1,k']$ thì nếu trong khoảng này có một ước $d$ của $m$ thì giả sử $k$ là ước lớn nhất ko vượt quá $\alpha\left(\frac{m}{n}\right)$ thì một ước liên hợp của $d$ đối với $m$ là $d'$ phải lớn hơn $\alpha\left(\frac{m}{n}\right)$ và như vậy ta có $m=d.d'>(n+1)\frac{m-n}{n}$ suy ra:$m>n(n+1)$ lúc này $\alpha\left(\frac{m}{n}\right) \geq n$ nên khoảng $\left(\alpha\left(\frac{m}{n}\right);n+1\right)$ ko có số nguyên nào. Vậy ta có thêm một đơn ánh. Nên suy ra tồn tại một song ánh
nên suy ra $\delta_{\alpha\left(\frac{m}{n}\right)}(m)=\gamma_{n}(m)$
Nếu $m \leq n$ thì hai vế của đẳng thức cần chứng minh đêu bằng 0, nên ta có đpcm
do đó xét $m >n$ . Gọi $k$ là ước số lớn nhất của $m$ ko vượt quá ${\alpha\left(\frac{m}{n}\right)}$, thì ta có $k \leq \alpha\left(\frac{m}{n}\right)=-\left\lfloor 1-\frac{m}{n} \right\rfloor$ nên $k(n+1) \leq m$ (*) do đó ước liên hợp của $k$ đối với $m$ là $k'$. ta có $k.k'=m$ thì $k'>n$. Do đó tồn tại một toàn ánh từ $\delta_{\alpha\left(\frac{m}{n}\right)}(m)$ vào $\gamma_{n}(m)$
nếu $1-\frac{m}{n} \in \mathbb{Z}$ thì đẳng thức ở (*) xảy ra, lúc này có một song ánh
còn nếu ko nguyên thì ta xét khoảng $[n+1,k']$ thì nếu trong khoảng này có một ước $d$ của $m$ thì giả sử $k$ là ước lớn nhất ko vượt quá $\alpha\left(\frac{m}{n}\right)$ thì một ước liên hợp của $d$ đối với $m$ là $d'$ phải lớn hơn $\alpha\left(\frac{m}{n}\right)$ và như vậy ta có $m=d.d'>(n+1)\frac{m-n}{n}$ suy ra:$m>n(n+1)$ lúc này $\alpha\left(\frac{m}{n}\right) \geq n$ nên khoảng $\left(\alpha\left(\frac{m}{n}\right);n+1\right)$ ko có số nguyên nào. Vậy ta có thêm một đơn ánh. Nên suy ra tồn tại một song ánh
nên suy ra $\delta_{\alpha\left(\frac{m}{n}\right)}(m)=\gamma_{n}(m)$
- supermember, anh qua, perfectstrong và 7 người khác yêu thích
Những ngày cuối cùng còn học toán
winwave1995Được gắn nhãn với một hoặc nhiều trong số những từ khóa sau: supermember, Karl Heinrich Marx, Welcome!
Toán thi Học sinh giỏi và Olympic →
Dãy số - Giới hạn →
Bài toán đáp lễ supermember $\mathbb{F}_n(x)=...$Bắt đầu bởi hxthanh, 13-07-2022 supermember, psw |
|
|||
Toán thi Học sinh giỏi và Olympic →
Tổ hợp và rời rạc →
Một bài tổ hợp từ một bài số họcBắt đầu bởi Karl Heinrich Marx, 26-03-2017 supermember |
|
|||
Toán thi Học sinh giỏi và Olympic →
Đa thức →
$P(n,m)=\sum_{k=1}^n \prod_{r=0}^m(k+2r)$Bắt đầu bởi hxthanh, 17-06-2015 summation, karl heinrich marx |
|
|||
pom
Cửa sổ Diễn Đàn Toán Học →
Những sự kiện đã kết thúc →
Thi đấu giải Toán →
Những bài toán trong tuần →
Bài toán tháng 8/2014 - Trò chơi Đoán SốBắt đầu bởi hxthanh, 22-06-2014 pom, e. galois, supermember |
|
|||
Toán thi Học sinh giỏi và Olympic →
Dãy số - Giới hạn →
CMR: $2S=3F_nF_{n+1}^2-F_n^3-F_{n+1}^3+1$Bắt đầu bởi hxthanh, 18-11-2012 fibonacci, supermember |
|
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh