A proof of Pick’s theorem


Hình tạo bởi một đường gấp khúc đóng và không tự cắt được gọi là đa giác đơn. Một tam giác cơ bản là một tam giác trong mặt phẳng tọa độ có các đỉnh là các điểm nguyên đồng thời trên biên và phần trong của nó không còn điểm nguyên nào khác. Định lí Pick cho một cách đơn giản tính diện tích đa giác đơn có các đỉnh nguyên.

Trong chứng minh định lí Pick ta cần dùng công thức tích diện tích của tam giác trong mặt phẳng tọa độ.

Định lí 1. Trong mặt phẳng tọa độ Oxy, cho tam giác ABC. Khi đó diện tích của tam giác ABC bằng \displaystyle \frac{1}{2}\left|(x_B-x_A)(y_C-y_A)-(y_B-y_A)(x_C-x_A)\right|. Nói riêng, với mỗi hai điểm MN ta có diện tích của tam giác OMN bằng \dfrac{1}{2}\mid x_My_N-y_Mx_N\mid.

Định lí 2. Mọi tam giác cơ bản đều có diện tích bằng \dfrac{1}{2}.

Chứng minh. Giả sử TAB là một tam giác cơ bản bất kỳ. Không mất tính tổng quát, xem T trùng với gốc tọa độ O. Ta cần chứng minh \mid x_1y_2-x_2y_1\mid =1, với (x_1;y_1)(x_2;y_2) lần lượt là tọa độ của AB.

Gọi K là điểm sao cho OAKB là hình bình hành. Giả sử M là một điểm nguyên nằm trong hoặc trên biên hình bình hành sao cho M khác các đỉnh. Khi đó M thuộc tam giác ABK và điểm N đối xứng với M qua tâm hình bình hành là điểm nguyên thuộc tam giác OAB nhưng khác các đỉnh, không thể xảy ra điều này do OAB là một tam giác cơ bản. Như vậy hình bình hành OAKB không chứa điểm nguyên nào khác bốn đỉnh của nó.

Giả sử P là một điểm nguyên bất kỳ. Vì \overrightarrow{OA}\overrightarrow{OB} là hai vector không cùng phương nên tồn tại cặp số thực (\alpha,\beta) để \overrightarrow{OP}=\alpha \overrightarrow{OA}+\beta \overrightarrow{OB}. Gọi P' là điểm xác định bởi \overrightarrow{OP'}=\{\alpha\} \overrightarrow{OA}+\{\beta\} \overrightarrow{OB}.\{\alpha\}\{\beta\} thuộc [0;1) nên P' thuộc hình bình hành OAKB, nhưng P' lại là một điểm nguyên, suy ra P' phải là một trong bốn đỉnh của hình bình hành. Dễ thấy P'\equiv O và do đó \alpha\beta là hai số nguyên.

Gọi \overrightarrow{i}\overrightarrow{j} lần lượt là các vector đơn vị đặt trên OxOy. Khi đó theo lập luận trên, tồn tại các cặp số nguyên (u,v)(u',v') để \overrightarrow{i}=u \overrightarrow{OA}+v \overrightarrow{OB}\overrightarrow{j}=u' \overrightarrow{OA}+v' \overrightarrow{OB}. Từ hai đẳng thức này ta có \begin{cases} 1=ux_1+vx_2\\ 0=uy_1+vy_2\end{cases}\begin{cases}0=u'x_1+v'x_2\\ 1=u'y_1+v'y_2,\end{cases} suy ra \displaystyle u=\frac{y_2}{D},v=-\frac{y_1}{D},u'=-\frac{x_2}{D}\displaystyle v'=\frac{x_1}{D}, trong đó D=x_1y_2-x_2y_1\not =0 do O,AB không thẳng hàng. Vì u, v, u'v' là các số nguyên nên x_1,x_2,y_1y_2 đều là bội của D, do đó D^2\mid D và bởi thế, D=\pm 1.

Định lí Pick. Cho P là một đa giác đơn có các đỉnh là các điểm nguyên, I là số điểm nguyên nằm trong và B là số điểm nguyên nằm trên biên của P. Khi đó ta có đẳng thức \displaystyle S_P=I+\frac{1}{2}B-1.

Chứng minh. Chia P thành N tam giác cơ bản. Gọi S là tổng các góc trong của tất cả các tam giác cơ bản đó. Ta sẽ tính S theo hai cách. Vì số tam giác là N nên S=N\pi.

