2007 SMT Algebra Round Problem 4
Problem
How many positive integers  , with
, with  , yield a solution for
, yield a solution for  (where
 (where  is real) in the equation
 is real) in the equation  ?
?
Solution
Let's try to find solutions for  If
 If  , then we have a solution when
, then we have a solution when  . If
. If  , then we have a solution when
, then we have a solution when  . If
. If  , then we have a solution
, then we have a solution  . If
. If  , then we have a solution
, then we have a solution  . If
. If  , we have
, we have  and if
 and if  , then we have
, then we have  , so
, so  or
 or  do not have a solution. If
 do not have a solution. If  , then just add
, then just add  to the solution to the remainder of
 to the solution to the remainder of  and if the remainder of
 and if the remainder of  is
 is  or
 or  , then there is no
, then there is no  that satisfies the equation. So, we have
 that satisfies the equation. So, we have  possibilities out of every
 possibilities out of every  numbers, so we can get the number of solutions by doing
 numbers, so we can get the number of solutions by doing  and then getting that the remainder of
 and then getting that the remainder of  is 3 and so we have
 is 3 and so we have  's where when divided by 6 gives remainder of
's where when divided by 6 gives remainder of  and
 and  , so they all have a solution of
, so they all have a solution of  , and so we add
, and so we add  to
 to  to get
 to get  .
.
~Yuhao2012
