Hãy chứng minh tất cả các số tự nhiên bằng nhau.
Nhất : 3 tick
Nhì : 2 tick
Ba : 1 tick
K
Khách
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.
Những câu hỏi liên quan
B1
26 tháng 8 2017
1. Phương pháp 1: ( Hình 1)
Nếu 
thì ba điểm A; B; C thẳng hàng.
2. Phương pháp 2: ( Hình 2)
Nếu AB // a và AC // a thì ba điểm A; B; C thẳng hàng.
(Cơ sở của phương pháp này là: tiên đề Ơ – Clit- tiết 8- hình 7)
3. Phương pháp 3: ( Hình 3)
Nếu AB 
a ; AC A thì ba điểm A; B; C thẳng hàng.
( Cơ sở của phương pháp này là: Có một và chỉ một đường thẳng
a’ đi qua điểm O và vuông góc với đường thẳng a cho trước
- tiết 3 hình học 7)
Hoặc A; B; C cùng thuộc một đường trung trực của một
đoạn thẳng .(tiết 3- hình 7)
4. Phương pháp 4: ( Hình 4)
Nếu tia OA và tia OB là hai tia phân giác của góc xOy
thì ba điểm O; A; B thẳng hàng.
Cơ sở của phương pháp này là:
Mỗi góc có một và chỉ một tia phân giác .
* Hoặc : Hai tia OA và OB cùng nằm trên nửa mặt phẳng bờ chứa tia Ox , 
thì ba điểm O, A, B thẳng hàng.
5. Nếu K là trung điểm BD, K’ là giao điểm của BD và AC. Nếu K’
Là trung điểm BD thì K’ 
K thì A, K, C thẳng hàng.
(Cơ sở của phương pháp này là: Mỗi đoạn thẳng chỉ có một trung điểm)
C. Các ví dụ minh họa cho tùng phương pháp:
Phương pháp 1
Ví dụ 1. Cho tam giác ABC vuông ở A, M là trung điểm AC. Kẻ tia Cx vuông góc CA
(tia Cx và điểm B ở hai nửa mặt phẳng đối nhau bờ AC). Trên tia Cx lấy điểm
D sao cho CD = AB.
Chứng minh ba điểm B, M, D thẳng hàng.
Gợi ý: Muốn B, M, D thẳng hàng cần chứng minh 
Do 
nên cần chứng minh 
BÀI GIẢI:
AMB và CMD có: 
AB = DC (gt).
MA = MC (M là trung điểm AC)
Do đó: AMB = CMD (c.g.c). Suy ra:
Mà (kề bù) nên .
Vậy ba điểm B; M; D thẳng hàng.
Ví dụ 2. Cho tam giác ABC. Trên tia đối của AB lấy điểm D mà AD = AB, trên tia đối
tia AC lấy điểm E mà AE = AC. Gọi M; N lần lượt là các điểm trên BC và ED
sao cho CM = EN.
Chứng minh ba điểm M; A; N thẳng hàng.
Gợi ý: Chứng minh 
từ đó suy ra ba điểm M; A; N thẳng hàng.
BÀI GIẢI (Sơ lược)
ABC = ADE (c.g.c) 
ACM = AEN (c.g.c) 
Mà 
(vì ba điểm E; A; C thẳng hàng) nên
Vậy ba điểm M; A; N thẳng hàng (đpcm)
BÀI TẬP THỰC HÀNH CHO PHƯƠNG PHÁP 1
Bài 1: Cho tam giác ABC. Trên tia đối của tia AB lấy điểm D sao cho AD = AC, trên tia đối
của tia AC lấy điểm E sao cho AE = AB. Gọi M, N lần lượt là trung điểm của BE và
CD.
Chứng minh ba điểm M, A, N thẳng hàng.
Bài 2: Cho tam giác ABC vuông ở A có 
. Vẽ tia Cx BC (tia Cx và điểm A ở
phía ở cùng phía bờ BC), trên tia Cx lấy điểm E sao cho CE = CA. Trên tia đối của tia
BC lấy điểm F sao cho BF = BA.
Chứng minh ba điểm E, A, F thẳng hàng.
Bài 3: Cho tam giác ABC cân tại A, điểm D thuộc cạnh AB. Trên tia đối của tia CA lấy điểm
E sao cho CE = BD. Kẻ DH và EK vuông góc với BC (H và K thuộc đường thẳng BC)
Gọi M là trung điểm HK.
Chứng minh ba điểm D, M, E thẳng hàng.
Bài 4: Gọi O là trung điểm của đoạn thẳng AB. Trên hai nửa mặt phẳng đối nhau bờ AB, kẻ
Hai tia Ax và By sao cho 
.Trên Ax lấy hai điểm C và E(E nằm giữa A và C),
trên By lấy hai điểm D và F ( F nằm giữa B và D) sao cho AC = BD, AE = BF.
Chứng minh ba điểm C, O, D thẳng hàng , ba điểm E, O, F thẳng hàng.
Bài 5.Cho tam giác ABC . Qua A vẽ đường thẳng xy // BC. Từ điểm M trên cạnh BC, vẽ các
đường thẳng song song AB và AC, các đường thẳng này cắt xy theo thứ tự tại D và E.
Chứng minh các đường thẳng AM, BD, CE cùng đi qua một điểm.
PHƯƠNG PHÁP 2
Ví dụ 1: Cho tam giác ABC. Gọi M, N lần lượt là trung điểm của các cạnh AC, AB. Trên
Các đường thẳng BM và CN lần lượt lấy các điểm D và E sao cho M là trung
điểm BD và N là trung điểm EC.
Chứng minh ba điểm E, A, D thẳng hàng.
Hướng dẫn: Xử dụng phương pháp 2
Ta chứng minh AD // BC và AE // BC.
BÀI GIẢI.
BMC và DMA có:
MC = MA (do M là trung điểm AC)
(hai góc đối đỉnh)
MB = MD (do M là trung điểm BD)
Vậy: BMC = DMA (c.g.c)
Suy ra: 
, hai góc này ở vị trí so le trong nên BC // AD (1)
Chứng minh tương tự : BC // AE (2)
Điểm A ở ngoài BC có một và chỉ một đường thẳng song song BC nên từ (1)
và (2) và theo Tiên đề Ơ-Clit suy ra ba điểm E, A, D thẳng hàng.
Ví dụ 2: Cho hai đoạn thẳng AC và BD cắt nhau tai trung điểm O của mỗi đoạn. Trên tia
AB lấy lấy điểm M sao cho B là trung điểm AM, trên tia AD lấy điểm N sao cho
D là trung điểm AN.
24 tháng 1 2021
a ) 1/2, 2/3, 3/6, 1/3, 1/6, 2/6 b)2/1, 3/2, 6/1, 6/2, 6/3, 3/1 c) ko có số nào bằng nhau
S
3
15 tháng 11 2019
CMR: Tất cả các stn bằng nhau:
1;2;3;4;5;6;7;8;9;.......
=1;1+1;1+1+1;1+1+1+1;1+1+1+1+1;1+1+1+1+1+1;........
=> Tất cả các stn đều có số hạng là 1
Nhưng đề bài sai rồi bn
Chúc bn học tốt
T
15 tháng 11 2019
Các nhà toán học dùng ký hiệu N hay ℕ cho tập hợp tất cả các số tự nhiên. Một số văn bản cũ cũng đôi khi dùng kí hiệu J cho tập hợp này. Theo định nghĩa, tập hợp vô hạn và đếm được, tức lực lượng của tập hợp số tự nhiên là ℵ0
Ký hiệu N hoa hai gạch được dùng để chỉ tập hợp số tự nhiên (xem danh sách ký hiệu toán học)
Để không bị nhầm lẫn về việc tập hợp số tự nhiên có số không hay không, đôi khi người ta dùng thêm chỉ số "0" để ám chỉ là có chứa số không, và chỉ số trên "*" hoặc chỉ số dưới ">0" để ám chỉ không chứa số không:
ℕ = ℕ0 = {0, 1, 2, …}
ℕ* = ℕ1 = ℕ>0 = {1, 2, …}
Đôi khi một số tác giả dùng chỉ số dưới hoặc chỉ số trên "+" để ám chỉ khái niệm "dương" của số tự nhiên, tức là N+ hay N+ = { 1, 2,... }. Thế nhưng, cần thận trọng với ký hiệu kiểu này, vì trong một số trường hợp khác, ít nhất là đối với trường phái toán châu Âu, ký hiệu này lại ám chỉ cho khái niệm "không âm", lấy ví dụ: R+ = [0,∞) hay Z+ = { 0, 1, 2,...}. Trong khi đó, ký hiệu * là chuẩn mực dùng cho khái niệm "khác số không" hay tổng quát hơn là dùng cho một phần tử có thể nghịch đảo được. Tài liệu giáo khoa chuẩn của Việt Nam[2], cũng dùng ký hiệu N*.
Các nhà lý thuyết tập hợp thường ký hiệu tập hợp tất cả các số tự nhiên là ω. Nếu ký hiệu này được dùng thì hiển nhiên đây là tập số tự nhiên có bao gồm số không.
18 tháng 3 2016
trên vio đúng ko
1. có 4 số nhé :21,42,63,84
2.chỉ cần lấy số cuối chia cho 99 thôi = 1 bạn nhé
3.cách làm nè : 19x2+1=39 ;(2015+39):2=1027
4. có 9000 số có 4 chữ số và số lớn nhất có 4 chữ số chia hết cho 5 là 9995 số bé nhất có 4 chữ số chia hết cho 5 là 1000
ta lấy (9995-1000):"k.c" là 5 +1= 1800 chia hết cho 5
lấy 9000 số có 4 chữ số - đi số các số hạng chia hết cho 5 là 1800 = 7200
DỄ ỢT
22 tháng 9 2015
a) 102; 111; 120; 210; 201; 300
b) 4000 3100 3010 3001 2002 2020 2200 2011 2101 2110 1111 1003 1030 1300 1210 1201 1120 1102 1012 1021 v.v..
Nếu thiểu bổ sung hộ mk.
29 tháng 6 2017
Câu 1 (3 điểm)
Viết tập hợp H bao gồm các số tự nhiên khác 0; nhỏ hơn 50 và chia hết cho 3.
\(H=\left\{3;6;9;12;15;18;21;24;27;30;33;36;39;42;45;48\right\}\)
Câu 2 (3 điểm)
Dùng các số tự nhiên 0; 2; 3; 4, hãy viết tất cả các số tự nhiên có 3 chữ số khác nhau:
- 203
- 204
- 230
- 234
- 240
- 243
- 302
- 304
- 320
- 324
- 340
- 342
- 402
- 403
- 420
- 423
- 430
- 432
Trong toán học, một chứng minh là một cách trình bày thuyết phục (sử dụng những chuẩn mực đã được chấp nhận trong lĩnh vực đó) rằng một phát biểu toán học là đúng đắn[1]. Chứng minh có được từ lập luận suy diễn, chứ không phải là tranh luận kiểu quy nạp hoặc theo kinh nghiệm. Có nghĩa là, một chứng minh phải biểu diễn cho thấy một phát biểu là đúng với mọi trường hợp, không có ngoại lệ. Một mệnh đề chưa được chứng minh nhưng được chấp nhận đúng được gọi là một phỏng đoán.
Phát biểu đã được chứng minh thường được gọi là định lý[1]. Một khi định lý đã được chứng minh, nó có thể được dùng làm nền tảng để chứng minh các phát biểu khác. Một định lý cũng có thể được gọi là bổ đề, đặc biệt nếu nó được dự định dùng làm bước đệm để chứng minh một định lý khác.
Mục lục
Lịch sử[sửa | sửa mã nguồn]
Các tranh luận về sự hợp lý bằng cách sử dụng các vật dụng có sẵn như hình ảnh hay vật tương tự là tiền đề cho các chứng minh toán học chính xác[2]. Sự phát triển của chứng minh toán học chủ yếu là sản phẩm của nền văn minh Hy Lạp. Thales (624–546 TCN) đã chứng minh một số định lý trong hình học. Eudoxus (408–355 TCN) và Theaetetus (417–369 TCN) đã công thức hóa các định lý nhưng không chứng minh. Aristoteles (384–322 TCN) nói rằng các định nghĩa cần được mô tả bằng những khái niệm đã biết. Euclid (300 TCN) đã bắt đầu từ những thuật ngữ chưa được định nghĩa là các tiên đề (các mệnh đề sử dụng những thuật ngữ chưa định nghĩa được giả thiết là hiển nhiên đúng, nguyên từ Hy Lạp là "axios" có nghĩa là "một thứ giá trị") và đã dùng những thứ này để chứng minh các định lý bằng luận lý suy diễn. Lý thuyết chứng minh hiện đại xem các chứng minh là những cấu trúc dữ liệu được định nghĩa một cách quy nạp. Người ta không còn giả thiết rằng các tiên đề lúc nào cũng "đúng đắn"; điều này cho phép các lý thuyết toán học được xây dựng song song nhau dựa trên những tập tiên đề khác nhau (Lý thuyết tập hợp tiên đề và Hình học phi Euclid là các ví dụ).
Các phương pháp chứng minh[sửa | sửa mã nguồn]
Chứng minh trực tiếp[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh trực tiếp
Trong chứng minh trực tiếp[3], kết luận có được bằng cách phối hợp một cách lôgic các tiên đề, định nghĩa, và các định lý trước đó. Ví dụ, chứng minh trực tiếp có thể dùng để chứng minh rằng tổng của hai số nguyên chẵn luôn luôn là số chẵn:
Với hai số nguyên chẵn bất kỳ {\displaystyle x}
và {\displaystyle y}
ta có thể biểu diễn thành {\displaystyle x=2a}
và {\displaystyle y=2b}
qua hai số nguyên {\displaystyle a}
và {\displaystyle b}
nào đó, vì cả {\displaystyle x}
và {\displaystyle y}
đều là bội số của 2. Mà tổng {\displaystyle x+y=2a+2b=2(a+b)}
cũng là bội của 2, do đó theo định nghĩa, nó là số chẵn.
Bài chứng minh này sử dụng định nghĩa số nguyên chẵn, và luật phân phối.
Chứng minh bằng quy nạp toán học[sửa | sửa mã nguồn]
Bài chi tiết: Quy nạp toán học
Trong cách chứng minh bằng quy nạp toán học'[4], đầu tiên "trường hợp cơ sở" sẽ được chứng minh, sau đó sẽ dùng một "luật quy nạp" để chứng minh (thường là vô tận) các trường hợp khác. Vì trường hợp cơ sở là đúng, tất cả các trường hợp khác cũng phải đúng, thậm chí nếu ta không thể chứng minh trực tiếp tất cả chúng là đúng vì số lượng vô tận của nó. Một dạng con của quy nạp là phương pháp xuống thang. Phương pháp xuống thang được dùng để chứng minh sự vô tỷ của căn bậc 2 của 2.
Nguyên tắc quy nạp toán học như sau: Cho N = { 1, 2, 3, 4,... } là tập các số tự nhiên và P(n) là một phát biểu toán học liên quan tới một số tự nhiên n thuộc N sao cho
Khi đó P(n) là đúng với mọi số tự nhiên n.
Các nhà toán học thường dùng cụm từ "chứng minh bằng quy nạp" để nói tắt cho chứng minh bằng quy nạp toán học[5]. Tuy vậy, thuật ngữ "chứng minh bằng quy nạp" cũng được dùng trong logic để nói đến một tranh luận sử dụng suy diễn quy nạp.
Chứng minh bằng chuyển vế[sửa | sửa mã nguồn]
Chứng minh bằng chuyển vế sẽ hình thành kết luận "nếu p thì q" bằng cách chứng minh phát biểu tương phản tương đương "nếu không q thì không p".
Chứng minh bằng phản chứng[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh bằng phản chứng
Trong chứng minh bằng phản chứng (còn được gọi là reductio ad absurdum, tiếng La tinh có nghĩa là "thu giảm đến sự vô lý"), người ta sẽ chứng minh nếu một phát biểu nào đó xảy ra, thì dẫn đến mâu thuẫn về lôgic, vì vậy phát biểu đó không được xảy ra. Phương pháp này có lẽ là phương pháp phổ biến nhất trong chứng minh toán học. Một ví dụ nổi tiếng về cách chứng minh phản chứng là để chứng minh {\displaystyle {\sqrt {2}}}
là một số vô tỷ:
Giả sử {\displaystyle {\sqrt {2}}}
là số hữu tỷ, ta sẽ biểu diễn được {\displaystyle {\sqrt {2}}={a \over b}}
trong đó a và b là các số nguyên khác không có ước chung lớn nhất là 1 (theo định nghĩa số hữu tỷ). Do đó, {\displaystyle b{\sqrt {2}}=a}
. Bình phương hai vế cho ra 2b2 = a2. Vì vế trái chia hết cho 2, nên vế phải cũng phải chia hết cho 2 (vì chúng bằng nhau và đều là số nguyên). Do đó a2 là số chẵn, có nghĩa là a cũng phải là số chẵn. Dẫn đến ta có thể viết a = 2c, trong đó c cũng là số nguyên. Thay vào phương trình ban đầu cho ra 2b2 = (2c)2 = 4c2. Chia hai vế cho 2 ta được b2 = 2c2. Nhưng khi đó, tương tự như trên, b2 chia hết cho 2, nên b phải là số chẵn. Nhưng nếu a và b đều là số chẵn, chúng sẽ có chung một ước số là 2. Điều này trái với giả thuyết, do đó mà chúng ta buộc phải kết luận rằng {\displaystyle {\sqrt {2}}}
là số vô tỷ.
Chứng minh bằng dẫn chứng[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh bằng dẫn chứng
Chứng minh bằng dẫn chứng, là đưa ra một dẫn chứng cụ thể với một thuộc tính nào đó để chứng minh rằng có tồn tại một thứ có tính chất như vậy. Ví dụ như Joseph Liouville đã chứng minh tồn tại số siêu việt bằng cách đưa ra một ví dụ rõ ràng.
Chứng minh vét cạn[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh vét cạn
Trong chứng minh vét cạn, kết luận sẽ có được bằng cách chia nhỏ nó ra thành một số trường hợp hữu hạn và chứng minh mỗi trường hợp một cách riêng rẽ. Số trường hợp đôi khi rất lớn. Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp. Cách chứng minh này còn gây tranh cãi vì đa số các trường hợp được kiểm chứng bằng chương trình máy tính, chứ không phải bằng tay. Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
Chứng minh xác suất[sửa | sửa mã nguồn]
Bài chi tiết: Phương pháp xác suất
Chứng minh xác suất là cách chứng minh trong đó người ta đưa một ví dụ để cho thấy nó có tồn tại, với một độ tin cậy nào đó, bằng cách dùng các phương pháp của lý thuyết xác suất. Cái này không nên nhầm lẫn với một tranh luận về một định lý 'có thể' đúng. Loại suy diễn sau có thể gọi là 'tranh luận có vẻ đúng' và không phải là một chứng minh; trong trường hợp phỏng đoán Collatz ta có thể thấy nó cách xa một chứng minh đúng nghĩa như thế nào[6]. Chứng minh xác suất, cũng như chứng minh bằng dẫn chứng, là một trong nhiều cách chứng minh định lý sự tồn tại.
Chứng minh tổ hợp[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh tổ hợp
Một chứng minh tổ hợp sẽ chứng minh sự tương đương của các cách biểu diễn khác nhau bằng cách cho thấy chúng dẫn đến cùng một đối tượng theo các cách khác nhau. Một song ánh giữa hai tập hợp thường được dùng để chứng minh rằng số biểu thức là bằng nhau.
Chứng minh không xây dựng[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh không xây dựng
Một chứng minh không xây dựng (nonconstructive proof) sẽ chứng minh một đối tượng toán học nào đó phải tồn tại (ví dụ "X nào đó thỏa mãn f(X)"), mà không giải thích làm thế nào để tìm đối tượng đó. Thông thường, nó có dạng như chứng minh phản chứng trong đó người ta chứng minh việc không tồn tại một đối tượng là không xảy ra. Ngược lại, một chứng minh xây dựng (chứng minh bằng dẫn chứng) chứng minh rằng một đối tượng nào đó tồn tại bằng cách đưa ra phương pháp tìm nó. Một ví dụ nổi tiếng về chứng minh không xây dựng là chứng minh tồn tại hai số vô tỷ {\displaystyle a}
và {\displaystyle b}
sao cho {\displaystyle a^{b}}
là số hữu tỷ:
Hoặc {\displaystyle {\sqrt {2}}^{\sqrt {2}}}
là một số hữu tỷ và như vậy đã chứng minh xong (với {\displaystyle a=b={\sqrt {2}}}
), hoặc {\displaystyle {\sqrt {2}}^{\sqrt {2}}}
là số vô tỷ và ta có thể viết {\displaystyle a={\sqrt {2}}^{\sqrt {2}}}
và {\displaystyle b={\sqrt {2}}}
. Cho ra {\displaystyle \left({\sqrt {2}}^{\sqrt {2}}\right)^{\sqrt {2}}={\sqrt {2}}^{2}=2}
, là dạng hữu tỷ của {\displaystyle a^{b}.}
Chứng minh bằng hình ảnh[sửa | sửa mã nguồn]
Chứng minh bằng hình ảnh cho tam giác (3, 4, 5) trong Chou Pei Suan Ching 500–200 TCN
Mặc dù không phải là một cách chứng minh chính quy, một cách biểu diễn hình ảnh cho một định lý toán học đôi khi được gọi là "chứng minh không cần lời". Hình ảnh bên phải là ví dụ của một chứng minh bằng hình ảnh cổ xưa định lý Pythagoras trong trường hợp tam giác (3, 4, 5).
Chứng minh cơ bản[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh cơ bản
Một chứng minh cơ bản là một chứng minh chỉ dùng các kỹ thuật cơ bản. Cụ thể hơn, thuật ngữ được dùng trong lý thuyết số để ám chỉ các chứng minh không sử dụng phân tích số phức. Đôi khi người ta cho rằng một số định lý, như định lý số nguyên tố, chỉ có thể chứng minh bằng toán học "cao cấp". Tuy nhiên, qua thời gian, nhiều trong số các kết quả này đã được chứng minh lại chỉ bằng các kỹ thuật cơ bản.
Chứng minh hai cột[sửa | sửa mã nguồn]
Một chứng minh hai cột xuất bản năm 1913
Một dạng cụ thể của chứng minh sử dụng hai cột song song thường dùng trong các lớp hình học cơ bản[7]. Chứng minh được viết theo dạng một loạt hàng phân thành hai cột. Tại mỗi dòng, cột bên trái chứa các mệnh đề (hai đôi khi gọi là phát biểu), còn cột bên phải là lời giải thích ngắn gọn mệnh đề đó là gì, một tiên đề, giả thuyết, hay có được từ dòng trên (hoặc đôi khi chỉ gọi là "suy diễn").
Chứng minh thống kê trong toán học thuần túy[sửa | sửa mã nguồn]
Bài chi tiết: Chứng minh thống kê
Cụm từ "chứng minh thống kê" có thể được dùng như thuật ngữ hoặc một cách thông thường trong các lĩnh vực toán học thuần túy, như các lĩnh vực liên quan đến mật mã hóa, chuỗi hỗn loạn, và lý thuyết số xác suất và phân tích[8][9][10]. Nó ít được dùng để chỉ một chứng minh toán học trong ngành toán học có tên thống kê toán học.
Chứng minh với sự hỗ trợ của máy tính[sửa | sửa mã nguồn]
Cho đến thế kỷ thứ 20 người ta đã giả thiết rằng, trên nguyên tắc, tất cả các chứng minh đều có thể được một nhà toán học giỏi xác nhận sự đúng đắn của nó[2]. Tuy nhiên, ngày nay máy tính được dùng cả để chứng minh các định lý lẫn thực hiện các phép toán quá dài mà con người hoặc một nhóm người có thể kiểm tra nổi; cách chứng minh định lý bốn màu đầu tiên là một ví dụ về một cách chứng minh có sự hỗ trợ từ máy tính. Một số nhà toán học lo ngại rằng khả năng xảy ra lỗi trong một chương trình máy tính hoặc lỗi khi tính toán có thể khiến cho sự đúng đắn của các cách chứng minh bằng máy tính bị đặt dấu hỏi. Trên thực tế, cơ hội xảy ra lỗi để bác bỏ một chứng minh của máy tính có thể giảm thiểu bằng cách đưa vào sự trùng lặp và tự kiểm tra khi tính toán, và bằng cách phát triển nhiều cách tiếp cận và chương trình độc lập nhau.
Tham khảo[sửa | sửa mã nguồn]
Cách giải của bạn khá dài dòng và rối nên giải Ba