olymmath

CGMO 2017 Problem 6

    Given a finite set XX , two positive integers n,kn,k , and a map f:X→Xf:X\to X . Define f(1)(x)=f(x),f(i+1)(x)=f(i)(x)f^{(1)}(x)=f(x),f^{(i+1)}(x)=f^{(i)}(x) , i=1,2,3,…i=1,2,3,\ldots . It is known that for any x∈Xx\in X , f(n)(x)=xf^{(n)}(x)=x . Define mjm_j the number of x∈Xx\in X satisfying f(j)(x)=xf^{(j)}(x)=x . Prove that: (1) 1n∑j=1nmjsin⁡2kjπn=0\frac{1}n \sum_{j=1}^n m_j\sin {\frac{2kj\pi}{n}}=0 (2) 1n∑j=1nmjcos⁡2kjπn\frac{1}n \sum_{j=1}^n m_j\cos {\frac{2kj\pi}{n}} is a non-negative integer.

    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-gmo/2017/p6 · Tag P1TEBW1RG2 · Edit this page on GitHub · Keys: j next, k previous