Tag Archives: SuyLuan

TẬP HỢP – TẬP HỢP SỐ

Ví dụ 1.1. Số nguyên $A$ được tạo thành bằng các chữ viết liền nhau các số nguyên dương từ 1 đến 60 theo thứ tự từ nhỏ đến lớn: $A=123 \ldots 585960$.
(a) Hãy chỉ ra cách xóa 100 chữ số của $A$ sao cho số $A_1$ tạo bởi các chữ số còn lại là nhỏ nhất.
(b) Hãy chỉ ra cách xóa 100 chữ số của $A$ sao cho số $A_2$ tạo bởi các chữ số còn lại là lớn nhất.

Hướng dẫn giải

(a) Số $A$ có $9+2.51=111$ chữ số. Sau khi xóa 100 chữ số của $A$ ta còn 11 chữ số.
Ta có: $A=12 \ldots 10 \ldots 20 \ldots 30 \ldots 40 \ldots 50 \ldots 60$ có 6 chữ số 0 .
Để $A_1$ nhỏ nhất ta sẽ xóa sao cho $A_1$ có nhiều số 0 đứng đầu nhất.
Theo phân bố của các số 0 trong $A$ thì số $A_1$ có thể có tối đa 5 chữ số 0 đứng đầu. Còn lại 6 chữ số của $A_1$ sẽ được lấy từ dãy số sau: 51525354555657585960 .
Vậy số $A_1=00000123450$ là số nhỏ nhất cần tìm.
(b) Tương tự lập luận ở câu a)
Ta có: $A=1 \ldots 9 \ldots 19 \ldots 29 \ldots 39 \ldots 49 \ldots 5960$ có 6 chữ số 9 .
Để $A_2$ lớn nhất thì ta sẽ xóa sao cho $A_2$ có nhiều số 9 đứng đầu nhất.
Theo phân bố của các số 9 trong $A$ thì số $A_2$ có thể có tối đa 5 chữ số 9 đứng đầu. Còn lại 6 chữ số của $A_2$ sẽ được lấy từ dãy số sau: 51525354555657585960 .
Vậy số $A_2=99999785960$ là số lớn nhất cần tìm.

Ví dụ 1.2. Cho tập $A=\{1,2,3, \ldots, 9\}$.
(a) Hãy chỉ ra một cách chia tập $A$ thành 3 tập con rời nhau, có số phần tử bằng nhau và tổng các phần tử bằng nhau.
(b) Tìm tất cả cách chia trong câu a.

Hướng dẫn giải

(a) $A_1=\{1,5,9\}, A_2=\{2,6,7\}, A_3=\{3,4,8\}$ là một cách chia thỏa đề bài.
(b) Tổng các phần tử là $1+2+\cdots+9=45$ do đó mỗi tập hợp có tổng là 15 và có 3 phần tử.
Dễ thấy $1,2,3$ không cùng một tập hợp, vì nếu cùng thì phần tử còn lại sẽ lớn hơn hoặc bằng 10 (vô lý).
Giả sử $1 \in A_1, 2 \in A_2, 3 \in A_3$. hai phần tử còn lại của $A_1$ là $a, b$, ta có $a+b=14$, chỉ có thể là 6,8 hoặc 5,9.
Nếu $6,8 \in A_1$, thì hai phần tử thuộc $A_2$ tổng là 13, chỉ có thể là 4,9 .
Khi đó $5,7 \in A_3$. Ta có các kết quả $A_1=\{1,6,8\}, A_2=\{2,4,9\}, A_3=\{3,5,7\}$.
Nếu $5,9 \in A_1$, thì hai phần tử thuộc $A_2$ có tổng 13 là 6,7.
Khi đó $4,8 \in A_3$. Các kết quả là $A_1=\{1,5,9\}, A_2=\{2,6,7\}, A_3=\{3,4,8\}$.

Ví dụ 1.3. Biết rằng:
$$
A=\{1 ; a\}, B=\{a ; b ; 3\}, C=\{2 ; 4 ; c\}, D=\{a ; b ; 4\}, E=\{a ; b ; c ; e\}
$$
và biết $A \subset D ; B \subset E ; C \subset E ; D \subset E$. Tìm các phần tử $a, b, c, e$.

