Bài 3
Gọi là số dãy các số nguyên dương sao cho và mỗi là một lũy thừa của hai (). Gọi là số dãy các số nguyên dương sao cho và mỗi bất đẳng thức đúng (). Chứng minh rằng với mọi số nguyên dương .
Bước 4 trên 4: Kết luận song ánh
Phân tích chi tiết
Ánh xạ tổng-hàng (từ kiểu sang kiểu , qua việc đọc tổng theo cột của mảng dựng từ các hàng) và ánh xạ tổng-cột (từ kiểu sang kiểu , qua việc đọc tổng theo hàng của mảng kỳ diệu dựng từ các cột) là nghịch đảo của nhau, vì một mảng kỳ diệu được khôi phục duy nhất từ tổng theo hàng hoặc tổng theo cột của nó. Do đó hai ánh xạ này cho một song ánh giữa các dãy kiểu có tổng và các dãy kiểu có tổng , nên với mọi số nguyên dương .