Maths Olympiad Prep

Library / /15 of 120

, 2012

Algebra Difficulty 4.6 AIME Prove it Saudi Arabia

Show that for every positive integers n3n \ge 3 there are distinct positive integers a1,a2,,ana_1, a_2, \dots, a_n with
a1!a2!an1!=an! a_1! a_2! \dots a_{n-1}! = a_n!

Solution

For n=3n = 3 we have 3!5!=6!3! \cdot 5! = 6!.

Assume that a1!a2!ak1!=ak!a_1! a_2! \dots a_{k-1}! = a_k!. Since ak!(ak!1)!=(ak!)!a_k!(a_k! - 1)! = (a_k!)!, it follows that
a1!a2!ak1!(ak!1)!=ak!(ak!1)!=(ak!)! a_1! a_2! \dots a_{k-1}! (a_k! - 1)! = a_k! (a_k! - 1)! = (a_k!)!
and obviously ak!>ak!1>ak1!a_k! > a_k! - 1 > a_{k-1}!. We are done by induction.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.