Hướng dẫn giải

Từ $A \subset D$, suy ra $b=1$.
Từ $B \subset E$, thì một trong hai số $c$ hoặc $e$ phải là $3(1)$.
Từ $D \subset E$ thì một trong hai số $c$ hoặc $e$ phải là $4(2)$.
Từ $C \subset E$ và (1),(2) thì $c, e$ không nhận giá trị 2 nên $a=2$ và $e=4$, suy ra $c=3$.
Vậy $a=2, b=1, c=3, e=4$.

Ví dụ 1.4. Tập hợp $M$ chứa 4 số nguyên phân biệt được gọi là tập liên kết nếu với mỗi $x \in M$ thì ít nhất một trong hai số $x-1, x+1$ thuộc $M$. Gọi $U_n$ là số tập con liên kết của tập $\{1,2, \ldots, n\}$.
(a) Tính $U_7$.
(b) Xác định giá trị nhỏ nhất của $n$ sao cho $U_n \geq 2019$.

Hướng dẫn giải

Gọi $a<b<c<d$ là 4 phần tử của một tập liên kết M.
Vì $a-1 \notin M $ nên $a+1 \in M$, suy ra $b=+1$. Vì $d-1 \in M$, suy ra $c=d-1$.
Như vậy một tập liên kết sẽ có dạng $\{a+1, d-1, d\}$, với $\{d-a>2\}$.
(a) Có 10 tập con liên kết của tập $\{1,2,3,4,5,6,7\}$ là
$$
\begin{aligned}
& \{1,2,3,4\},\{1,2,4,5\},\{1,2,5,6\},\{1,2,6,7\}, \
& \{2,3,4,5\},\{2,3,5,6\},\{2,3,6,7\}, \
& \{3,4,5,6\},\{3,4,6,7\},\{4,5,6,7\} .
\end{aligned}
$$
(b) Gọi $D=d-a+1$ là đường kính của tập $\{a, b=a+1, c=d-1, d\}$, hiển nhiên $3<D \leq$ $n-1+1=n$.
Với $D=4$ sẽ có $n-3$ tập liên kết, với $D=5$ sẽ có $n-4$ tập liên kết, …, với $D=n$ sẽ có đúng một tập liên kết. Do đó
$$
U_n=1+2+\ldots+(n-3)=\dfrac{(n-3)(n-2)}{2} .
$$
Do đó $U_n \geq 2019 \Leftrightarrow(n-3)(n-2) \geq 4038$. Như vậy giá trị nhỏ nhất của $n$ là $n=67$.

Ví dụ 1.5. Chứng minh rằng với mọi số dương $m$ thì $\dfrac{2 m}{m^2+5}$ không thể là số nguyên.

Hướng dẫn giải

Ta có $0<\dfrac{2 m}{m^2+5}<1$ nên $\dfrac{2 m}{m^2+5}$ không thể là số nguyên.

Ví dụ 1.6. (Đề tuyển sinh vào lớp 10 chuyên toán trường PTNK năm 2014) Cho 5 số tự nhiên phân biệt sao cho tổng của ba số bất kỳ trong chúng lớn hơn tổng của hai số còn lại.
(a) Chứng minh rằng tất cả 5 số đā cho đều không nhỏ hơn 5 .
(b) Tìm tất cả các bộ gồm 5 số thỏa mãn đề bài mà tồng của chúng nhỏ hơn 40 .

Hướng dẫn giải

