such that
Prove that
Let 
Prove that![$$ (a+b)(a+1)(b+1) \leq \frac{3}{2}+\sqrt[3]{6}+\sqrt[3]{36}$$](http://latex.artofproblemsolving.com/f/5/e/f5e68204507aa9c3e71c28844bbee3a804546b94.png)
be a positive integer larger than 
.
of subsets of 
having the following properties:
distinct sets of 
and 
be positive integers such that 
divides 
.
.
![$f\in C^1[a,b]$](http://latex.artofproblemsolving.com/8/4/8/848da12534d564560fe1cb016142159234be98b4.png)
,
and suppose that 
,
,
for all ![$x\in [a,b]$](http://latex.artofproblemsolving.com/7/8/d/78d9dcd969a2c45f7cc9234aa1377b6ec1c2d5d3.png)
.
for all 
![$f \in C([0,1];[0,1])$](http://latex.artofproblemsolving.com/4/7/5/475518b7db0b787dd90b93f602c7b912c663fba3.png)
bijective, 
and ![$(a_k) \in [0,1]^\mathbb N$](http://latex.artofproblemsolving.com/a/d/8/ad8a80d847c60ee8e916a1f9b08b7b03ec17c814.png)
with 
converge.
converge?
is called perfect if the sum of its positive divisors 
is twice 
.
is a perfect number since the sum of its positive divisors is 
,![\[
\sum_{p|n} \frac{1}{p + 1} < \ln 2 < \sum_{p|n} \frac{1}{p - 1}
\]](http://latex.artofproblemsolving.com/0/c/0/0c08f527e87f7aae4ca5226f19bd084249551fe3.png)
where the sums are taken over all prime divisors 
of 
![$f\in C[0,b]$](http://latex.artofproblemsolving.com/8/9/8/898aec0300888e562794b7a551be34f5c2676236.png)
,
and let 
be periodic with period 
has a limit as 
and
be an even positive integer. Let 
be a monic, real polynomial of degree 
;
for some real coefficients 
.
for all integers 
.
for which 
.
where 
,
,
are nonnegative integers.
,
,
and 
for 
.
and give an example where 
.
on 
for which![\[
\lim_{R \to \infty} \int_{\|x\|_2 \leq R} f(x) \, dx = 0
\]](http://latex.artofproblemsolving.com/4/6/9/469f69ee93ae8d1de73c31ceb066253751aa9775.png)
and for which![\[
\lim_{R \to \infty} \int_{\|x\|_\infty \leq R} f(x) \, dx \text{ does not exist.}
\]](http://latex.artofproblemsolving.com/d/f/a/dfadbdd902375b9f67cd2dd0dbb494978bd9e75c.png)
be the set of all 
matrices with at most two entries in each row equal to 
.
.
denotes the determinant of the matrix 
Y by David-Vieta, ATGY, MathIQ., holdmyquadrilateral, aaaa_27, mathhotspot, Sylvestra, NO_SQUARES, ehuseyinyigit, vsamc, GeoKing, MathPerson12321, scannose, pingupignu, centslordm, Ziyadel, lpieleanu, kamatadu, KAME06, aidan0626, EpicBird08, Sedro, Rounak_iitr, LeonidasTheConquerer, aqwxderf, Eka01, AlexCenteno2007, Math_.only., MUKESH_KUMAR, mathematicsy, KhaiMathAddict, farhad.fritl, numbertheory97, zaf123, Roh_Hoi_Chan, axsolers_24, Atilla, xytan0585, cubres, NicoN9, vadava_lx
Determine all real numbers 
such that, for every positive integer 
the integer
is a multiple of 
(Note that 
denotes the greatest integer less than or equal to 
For example, 
and 
)
Proposed by Santiago Rodríguez, Colombia
such that, for every positive integer 
the integer
is a multiple of 
(Note that 
denotes the greatest integer less than or equal to 
For example, 
and 
)Proposed by Santiago Rodríguez, Colombia
This post has been edited 2 times. Last edited by EthanWYX2009, Jul 19, 2024, 5:33 AM
Reason: change to original text
Reason: change to original text
.
,
.
Then 
is integer and so 
.
and so 
.
and get 
for all 
.
and thus 
for all 
.
for large 
then 
is divisible by 
also satisfies hence we can assume that 
.
.
denote 
as 
where 
.
But 
which is impossible. Also 
doesn't hold which can be seen by taking 
.
.
where 
.
Let 
We have 
since 
yields 
.
.
.
for all 
then 
for 
.![\[\frac{m+1}{2}|m+1|\frac{(m+1)(m+2)}{2}+\frac{(m-1)m}{2}+\lfloor (m+1)\beta \rfloor\equiv \frac{m^2-m+m^2+3m+2}{2}+\lfloor (m+1)\beta \rfloor\equiv 1+\lfloor (m+1)\beta \rfloor\]](http://latex.artofproblemsolving.com/9/2/4/9243ed7fea2de389764ba54f9ae2aea56862db88.png)
Since 
and 
we get 
for all 
where 
as desired
As i was thinking about this in my head, I just used the stupidest bound that I could think of, namely 
to get that 
.
belonged to the interval ![$\left(\alpha\frac{n(n+1)}{2}-n,\alpha\frac{n(n+1)}{2} \right]$](http://latex.artofproblemsolving.com/4/a/6/4a6311ff450930ad03d360f9fc5fdb372a2c9660.png)
which has length 
in the easiest way possible wouldn't work because the orders of magnitude didn't match. At this point, I arrived to the gym, so I didn't think more about the problem, but thought it had potential to be a nice problem.
.
.
is not a multiple of 2.
.
be the smallest integer such that 
;
.
,
,
.
;
.
,
where 
and 
.
from here we see clearly that 
for all 
therefore 
.
and 
a contradiction as we know 
on RHS is linear function of higher slope.
only, for 
.
.
.
for some integer 
,
.
Therefore, 
is congruent to 
modulo 
for all 
.
for all 
.
which is clear because 
have 
.
is divisible by 
,
.
must be divisible by 
,
for all 
for all 
for all 
i.e. 
,
for some integer 
.
for some integer 
.
so it follows that 
for all 
,
.
is divisible by 
,
.
,
Since 
,
,
for all 
,
,
contradicting the fact that 
which is indeed divisible by 
.
.
. Thus,
,
. So,
. We can express 
,
.
.
, so 
.
,
for all k, which means 
.
for any 
.
in 
can be computed. In order for there to be more solutions other than 
should be divisible by n 
.
is also one. Therefore, the claim is true. 
![\[
\lfloor \alpha \rfloor + \lfloor 2\alpha \rfloor + \cdots + \lfloor n\alpha \rfloor
\]](http://latex.artofproblemsolving.com/2/9/7/29763bad88095eb3d2992daaaf20502743b68915.png)
ifoda 
orqali 
dan kichik yoki teng bo’lgan eng katta butun sonni belgilaymiz. Masalan, 
va 
.
for any integer ![$$[\alpha+2k]+...+[n\cdot \alpha+2nk]=[\alpha]+...+[n\cdot \alpha]+k(2+...+2n)$$](http://latex.artofproblemsolving.com/6/6/8/668c5027c2fba4ed55fdc7a901e4bfd85bd46ff2.png)
where 
.![$\alpha \in [-1,1]$](http://latex.artofproblemsolving.com/1/a/9/1a90a60816adc5ed0704a98cf5b9f303d16f9f7b.png)
before generalizing for all reals.
don't when 
such that 
.![$$[\alpha]+...+[n\cdot \alpha]=0+...+0+1=1$$](http://latex.artofproblemsolving.com/b/6/d/b6dc4670a2524184de12adacdca708e93531b744.png)
which is not divisible by 
.![$$[\alpha]+...+[n\cdot \alpha]=(-1)+...+(-1)+(-2)=-(n+1)$$](http://latex.artofproblemsolving.com/8/0/7/8071e651bf503fd5c5fb718bd16b7905bec0b34c.png)
which is not divisible by 
so 
must be an integer. Since 
.
if 
.
is a multiple of 
,
.
Since this is a multiple of 
,
,
works it implies 
and assume it works, then we have 
If we observe 
and so forth it will imply for all 
,
Now let 
then we have 
, if 
then we have 
.
for some 
.
.
odd, this only holds true if 
.
.
.
,
.
and 
.
,
and continuing this we have 
,
and consider 
.
,
.
.
So 
.
and 
,
.
and in fact 
,
,
or 
,
are easy to check. Suppose it holds true for 
.
As 
,
However, 
and 
,
.
,
.
,
,
.![$[0, 2]$](http://latex.artofproblemsolving.com/a/3/b/a3b958703526b6271d0f6ac63af4fec05de1acdf.png)
because for anything larger we can take out a 
from the sum of floors which dies mod ![$[0, \frac{1}{n}) \cup [2 - \frac{1}{n}, 2]$](http://latex.artofproblemsolving.com/d/d/f/ddfe4cf31a501c7dc9e0d49680f384fd4a011356.png)
.
,
because of trivial base case. Notice that the good interval contains 
because the sum is zero. Now we need to prove that everything in 
fails because the other side is basically the same reasoning. This is true because the sum here has the 2nd to last term in the sum equal to zero still but the last term is not enough to push it to a multiple of 
also does. Hence WLOG assume that 
It is easy to see that 
does not work by setting 
If 
it clearly works.
let 
Then setting 
yields 
impossible. Similarly 
does not work too.
works so the answer is all even integers 
for 
,
has integer part 
.
to denote the given sum truncated at 
be an odd integer. Then 
divides 
if and only if it also divides 
.
,
.
,
for all 
.
,
as only the 
and 
,
cannot satisfy the conditions.
.
,
for all 
too. It follows that ![\[S_{2n+1}(r) = 1 + 2 + \cdots + 2n-2+ 2n-1 + 2n-1 - \varepsilon = n(2n+1) - 1 - \varepsilon\]](http://latex.artofproblemsolving.com/2/7/6/276a56314116a53c16b0c00d5c6e72b4824d0919.png)
for some 
depending on the value of 
.
,
is even. Then by parity 
is even.![$\lfloor 2n\alpha \rfloor - \lfloor (2n-1)\alpha \rfloor = 2n\alpha - \{2n\alpha\} - [(2n-1)\alpha - \{(2n-1)\alpha\}] = \alpha + \{(2n-1)\alpha\} - \{2n\alpha\}$](http://latex.artofproblemsolving.com/1/c/7/1c735746a1de8dac777343ec64f45acd30e4ee1d.png)
which must take value between 
or 
.
must be constant. Hence we get 
or 
.
such that 
is odd.
.
,
which is impossible. Hence 
can't be rational. Plug 
.
is even.
and also
which is odd. If 
satisfy our claim.
where 
which 
is odd. Notice that 
and 
.
.
,
where 
.
,
,
.
.
.
.
divides 
gives that 
.
as solution.
