2009-10-05 26 views
7

Có một câu hỏi trong TAOCP vol 1, trong "Ghi chú về bài tập" phần, mà đi một cái gì đó như:Về một bài tập xuất hiện trong khối lượng TAOCP của một người "Ghi chép về bài tập"

"Chứng minh rằng 13^3 = 2197. Tổng quát câu trả lời của bạn (Đây là một vấn đề khủng khiếp mà tác giả đã cố gắng tránh). "

Câu hỏi:

  1. Làm thế nào bạn sẽ thực sự đi về minh này? (Phép nhân trực tiếp là một cách, một cách khác có thể sử dụng công thức (a + b)^3). Liệu các giải pháp đòi hỏi phải sử dụng một số phương pháp mà sẽ cho phép chúng tôi để làm cho một số loại tổng quát?

  2. Khái quát hóa ở đây là gì?

  3. Tại sao đây là một vấn đề khủng khiếp?

  4. Một số loại vấn đề khủng khiếp tương tự khác mà bạn biết là gì?

Đánh giá cao bất kỳ câu trả lời nào.

P.S. Tôi xin lỗi nếu tuyên bố của vấn đề ở trên làm cho nó trông giống như một vấn đề bài tập về nhà, nhưng nó không. Yêu cầu mọi người không gắn thẻ điều này như là một bài tập về nhà, để nhiều người hơn có thể trả lời.

+0

Out of bối cảnh đó là một tính toán, nó không đòi hỏi bất kỳ bằng chứng. – Kobi

+0

Có câu hỏi liên quan đến lập trình ở đây không? – kloucks

+2

Tôi đoán rằng cuốn sách được đề cập là Nghệ thuật Lập trình Máy tính ít nhất có liên quan đến lề - nhưng tôi nghĩ đó là một trường hợp Knuth muốn cho phép những người toán khác biết những gì được coi là ngoài phạm vi. – garethm

Trả lời

3

Tôi đoán rằng anh ấy ám chỉ có lẽ chứng minh nó bắt đầu từ chỉ Peano axioms. Sau đó, constructing các số nguyên, và tiếp tục chính thức cho thấy rằng 13^3 = 2197 là một kết luận tự nhiên, hợp lý chảy từ định nghĩa lũy thừa.

Chúng ta có thể khái quát hóa để chỉ ra rằng với a và b, tồn tại một số nguyên c, đó là^b.

Đây là một loại vấn đề khủng khiếp vì hầu hết mọi người thấy nó không thú vị.

Các loại vấn đề tương tự có thể được tìm thấy trong khóa học về phân tích (cùng với một số điều thú vị hơn).

+1

Hi garethm, tôi nghi ngờ điều đó. Nếu vấn đề trên được yêu cầu sử dụng tiên đề Peano, nó sẽ có xếp hạng ít nhất là M30 hoặc HM30, khi tôi nghĩ rằng câu hỏi cụ thể này có xếp hạng nhỏ hơn 15. Có thể, kỳ vọng là một cái gì đó như thế này (ví dụ:): Chứng minh rằng 1 + 2 + 3 + ... + 10 = 55. Tổng quát câu trả lời của bạn. Và câu trả lời sẽ giống như sau: (1 + 10) + (2 + 9) + ... + (5 + 6) = 5 x 11 = (10 x 11)/2 và tổng quát rõ ràng là (ít nhất là Gauss :-) 1 + 2 + 3 + ... + n = (nx (n + 1))/2. Nếu có, danh tính nào bị ẩn trong 13^3 = 1397? – vshenoy

1

tôi ban đầu coi nó như sau:
n = n * n * n
log n (n) = log n (n * n * n)
log n (n) = log n (n) + log n (n) + log n (n)
012.3 = 1 + 1 + 1
3 = 3

Điều này dường như khá tròn trong việc sử dụng nhận dạng logarit, nhưng được đưa ra trong nghiên cứu thuật toán của tôi, nó rất thoải mái.

0

Chấn mắc kẹt tại cuộc tập trận tương tự và 'giải quyết' nó theo cách này: a^b = mult (i = 1 đến b) một

Sau một chút suy nghĩ tôi đi đến kết luận rằng đây là một yếu tố chính (cả 13 và 3 là số nguyên tố). Tra cứu định lý nhỏ của fermat.

(Tôi biết, nó là một chủ đề cũ nhưng có lẽ điều này sẽ giúp một ai đó cũng đang tìm kiếm một câu trả lời cho execise này.)

Các vấn đề liên quan