(a) Gọi 5 số đó là $a, b, c, d, e$, do các số là phân biệt nên ta có thể giả sử $ad+e$, suy ra $a+b+c \geq d+e+1$. Suy ra $a \geq d+e+1-b-c$.
Mặt khác, do $b, c, d, e$ là số tự nhiên nên từ $d>c>b$ ta có $d \geq c+1 \geq b+2$, suy ra $d-b \geq 2$. $e>d>c$, suy ra $e-c \geq 2$.
Do đó $a \geq(d-b)+(e-c)+1 \geq 5$. Suy ra $b, c, d, e>5$.
Vậy các số đều không nhỏ hơn 5.
(b) Nếu $a \geq 6$, suy ra $b \geq 7, c \geq 8, d \geq 9, e \geq 10$, suy ra $a+b+c+d+e \geq 40$ ( vô lý),
suy ra $a<6$.
Theo câu a ta có $a=5$. Khi đó $b+c+5 \geq d+e+1$, suy ra $b+c \geq d+e-4$.
Mà $d-2 \geq b, e-2 \geq c$, suy ra $d+e-4 \geq b+c$. Do đó $b=d-2, c=e-2$.
Khi đó $a+b+c+d+e=5+2 b+2 c+4<40$. Suy ra $b+c<\dfrac{31}{2}$. Suy ra $b \geq 7$.
Từ đó ta có $b=6, b=7$.
Nếu $b=6$ ta có $d=8, c=8, e=10$. Ta có bộ $(5,6,7,8,9)$
Nếu $b=7, d=9, c=8, e=10$.
Ta có bộ $(5,7,8,9,10)$. Vậy có hai bộ số thỏa đề bài là $(5,6,7,8,9)$ và $(5,7,8,9,10)$.

Ví dụ 1.7. Trong một buôn của người dân tộc, cư dân có thể nói được tiếng dân tộc, có thể nói được tiếng Kinh hoặc nói được cả hai thứ tiếng. Kết quả của một đợt điều tra cơ bản cho biết:
Có 912 người nói tiếng dân tộc,
Có 653 người nói tiếng Kinh,
Có 435 người nói được cả hai thứ tiếng.
Hỏi buôn làng có bao nhiêu cư dân ?

Hướng dẫn giải

Gọi $A$ là tập các người các người nói tiếng dân tộc, ta có $|A|=912, B$ là tập các người nói tiếng Kinh, ta có $|B|=653$. Khi đó $|A \cap B|=435$.
$A \cup B$ là tập các người dân trong buông.
Ta có
$$
|A \cup B|=|A|+|B|-|A \cap B|=912+653-435=1130
$$

Bài 1.1. Viết các số từ 1 đến 9 vào một bảng vuông $3 \times 3$, mỗi số viết một lần, sao cho tồng số ở mỗi dòng, mỗi cột và hai đường chéo đều được số chia hết cho 9 .
(a) Chỉ ra một cách viết thỏa đề bài.
(b) Với cách viết thỏa đề bài thì ô chính giữa có thể là các số nào? Tại sao?

Hướng dẫn giải

(a)
(b) Giả sử ta có bảng sau thỏa đề bài

Ta có $a+e+k, c+e+g, d+e+f, b+e+h$ chia hết cho 9 .

$$
a+e+k+c+e+g+d+e+f+b+e+h=3 e+a+b+c+d+e+f+g+h+k=3 e+45
$$
nên $3 e+45$ chia hết cho 9 , do dó $e$ chia hết cho 3 , vậy $e \in\{3,6,9\}$.

Bài 1.2. Tích của $n$ số nguyên bằng 1 và tổng của chúng bằng 0 . Chứng minh rằng $n$ là một số chia hết cho 4 .

Hướng dẫn giải

Gọi $n$ số đó là $a_1, a_2, \cdots, a_n$. Ta có
$$
a_1+a_2+\cdots+a_n=0
$$

$$
a_1 \cdot a_2 \cdots a_n=1
$$
nên các số $a_i \in\{-1 ; 1\}$, mà tổng bằng 0 nên số các số 1 bằng số các số -1 , do đó $n$ chẵn, đặt $n=2 k$, khi đó
$$
1=a_1 \cdot a_2 \cdots a_n=(-1)^k
$$
Do đó $k$ cũng chẵn, suy ra $n$ chia hết cho 4.

Bài 1.3. Tập hợp $\mathrm{A}$ bao gồm các số tự nhiên thỏa các điều kiện sau:
(a) $1 \in A$;
(b) Nếu $n \in A$ thì $2 n+1 \in A$;
(c) Nếu $3 n+1 \in A$ thì $n \in A$;
Vậy 8 có thuộc $A$ không ?

