MathDB
Show that n|a_n

Source: IMO Shortlist 1989, Problem 11, ILL 35

September 18, 2008
modular arithmeticnumber theorySummationNumber theoretic functionsIMO Shortlist

Problem Statement

Define sequence (an) (a_n) by \sum_{d|n} a_d \equal{} 2^n. Show that nan. n|a_n.