Tổng tất cả các góc có đỉnh là một điểm nguyên nằm trong P bằng 2\pi, tổng tất cả các góc có đỉnh là một điểm nguyên nằm trên biên của P nhưng không phải đỉnh của P bằng \pi và tổng của tất cả các góc có đỉnh là đỉnh của P bằng (n-2)\pi, ở đây n là số đỉnh của P. Do đó S=2\pi I+\pi B-2\pi, suy ra N\pi=2\pi I+\pi B-2\pi\Rightarrow N=2I+B-2. Để ý thêm S_P=\dfrac{1}{2}N, ta có điều phải chứng minh.

Divisibility theory in the integers


Trong bài này chúng tôi sẽ trình bày quan hệ chia hết trên tập các số nguyên. Bài viết là tài liệu tự học của các học sinh lớp 10 đang học tại T’s Lab, nhưng các bạn học sinh lớp 8 hoặc 9 xuất sắc có thể hiểu được toàn bài mà không gặp khó khăn nào. Nhiều chứng minh trong bài dùng tính chất sau của tập các số nguyên không âm.

Mỗi tập khác rỗng gồm các số nguyên không âm đều có phần tử nhỏ nhất.

Đầu tiên chúng ta đến với định lí nền tảng của toàn bài.

Định lí 1 (Thuật toán chia). Cho hai số nguyên ab với b>0. Khi đó tồn tại đúng một cặp số nguyên (q,r) thỏa mãn

a=q b+r0 \leq r<b. Hai số qr lần lượt được gọi là thương và dư trong phép chia a cho b.

Chứng minh. Gọi S là tập hợp tất cả các số nguyên không âm có dạng a-xb, với một số nguyên x. Ta thấy S khác rỗng nên nó có phần tử nhỏ nhất, ký hiệu là r.  Từ định nghĩa của S, ta có thể viết r=a-q b, trong đó q là một số nguyên. Nếu r \geq b thì a-(q+1) là một phần tử nhỏ hơn r của S, vô lý, do đó r<b. Bây giờ giả sử (q,r)(q^{\prime},r^{\prime}) là hai cặp có tính chất nói đến trong định lí. Khi đó a=q b+r=q^{\prime} b+r^{\prime}0 \leq r<b, 0 \leq r^{\prime}<b. Từ đây ta có \left|r^{\prime}-r\right|=b\left|q-q^{\prime}\right|, để ý thêm \left|r^{\prime}-r\right|<b, ta thu được 0 \leq\left|q-q^{\prime}\right|<1. Suy ra q=q^{\prime}, và r=r^{\prime}. \Box

Ví dụ 1. Từ định lí 1 ta thấy mọi số nguyên đều có thể viết được dưới dạng 2k hoặc 2k+1 với một số nguyên k. Tương tự, mọi số nguyên đều có thể viết được dưới dạng 3k, 3k+1, hoặc 3k+2 với một số nguyên k. \Box

Định nghĩa 1. Cho hai số nguyên ab với b khác 0. Khi đó a được gọi là chia hết cho b, ký hiệu b \mid a, nếu tồn tại số nguyên c sao cho a=bc. Ta viết b \nmid a khi a không chia hết cho b.

Khi b \mid a, ta cũng nói b là một ước của a, hay a là một bội của b. Ta có ngay lập tức các tính chất sau, chứng minh của chúng là bài tập cho bạn đọc.

Định lí 2. Với các số nguyên a, b, và c, ta có các tính chất sau:

(1) a\mid 0,1\mid a, a \mid a.

(2) a \mid 1 khi và chỉ khi a= \pm 1.

(3) Nếu a \mid bc \mid d, thì a c \mid b d.

(4) Nếu a \mid bb \mid c, thì a \mid c.

(5) a \mid bb \mid a khi và chỉ khi a= \pm b.

(6) Nếu a \mid bb\neq 0, thì \mid a\mid \leq \mid b\mid.

(7) Nếu a \mid ba \mid c, thì a \mid(b x+c y) với các số nguyên bất kỳ xy.

Ta xét một số ví dụ có sử dụng các tính chất này.

Ví dụ 2. Cho a, b, c, và d là các số nguyên thỏa mãn ad-bc>1. Chứng minh rằng ít nhất một bốn số đã cho không chia hết cho ad-bc.

Lời giải. Giả sử ngược lại, khi đó cả bốn số a, b, c, và d đều chia hết cho ad-bc. Suy ra adbc cùng chia hết cho (ad-bc)^2, do đó (ad-bc)^2\mid ad-bc, điều này không thể xảy ra vì ad-bc>1. \Box

