I 1
Source:
May 25, 2007
floor functionIMO Shortlist
Problem Statement
Let be the positive root of the equation x^{2} \equal{} 1991x \plus{} 1. For natural numbers and define
m*n \equal{} mn \plus{} \lfloor\alpha m \rfloor \lfloor \alpha n\rfloor.
Prove that for all natural numbers , , and ,
(p*q)*r \equal{} p*(q*r).