Gửi bởi
Caruri
Cái này là dạng chứng minh sự tồn tại, chủ thớt nêu ra một định đề là tôi chứng minh là cái đó tồn tại (việc con mã ở bất kỳ điểm nào cũng nhảy được hết 90 ô) và đưa ra được sự tồn tại của nó (bằng một lời giải) thì chứng minh này đầy đủ rồi bạn.
Chứng minh sự không tồn tại mới khó, ví dụ chỉ ra rằng việc đó không thể làm được, thì không thể đưa ra ví dụ như nó tồn tại. Một bài toán nổi tiếng chỉ ra sự không tồn tại là bài toán Fermat lớn, mấy trăm năm mới chứng minh xong, dù đã chứng minh cho rất nhiều trường hợp nhỏ nhưng không thể coi là tổng quát được.
Một ví dụ khác: chứng minh loài cá vây tay còn tồn tại trên trái đất, thì chỉ cần bắt một con đem trưng ra là đủ, còn chứng minh con tê giác một sừng đã tuyệt chủng tại Việt Nam thì mới là khó.
Còn chứng minh với bàn cờ dài rộng thế nào thì là bài toán tổng quát rồi, ở đây là một bài toán cụ thể với bàn 9 x 10 chứ không phải bài tổng quát với bàn m x n. Nếu đòi chứng minh tồn tại với bàn m x n mà chỉ có đưa ra lời giải của bàn 9 x 10 thì mới là thiếu sót.