Hướng dẫn giải

$\{1,3,7,15,31,63,127\} \in A$, và $\{42,85,171,343,114,229,76,25,8\} \in A$

Bài 1.4. Giả sử $x, y, z, t$ là bốn số khác nhau và là các phần tử của tập hợp
$$
A=\{1 ; 2 ; 3 ; 4\} .
$$
Tìm $x, y, z, t$ với các giả thiết:
Nếu $x \neq 1$ thì $z \neq 2$;
Nếu $t=2$ thì $y \neq 1$;
Nếu $y=2$ hoặc $y=3$ thì $x=1$;
Nếu $y \neq 3$ thì $z=4$;
Nếu $t \neq 1$ thì $y=1$.

Hướng dẫn giải

Bài 1.5. Một nhóm 6 học sinh làm bài kiểm tra môn toán được điểm là số tự nhiên từ 1 đến 10 . Hai bạn được gọi là bạn tốt nếu điểm trung bình của 2 bạn đó lớn điểm trung bình của 6 bạn.
(a) Có thể chia 6 bạn thành 3 cặp bạn tốt được không? Tại sao?
(b) Nếu số điểm của 6 bạn là khác nhau, chứng minh rằng có 2 bạn có số điểm hơn kém nhau là 1 .

Hướng dẫn giải

Gọi số điểm các bạn lằn lượt là $a_1, a_2, a_3, a_4, a_5, a_6$, và $a_i \in\{1,2,3,4,5,6,7,8,9,10\}$.
Đặt $s=a_1+a_2+a_3+a_4+a_5+a_6$
(a) Giả sử chia được thành 3 cặp bạn tốt, giả sử là các cặp $a_1, a_2 ; a_3, a_4$ và $a_5, a_6$ ta có
$$
\dfrac{a_1+a_2}{2}>\dfrac{s}{6}, \dfrac{a_3+a_4}{2}>\dfrac{s}{6}, \dfrac{a_5+a_6}{2}>\dfrac{s}{6}
$$
Suy ra
$$
\dfrac{a_1+a_2+a_3+a_4+a_5+a_6}{2}>\dfrac{s}{2}
$$

Điều này mâu thuẫn.
(b) Giả sử không có bạn nào hơn kém nhau là 1 , thì giả sử $a_1<a_2<a_3<a_4<a_5<a_6$ Suy ra $a_2 \geq 3, a_3 \geq 5, \cdots, a_6 \geq 11$, vô lí.

Bài 1.6. Trong kỳ thi tốt nghiệp THPT ở một trường, kết quả số thí sinh đạt danh hiệu xuất sắc nhu sau:
Về môn Toán: 48 thí sinh,
Về Toán hoặc Văn: 76 thí sinh,
Về Vật lí: 37 thí sinh,
Về Văn: 42 thí sinh,
Về Vật lí hoặc Văn: 66 thí sinh,
Về Toán hoặc Vật lí: 75 thí sinh,
Về cả ba môn: 4 thí sinh.
Vậy có bao nhiêu học sinh chỉ nhận được danh hiệu xuất sắc về:
(a) 1 môn ?
(b) 2 môn?
(c) Ít nhất 1 môn?

Hướng dẫn giải

Sử dụng biểu đồ Venn. Kí hiệu $A, B, C$ là tập hợp các học sinh đạt danh hiệu xuất sắc tương ứng với các môn Toán, Vật lí hoặc Văn. Các tập hợp này, theo giả thiết thì có 48,37 và 42 phần tử. Giao của ba tập hợp này có 3 phần tử. Kí hiệu qua $\mathrm{a}, \mathrm{b}, \mathrm{c}, \mathrm{x}, \mathrm{y}, \mathrm{z}$ là số các thí sinh đạt danh hiệu xuất sắc.

