ในการแก้ปัญหาข้อนี้เราจะให้
Wikimedia Error
Error
Too many requests (f061ab2)
แทนเซตของพยัญชนะทั้งหมดที่เป็นไปได้ เช่น ถ้าสตริงที่เราสนใจเกิดจากการนำพยัญชนะของภาษาอังกฤษมาประกอบกัน เราอาจจะให้
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นต้น
นอกจากนี้ เพื่อให้ไม่ให้เกิดความสับสน เราจะแทนสตริงด้วยตัวอักษรภาษาอังกฤษตัวเล็ก เช่น
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นต้น และจะแทนตัวอักษรด้วยตัวอักษรกรีก เช่น
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นต้น
ข้อย่อย 1
ให้
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นสตริง เรานิยามสตริงกลับ
Wikimedia Error
Error
Too many requests (f061ab2)
ของ
Wikimedia Error
Error
Too many requests (f061ab2)
ดังต่อไปนี้

เมื่อ
เป็นสตริงและ
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นพยัญชนะ
ข้อย่อย 2
ให้
เป็นเซตของสตริงที่เป็นพาลินโดรม เราสามารถนิยาม
ได้จากกฎต่อไปนี้
ข้อย่อย 3
ในปัญหาข้อนี้ ให้
แทนความยาวของสตริง
Wikimedia Error
Error
Too many requests (f061ab2)
(ความยาวของสตริงคือจำนวนตัวอักษรในสตริงนั้น)
เราจะพิสูจน์ข้อความ
โดยใช้ induction บนตัวแปร
(Base Case)
Wikimedia Error
Error
Too many requests (f061ab2)
เราจะได้ว่า ฉะนั้น
(Induction Case) ให้ เป็นจำนวนเต็มที่ไม่เป็นลบ และสมมติว่าสำหรับสตริง ที่มีความยาว ใดๆ
ให้ เป็นสตริืงที่มีความ
Wikimedia Error
Error
Too many requests (f061ab2)
ใดๆ สมมติให้
โดย
เราได้ว่า
ดังนั้นเราสามารถสรุปได้ว่า
Wikimedia Error
Error
Too many requests (f061ab2)
สำหรับสตริง และ
ใดๆ