olymmath

CMO 1995 Problem 6

  • Day 2

Let n(n>1)n(n>1) be an odd. We define xk=(x1(k),x2(k),⋯ ,xn(k))x_k=(x^{(k)}_1,x^{(k)}_2,\cdots ,x^{(k)}_n) as follow: x0=(x1(0),x2(0),⋯ ,xn(0))=(1,0,⋯ ,0,1)x_0=(x^{(0)}_1,x^{(0)}_2,\cdots ,x^{(0)}_n)=(1,0,\cdots ,0,1) ; xi(k)={0,xi(k−1)=xi+1(k−1),1,xi(k−1)≠xi+1(k−1),x^{(k)}_i =\begin{cases}0, x^{(k-1)}_i=x^{(k-1)}_{i+1}, 1, x^{(k-1)}_i\not= x^{(k-1)}_{i+1},\end{cases} i=1,2,⋯ ,ni=1,2,\cdots ,n , where xn+1(k−1)=x1(k−1)x^{(k-1)}_{n+1}= x^{(k-1)}_1 . Let mm be a positive integer satisfying x0=xmx_0=x_m . Prove that mm is divisible by nn .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Similar problems

These problems have the most words in common with this statement.

Locator cn-mo/1995/p6 · Tag D6DBECJNJM · Edit this page on GitHub · Keys: j next, k previous