Theo 1,2 hoặc 3 môn. Dựa vào biểu đồ Venn ta lập được các phương trình:
$$
\left\{\begin{array}{l}
a+x+y=44 \\\
b+x+z=33 \\\
a+b+x+y+z=71 \\\
a+c+x+y+z=72 \\\\
b+c+x+y+z=62
\end{array}\right.
$$
Ta có được một hệ 6 phương trình với 6 ần, nhưng diều mà ta cần biết không phải là các giá trị ẩn $\mathrm{a}, \mathrm{b}, \mathrm{c}, \mathrm{x}, \mathrm{y}, \mathrm{z}$ mà là các tổng $\mathrm{a}+\mathrm{b}+\mathrm{c}, \mathrm{x}+\mathrm{y}+\mathrm{z}$.
Muốn vậy, ta cộng ba phương trình đầu của hệ và sau đó cộng ba phương trình sau của hệ với nhau và được:
$$
\left\{\begin{array}{l}
a+b+c+2(x+y+z)=115 \\\
2(a+b+c)+3(x+y+z)=205
\end{array}\right.
$$
Xem hệ này như là một hệ phương trình hai ẩn, ta tính được:

$$
\begin{aligned}
& a+b+c=65 \
& x+y+z=25
\end{aligned}
$$

Đáp số: 65 thí sinh đạt danh hiệu xuất sắc 1 môn, 25 thí sinh đạt danh hiệu xuất sắc 2 môn, 94 thí sinh đạt danh hiệu xuất sắc ít nhất 1 môn.

Bài 1.7. Một số $m$ được gọi là số ma thuật nếu tổng các chữ số của nó bằng tích các chữ số của nó. Ví dụ số 213 ta có $2+1+3=2 \times 1 \times 3$.
(a) Chứng minh rằng có số ma thuật có $1,2,3,4,5$ chữ số.
(b) Có số ma thuật có 6 chữ số hay không? Tại sao?
(c) Chứng minh rằng có số ma thuật có 2037 chữ số.

Hướng dẫn giải

(a) Các số ma thuật có $1,2,3,4,5$ chữ số là: $1,22,123,4211,52111$.
(b) Số ma thuật có 6 chữ số: 621111
(c) $22222222222111 \ldots .1,11$ chữ số 2 và 2025 chữ số 1 .

Bài 1.8. Có thể viết các số tự nhiên từ 1 đến 16 thành
(a) một đường thẳng
(b) một đường tròn
sao cho tồng hai số liên tiếp là bình phương của một số tự nhiên dược không? Tại sao

Hướng dẫn giải

(a) $8,1,15,10,6,3,13,12,4,5,11,14,2,7,9,16$.
(b) Giả sử tồn tại cách ghi thỏa đề bài, ta xét hai số kề bên số 8 , gọi là $a, b$ thì $8+a, 8+b$ đều là số chính phương, suy ra $a=b=1$, vô lí. Vậy không tồn tại cách ghi thỏa đề bài.

Bài 1.9. Cho $A$ là tập con của tập các số hữu tỷ dương thỏa mãn các điều kiện sau:
$1 \in A$
Nếu $x \in A$ thì $1+x \in A$
Nếu $x \in A$ thì $\dfrac{1}{x} \in A$

Hướng dẫn giải

(c) $\dfrac{13}{5}=2+\dfrac{3}{5}$.
Ta có $\dfrac{3}{5}=\dfrac{1}{1+\dfrac{2}{3}} \dfrac{3}{2} \in A \Rightarrow \dfrac{2}{3} \in A \Rightarrow \dfrac{5}{3}=1+\dfrac{2}{3} \in A$, do đó $\dfrac{3}{5} \in A$, hơn nữa $2 \in A$, suy ra $\dfrac{13}{5}=2+\dfrac{3}{5} \in A$.

Bài 1.10. Trên bảng có ghi các số tự nhiên từ 1 đến $n$. Cứ mỗi lần một học sinh xóa đi hai số và thay bằng tổng hoặc hiệu của hai số đó.
(a) Cho $n=8$ hỏi sau 7 lần có thể số trên bảng còn lại số 0 dược không?
(b) Câu hỏi tương tự với $n=9$.

Hướng dẫn giải

(a) Câu trả lời là thực hiện được, ta làm như sau:
$1,2,3,4,5,6,7,8$
$1,2,3,4,5,6,1$
$1,2,3,4,1,1$
$1,2,1,1,1$
$1,1,1,1$,
$1,1,0$
$0,0$
$0$
(b) Câu trả lời là không, vì mổi lần thay đổi thì tổng các số còn lại tính chẵn lẻ khồng đổi, tổng lúc đầu là $1+2+\cdots+9=45$ nên sau một số lần thay đổi thì số còn lại phải là số lẻ, không thể bằng 0 .

Bài 1.11. Có bao nhiêu cách viết số 1 thành tồng của 3 phân số mà mỗi phân số có tử số bằng 1 và mẫu số là một số tự nhiên? Tại sao?

Hướng dẫn giải

$$
1=\dfrac{1}{6}+\dfrac{1}{3}+\dfrac{1}{2}=\dfrac{1}{4}+\dfrac{1}{4}+\dfrac{1}{2}=\dfrac{1}{3}+\dfrac{1}{3}+\dfrac{1}{3}
$$

Bài 1.12. Chứng minh rằng giữa hai số hữu tỉ phân biệt luôn có một số hữu tỉ.

Hướng dẫn giải

Cho $a, b \in \mathbb{Q}, a<b$. Xét $c=\frac{a+b}{2}$ ta có $a<c<b$ và $c \in \mathbb{Q}$.

Bài 1.13. Gọi $S$ là tập hợp các số tự nhiên có thể viết thành tổng bình phương của hai số tự nhiên khác, ví dụ $5=1^2+2^2$ thì $5 \in S$. Chứng minh rằng nếu $x, y \in S$ thì $x y \in S$.

Hướng dẫn giải

Cho $a, b \in S$ ta có $a=x^2+y^2, b=z^2+t^2$, khi đó
$$
a b=\left(x^2+y^2\right)\left(z^2+t^2\right)=x^2 z^2+y^2 t^2+x^2 t^2+y^2 z^2=(x z+t y)^2+(x z-t y)^2
$$
Do đó $a b \in S$.

Bài 1.14. Cho $a, b$ là các số nguyên dương phân biệt, chứng minh rằng 1 không là nghiệm của phương trình $x^2-2(a+b) x+a b+2=0$.

Hướng dẫn giải

Giả sử 1 là nghiệm của phương trình ta có
$$
1^2-2(a+b) 1+a b+2=0 \Leftrightarrow a b-2 a-2 b+3=0 \Leftrightarrow(a-2)(b-2)=1
$$
Do $a, b$ là các số nguyên dương nên $a=1, b=1$ hoặc $a=3, b=3$ mâu thuẫn vì $a \neq b$.

Bài 1.15. Cho các số $a_1, a_2, \cdots, a_6$ thỏa $-\dfrac{1}{2} \leq a_i \leq \dfrac{1}{2}$ và tổng của 5 số bất kì là một số nguyên. Chứng minh rằng 6 số này bằng nhau.

Hướng dẫn giải

Đặt $S=a_1+a_2+\cdots a_6$, ta có $S \in \mathbb{Z}$
Ta có $S-a_i \in \mathbb{Z}$ với mọi $i$.
Giả sử có hai số $a_1 \neq a_2$ ta có $S-a_1-\left(S-a_2\right) \in \mathbb{Z} \Rightarrow a_2-a_1 \in \mathbb{Z}$, suy ra $a_1, a_2 \in\{\dfrac{1}{2},-\dfrac{1}{2}\}$, do $a_1 \neq a_2$ nên $a_1=\dfrac{1}{2}, a_2=-\dfrac{1}{2}$ hoặc $a_1=\dfrac{-1}{2}, a_2=\dfrac{1}{2}$.
Tương tự xét cặp số giữa $a_1$ với các số $a_3,a_4, a_5, a_6$ ta có cũng có các số còn lại thuộc $\{\dfrac{1}{2}, \dfrac{-1}{2}\}$, do đó tổng 5 số lúc này không thể là số nguyên.

Suy luận phản chứng

Bài viết này dành cho các em lớp 5, 6, 7

Các nhà toán học trong quá khứ đã làm việc chăm chỉ để khám phá bản chất của các chứng minh, và một loạt các kỹ thuật chứng minh đã được phát triển qua nhiều thế kỷ. Hôm nay, chúng tôi sẽ giới thiệu một phương pháp chứng minh quan trọng được gọi là bằng chứng do mâu thuẫn.

Ta thường gặp bài toán kiểu: Có A là đúng và cần suy ra X cũng đúng, trong một số trường hợp ta suy luận trực tiếp như sau: có A đúng thì có C đúng, có C đúng thì có D đúng, …, rồi suy ra X đúng, ở đây ta dùng A làm giả thiết để cho các suy luận sau. Tuy vậy một số tình huống ta không sử dụng được giả thiết A đúng, ta có thể dùng kĩ thuật suy luận phản chứng như sau: Giả sử X sai, tức là ta chấp nhận một giả thiết mới là X sai, từ giả thiết này ta dẫn đến một điều gì đó vô lí, hoặc dẫn đến A sai; khi đó điều giả sử đó là không đúng, tức là ta có điều cần chứng minh. Thế mạnh của suy luận phản chứng là mình có thêm một giả thiết để giúp trong việc suy luận dễ dàng hơn.

Ví dụ 1. Có tồn tại hay không số nguyên lẻ lớn nhất?

Lời giải Giả sử tồn tại số nguyên lẻ lớn nhất là $m$.

khi đó $m+2$ cũng là số lẻ và $m+2 > m$ nên mâu thuẫn vì theo giả sử thì $m$ là lớn nhất.

Vậy không có số nguyên lẻ lớn nhất.

Ví dụ 2. 5 cầu thủ bóng đá đã cùng nhau ghi được 14 bàn thắng, với mỗi cầu thủ ghi ít nhất 1 bàn. Chứng minh rằng ít nhất 2 trong số họ ghi được số bàn thắng như nhau. số bàn thắng.

Lời giải. Giả sử không có ai ghi số bàn thắng bằng nhau.

Khi đó người ghi ít nhất là 1 bàn, người kế tiếp ghi ít nhất là 2 bàn, người thứ 3 ghi ít nhất 3 bàn, cứ như thế người ghi nhiều nhất có số bàn thắng ít nhất là 5 bàn, khi đó tổng số bàn thắng của 5 người ít nhất là $1+2+3+4+5 = 15$ (mâu thuẫn).

Vậy có hai người ghi số bàn thắng bằng nhau.

Ví dụ 3. Quốc hội của một quốc gia được thành lập bởi các nghị sĩ đại diện từ 8 tỉnh. Năm mươi trong số các nghị sĩ này quyết định thành lập một ủy ban. Chứng minh rằng ủy ban này sẽ bao gồm 8 người từ cùng một tỉnh hoặc người từ tất cả 8 tỉnh.

Lời giải. Giả sử ủy bản mỗi tỉnh không có quá 7 người và chỉ đến từ 7 tỉnh trở lại, khi đó số thành viên ủy ban là không qua 49 người, mâu thuẫn.

Vậy trong ủy ban sẽ có một tỉnh có 8 người hoặc thành viên đến từ cả 8 tỉnh.

Ví dụ 4. Viết 10 số từ 0 đến 9 trên một vòng tròn, mỗi số viết đúng một lần.

a) Có tồn tại hay không cách viết sao cho tổng hai số liên tiếp không nhỏ hơn 9?
b) Có tồn tại hay không cách viết sau cho tổng 3 số liên tiếp lớn hơn 12?
Lời giải.

