返回题库

HMMT 二月 2011 · TEAM1 赛 · 第 3 题

HMMT February 2011 — TEAM1 Round — Problem 3

专题
Contest Math / 竞赛数学
难度
L3
来源
HMMT

题目详情

英文原题

  1. [ 15 ] Let n be a positive integer, and let a , a , . . . , a be a set of positive integers such that a = 2 and
    1 2 n 1
    a = ϕ ( a ) for all 1 ≤ m ≤ n − 1, where, for all positive integers k , ϕ ( k ) denotes the number ofm m +1
    n − 1
    positive integers less than or equal to k that are relatively prime to k . Prove that a ≥ 2 .
    Complex Numbers [35]n
解析

英文解析

  1. [ 15 ] Let n be a positive integer, and let a , a , . . . , a be a set of positive integers such that a = 2 and
    1 2 n 1
    a = ϕ ( a ) for all 1 ≤ m ≤ n − 1, where, for all positive integers k , ϕ ( k ) denotes the number ofm m +1
    n − 1
    positive integers less than or equal to k that are relatively prime to k . Prove that a ≥ 2 .
    Solution: We first note that ϕ ( s ) < s for all positive integers s ≥ 2, so a > 2 for all m > 1.nm
    For integers s > 2, let A be the set of all positive integers x ≤ s such that gcd( s, x ) = 1. Sincesgcd( s, x ) = gcd( s, s − x ) for all x , if a is a positive integer in A , so is s − a . Moreover, if a is in A ,
    s ss s sa and s − a are different since gcd( s, ) = > 1, meaning is not in A . Hence we may evenly pairs
    2 2 2
    Team Round Aup the elements of A that sum to s , so ϕ ( s ), the number of elements of A , must be even. It followss sthat a is even for all m ≤ n − 1.
    If t > 2 is even, A will not contain any even number, so ϕ ( t ) ≤ . We may conclude that a ≥ 2 atmt m m − 1
    n − 2 n − 12
    for all m ≤ n − 1, so a ≥ a ≥ 2 a = 2 , as desired.
    n n − 1 1
    Finally, note that such a set exists for all n by letting a = 2 for all i .ii
    Complex Numbers [35]