Ví dụ 3. Tìm tất cả bộ ba số nguyên (a,b,c) sao cho 1<a<b<c(a-1)(b-1)(c-1) là một ước của abc-1.

Lời giải. Các bộ ba phải tìm là (2,4,8)(3,5,15). Giả sử (a,b,c) là một bộ ba thỏa mãn các yêu cầu của đề bài. Khi đó ba số a, bc có cùng tính chẵn-lẻ, do đó \displaystyle 2 < \frac{abc}{(a-1)(b-1)(c-1)}\leq \frac{a}{a-1} \cdot \frac{a+2}{a+1} \cdot \frac{a+4}{a+3}, suy ra a<4. Đến đây xét a=2a=3 ta có câu trả lời. \Box

Continue reading “Divisibility theory in the integers”

Lagrange interpolating polynomial


Đây là bài thứ bốn về đa thức của tôi, các bạn học sinh nên xem lại ba bài trước để học cho dễ dàng hơn.

[1] https://nttuan.org/2007/10/26/poly01/

[2] https://nttuan.org/2009/01/11/poly02/

[3] https://nttuan.org/2018/08/25/poly03/

Đa thức có thể được sử dụng để xấp xỉ các đường cong phức tạp, hay tính giá trị của các hàm logarit và lượng giác. Đầu tiên, chọn một vài dữ liệu đã biết, sau đó tìm một đa thức có bậc đủ bé có cùng dữ liệu đã chọn, cuối cùng xem đa thức vừa tìm được như là hàm số đang xét. Điều này dẫn đến việc tính toán nhanh hơn đáng kể.

Định lí. Cho số nguyên dương nn+1 số phức đôi một khác nhau x_0, x_1, \ldots, x_{n}. Khi đó với mỗi n+1 số phức y_0, y_1, \ldots, y_n, có đúng một đa thức P(x) với hệ số phức có bậc không lớn hơn n sao cho

P(x_i)=y_i,\quad \forall i=\overline{0,n}.

Chứng minh. Nếu PQ là các đa thức thỏa mãn các điều kiện của định lí thì đa thức P-Q có bậc không lớn hơn n và có ít nhất n+1 nghiệm, suy ra P-Q là đa thức không và P=Q. Mặt khác, đa thức \displaystyle P(x)=\sum_{i=0}^ny_i\prod_{j\not =i}\frac{x-x_j}{x_i-x_j} thỏa mãn P(x_i)=y_i,\quad \forall i=\overline{0,n}, do đó định lí được chứng minh. \Box

Hệ quả (Công thức nội suy Lagrange). Cho số nguyên dương n và đa thức P(x) với hệ số phức có bậc không lớn hơn n. Khi đó với mỗi n+1 số phức đôi một khác nhau x_0, x_1, \ldots, x_{n}, ta có

\displaystyle P(x)=\sum_{i=0}^nP(x_i)\prod_{j\not =i}\frac{x-x_j}{x_i-x_j}.

Trong công thức trên, n+1 số phức x_0, x_1, \ldots, x_{n} được gọi là các nút nội suy. Ta thường dùng công thức nội suy Lagrange trong tình huống: Biết thông tin của P tại các x_i, cần tìm thông tin của P tại y\not\in \{x_i\}.

Ví dụ 1. Cho hai đa thức A(x)=x^{81}+x^{49}+x^{25}+x^9+xB(x)=x^3-x. Tìm dư khi chia A(x) cho B(x).

Lời giải. Giả sử Q(x)R(x) lần lượt là thương và dư trong phép chia A(x) cho B(x). Ta có A(x)=B(x)Q(x)+R(x)\deg R<3.B(0)=B(1)=B(-1)=0 nên R(0)=0, R(1)=5R(-1)=-5, do đó áp dụng công thức nội suy Lagrange cho R với các nút 0;1-1 ta có

\displaystyle R(x)=R(0).\frac{(x-1)(x+1)}{(0-1)(0+1)}+R(1).\frac{(x-0)(x+1)}{(1-0)(1+1)}+R(-1).\frac{(x-0)(x-1)}{(-1-0)(-1-1)}

\displaystyle =\frac{5}{2}x(x+1)-\frac{5}{2}x(x-1)=5x. \Box

Ví dụ 2. Cho số nguyên dương n và đa thức P có bậc n thỏa mãn \displaystyle P(k)=\frac{k}{k+1},\quad \forall k=\overline{0,n}. Tính P(n+1).