a) Giả sử tồn tại cách viết sao cho tổng hai số liên tiếp không nhỏ hơn 9, xét số 0 và hai số kề với 0 là $a, b$ ta có $0+a \geq 9, 0 + b \geq 9$, suy ra $a=b=9$ mâu thuẫn, vì mỗi số viết đúng 1 lần.

b) Giả sử tồn tại cách viết thỏa đề bài. Tổn các số là 45, bỏ số 9, và xếp 9 số còn lại làm ba nhóm, mỗi nhóm 3 số liên tiếp, khi đó tổng của chúng lớn hơn 36, tuy vậy ta thấy 9 số đó là $0, 1,2, \cdots 8$ tổng là 36, đây là điều mâu thuẫn.

Vậy không cách ghi thỏa đề bài.

Bài tập rèn luyện

Bài 1. Chứng minh rằng khi cho $n+1$ con thỏ vào $n$ cái chuồng thì có chuồng chứa ít nhất 2 con thỏ.

Bài 2. Cho 15 số thỏa mãn tổng của 8 số bất kì lớn nhơn tổng của 7 số còn lại. Chứng minh tất cả các số đã cho đều dương.

Bài 3. Tích của 22 số nguyên bằng 1. Chứng minh rằng tổng của chúng không thể bằng 0.

