MathDB
exist m,n such a_m = a_n and a_{m+1} = b_{n+1} in an English alphabet

Source: Singapore Open Math Olympiad 2003 2nd Round p1 SMO

April 2, 2020
Wordsalphabetcombinatorics

Problem Statement

A sequence (a1,a2,...,a675)(a_1,a_2,...,a_{675}) is given so that each term is an alphabet in the English language (no distinction is made between lower and upper case letters). It is known that in the sequence aa is never followed by bb and cc is never followed by dd. Show that there are integers mm and nn with 1m<n6741 \le m < n \le 674 such that am=ana_m = a_n and am+1=an+1a_{m+1} = a_{n+1}·