Lời giải. Do P có bậc n nên áp dụng công thức nội suy Lagrange cho P với n+1 nút 0, 1, \ldots, n ta có \displaystyle P(x)=\sum_{k=0}^nP(k)\prod_{j\not =k}\frac{x-j}{k-j}

\displaystyle =\sum_{k=0}^n\frac{k}{k+1}\prod_{j\not =k}\frac{x-j}{k-j}=\sum_{k=0}^n\frac{(-1)^{n-k}k}{(k+1)!(n-k)!}\prod_{j\not =k}(x-j),\quad\forall x\in\mathbb{R}. Suy ra

\displaystyle P(n+1)=\sum_{k=0}^n\frac{(-1)^{n-k}k}{(k+1)!(n-k)!}\prod_{j\not =k}(n+1-j)

\displaystyle =\sum_{k=0}^n\frac{(-1)^{n-k}k}{(k+1)!(n-k)!}.\frac{(n+1)!}{n+1-k}

\displaystyle =\frac{1}{n+2}\sum_{k=0}^nk(-1)^{n-k}C^{k+1}_{n+2}=\frac{1}{n+2}\sum_{k=0}^n\left[(k+1)(-1)^{n-k}C_{n+2}^{k+1}+(-1)^{n-k+1}C_{n+2}^{k+1}\right]

\displaystyle =\frac{1}{n+2}\left(\sum_{k=0}^n(-1)^{n-k}(n+2)C_{n+1}^k+\sum_{i=1}^{n+1}(-1)^{n+2-i}C_{n+2}^i\right)=\dfrac{n+1+(-1)^{n+1}}{n+2}. \Box

Ví dụ 3. Cho số nguyên dương n và các số nguyên x_0 > x_1 > \ldots > x_n. Chứng minh rằng một trong các số |F(x_0)|, |F(x_1)|, |F(x_2)|, \ldots, |F(x_n)| lớn hơn hoặc bằng \displaystyle \frac{n!}{2^n}. Trong đó

F(x) = x^n + a_1x^{n-1} + \cdots+ a_n

là một đa thức với hệ số thực.

Lời giải. Giả sử \displaystyle |F(x_i)|<\dfrac{n!}{2^n},\quad \forall i=\overline{0,n}. Áp dụng công thức nội suy Lagrange cho P với n+1 nút x_0, x_1, \cdots, x_n ta có

\displaystyle x^n + a_1x^{n-1} + \cdots+ a_n\equiv \sum_{k=0}^nF(x_k)\prod_{j\not =k}\frac{x-x_j}{x_k-x_j}, để ý đến hệ số của x^n trong hai vế ta có  \displaystyle 1=\left|\sum_{k=0}^n\prod_{j\not =k}\frac{F(x_k)}{x_k-x_j}\right|\leq \sum_{k=0}^n\prod_{j\not =k}\frac{|F(x_k)|}{|x_k-x_j|}< \displaystyle \sum_{k=0}^n\prod_{j\not =k}\frac{\frac{n!}{2^n}}{|x_k-x_j|}\leq \sum_{k=0}^n\prod_{j\not =k}\frac{\frac{n!}{2^n}}{|k-j|}=1, không thể xảy ra điều này. \Box

Ví dụ 4. Chứng minh rằng với mỗi số thực a và với mỗi số nguyên dương n ta có

\displaystyle \sum_{k = 0}^n( - 1)^k\binom{n}{k}(a - k)^n = n!.

Lời giải. Vế trái là đa thức của a nên chỉ cần chứng minh đẳng thức khi a là số nguyên. Sau đây ta chứng minh đẳng thức khi a= 0n\geq 3, hay chứng minh

\displaystyle \sum_{k = 0}^n( - 1)^{n + k}\binom{n}{k}k^n = n!. Theo công thức nội suy Lagrange với các nút 1, 2, \ldots, n ta có \displaystyle x^n - (x - 1)(x - 2)\cdots (x - n) \equiv \sum_{k = 1}^nk^n\cdot\prod_{i\not = k}\dfrac{x - i}{k - i},\quad\forall x\in\mathbb{R}. Nói riêng, khi x = 0 ta có \displaystyle ( - 1)^{n + 1}\cdot n! = \sum_{k = 1}^nk^n\cdot \dfrac{1}{k}\cdot \dfrac{( - 1)^{n - 1}\cdot n!}{(k - 1)!\cdot (n - k)!\cdot ( - 1)^{n - k}}, từ đây thu được điều cần chứng minh. \Box.