Bài 4. Có thể chia tập $X = \{1, 2, …, 2022\}$ thành các tập rời nhau sao cho mỗi tập có ít nhất 3 phần tử và phần tử lớn nhất bằng tổng các phần tử còn lại?

Áp dụng mệnh đề vào suy luận toán học

Một định lý được phát biểu thường có dạng một biểu thức mệnh đề như $P \Rightarrow Q$ (1) hoặc $P \Leftrightarrow Q$ (2)

Ví dụ. Tam giác $ABC$ vuông tại $A$ khi và chỉ khi $AB^2+AC^2=BC^2$ (Pitago).

Ví dụ. Chứng minh rằng mọi số tự nhiên lớn hơn 1 đều có thể biểu diễn thành tích các thừa số nguyên tố.

Thực ra dạng (2) cũng có dạng $P \Rightarrow Q \wedge Q \Rightarrow P$, nên ta xét dạng 1.

Với mệnh đề dạng $P \Rightarrow Q$ thì

  • $P$ được gọi là điều kiện đủ để có $Q$.
  • $Q$ được gọi là điều kiện cần để có $P$.

Phương pháp chứng minh trực tiếp. Để chứng minh mệnh đề $P \Rightarrow Q$ là đúng, ta sử dụng hằng đúng sau: $((P \Rightarrow R) \wedge (R \Rightarrow Q))  \Rightarrow (P \Rightarrow Q)$, tức là ta đi qua các bước trung gian $P \Rightarrow R$ và $R \Rightarrow Q$.

