A DIRECT DERIVATION OF THE CATALAN FORMULA
Claim 1: All of these substrings are different.
Proof: Suppose that two substrings were the same. In the original infinite sequence S they would start at positions i and j for some 1 ≤ i < j ≤ 2n + 1.
Let [a,b] denote the substring of consisting of the a th to b th digits inclusive. Then, by assumption, [i,j – 1] = [ j, 2j – i -1], and furthermore [j, 2j – i -1] = [2j – 1, 3j – 2j -1], and so on. Therefore, from the i th digit onwards, S contains a cycle of length j – i < 2n + 1. It follows that S also contains a cycle of length j – 1 starting from the first digit.
A DIRECT DERIVATION OF THE CATALAN FORMULA
Claim 1: All of these substrings are different.
Proof: Suppose that two substrings were the same. In the original infinite sequence S they would start at positions i and j for some 1 ≤ i < j ≤ 2n + 1.
Let [a,b] denote the substring of consisting of the a th to b th digits inclusive. Then, by assumption, [i,j – 1] = [ j, 2j – i -1], and furthermore [j, 2j – i -1] = [2j – 1, 3j – 2j -1], and so on. Therefore, from the i th digit onwards, S contains a cycle of length j – i < 2n + 1. It follows that S also contains a cycle of length j – 1 starting from the first digit.
การแปล กรุณารอสักครู่..
รากศัพท์โดยตรงของสูตรคาตาลัน
เรียกร้องที่ 1:. ทั้งหมดของสตริงย่อยเหล่านี้จะแตกต่างกัน
พิสูจน์: สมมติว่าทั้งสองสตริงได้เหมือนกัน ในลำดับอนันต์เดิม S พวกเขาจะเริ่มต้นที่ตำแหน่ง i และ j สำหรับบาง 1 ≤ i <J ≤ 2n + 1.
ให้ [, b] แสดงย่อยของประกอบด้วย th ถึง b th ตัวเลขรวม จากนั้นโดยสมมติฐาน [I, J - 1] = [เจ, 2j - ฉัน -1] และนอกจาก [เจ, 2j - ฉัน -1] = [2j - 1, 3j - 2j -1] และอื่น ๆ . ดังนั้นจาก i th หลักเป็นต้นไป, S มีวงจรของความยาว J - i <2n + 1 ตามที่ S นอกจากนี้ยังมีวงจรของความยาว J - 1 เริ่มจากหลักแรก
การแปล กรุณารอสักครู่..