Continue reading “Lagrange interpolating polynomial”

A proof of Cauchy–Davenport theorem


Trong bài này tôi sẽ giới thiệu một chứng minh của định lí Cauchy-Davenport.

Định lí Cauchy – Davenport. Cho số nguyên tố p và hai tập con khác rỗng A,B của \mathbb{Z}/p\mathbb{Z}. Khi đó

|A+B|\geq\min (p,|A|+|B|-1).

Chứng minh. Ta chứng minh khẳng định bằng quy nạp theo |B|. Khi |B|=1 ta có

|A+B|=|A|=\min (p,|A|)=\min (p,|A|+|B|-1). Suy ra khẳng định đúng khi |B|=1. Khi |B|=2 ta viết B=\{b_1,b_2\}A=\{a_1,a_2,\ldots,a_m\}, ta có ngay |A+B|\geq m.

Nếu |A+B|= m thì \{b_1+a_1,\ldots,b_1+a_m\}=\{b_2+a_1,\ldots,b_2+a_m\}, suy ra mb_1\equiv mb_2\pmod{p}, hay m=p. Khi đó |A+B|=p\geq\min (p,|A|+|B|-1).

Nếu |A+B|>m thì |A+B|\geq m+1\geq\min (p,m+1)=\min (p,|A|+|B|-1).

Vậy khẳng định đúng khi |B|=2. Giả sử khẳng định đúng với mỗi tập B thỏa mãn |B|<n, trong đó n\geq 3. Ta sẽ chứng minh khẳng định đúng với mọi tập B|B|=n. Xét một tập B thỏa mãn |B|=n. Đặt |A+B|=l,|A|=m và viết B=\{b_1,b_2,\ldots,b_n\}. Xét ba trường hợp

Trường hợp 1. l\geq p.

Ta có |A+B|=l\geq p\geq\min (p,|A|+|B|-1).

Trường hợp 2. m+n>p.

Ta có A+B=\{0,1,2,\ldots,p-1\}, thật vậy với mỗi g\in \{0,1,2,\ldots,p-1\}, hai tập g-AB có giao khác rỗng vì chúng là các tập con của tập \{0,1,2,\ldots,p-1\} và có tổng số phần tử lớn hơn p. Lấy h\in g-A\cap B ta có ngay g=b=g-a\,\, (a\in A,b\in B), suy ra g=a+b\in A+B. Từ đây ta có |A+B|=p\geq\min (p,|A|+|B|-1).

Trường hợp 3. l<pm+n\leq p.

Ở trường hợp này thì \min (p,|A|+|B|-1)=\min (p,m+n-1)=m+n-1. Áp dụng giả thiết quy nạp cho hai tập C=A+B\{b_1,b_n\} ta có |C+\{b_1,b_n\}|\geq\min (p,|C|+|\{b_1,b_n\}|-1)=\min (p,l+1)=l+1, suy ra C+b_1\not = C+b_n, do đó tồn tại số nguyên x sao cho x-b_1\in A+Bx-b_n\not\in A+B. Từ đây ta thấy tồn tại số nguyên dương r<n sao cho x-b_i\in A+B,\,\forall i=\overline{1,r}x-b_i\not\in A+B,\,\forall i=\overline{r+1,n}. Áp dụng giả thiết quy nạp cho hai tập AB^{\prime}=\{b_{r+1},b_{r+2},\ldots,b_n\} ta có

|A+B^{\prime}|\geq \min (p,|A|+|B^{\prime}|-1)=\min (p,m+n-r-1)=m+n-r-1. Ta có x-b_i\not\in A+B^{\prime},\,\forall i=\overline{1,r}, vì nếu chẳng hạn x-b_1\in A+B^{\prime} thì

x-b_1= a+b_{s}\Rightarrow x-b_s\in A+B, điều này trái với cách chọn r. Vậy |A+B|\geq r+|A+B^{\prime}|\geq r+m+n-r-1=m+n-1, và định lí được chứng minh. \Box

Bằng quy nạp ta chứng minh được kết quả sau.

Hệ quả. Cho số nguyên dương h>1, số nguyên tố ph tập con khác rỗng A_1, A_2,\ldots, A_h của \mathbb{Z}/p\mathbb{Z}. Khi đó \displaystyle \mid A_1+A_2+\cdots+A_h\mid \geq \min \left(p,\sum_{i=1}^h\mid A_i\mid-h+1\right).