Ví dụ. Chứng minh nếu $A \subset B$ và $B \subset C$ thì $A \subset C$.

Chứng minh. Ta có $X \subset Y \Leftrightarrow \forall x \in X \Rightarrow x \in Y$.

Do đó lấy $x$ bất kì $x\in A$, ta chứng minh $x \in C$.

Thực vậy, do $x \in A$ mà $A \subset B$ nên $x \in B$. Hơn nữa $B \subset $ nên $x \in C$.

Vậy $A \subset C$.

Phương pháp chứng minh gián tiếp. Cụ thể ở đây là phương pháp phản chứng, ta sử dụng tương đương logic $P \Rightarrow Q \Leftrightarrow \overline{Q} \Rightarrow \overline{P}$.  Thay vì chứng minh $P \Rightarrow Q$ là đúng ta chứng minh $\overline{Q} \Rightarrow \overline{P}$ là đúng. Lợi thế của phản chứng minh ta có thể tạo ra một giả thiết mới là $\overline{Q}$ từ đó giúp ta suy luận tiếp.

Ví dụ. Chứng minh rằng tổng của một số hữu tỉ và một số vô tỉ là một số hữu tỉ.

Chứng minh. Lấy $a \in \mathbb{Q}, b \notin \mathbb{Q}$, ta chứng minh $a + b \notin \mathbb{Q}$.

Giả sử ngược lại $a +b = c \in \mathbb{Q}$. Suy ra $b = c – a$, mà $c, a \in \mathbb{Q} \Rightarrow c – a \in \mathbb{Q}$, suy ra $b \in \mathbb{Q}$ (mâu thuẫn).