Why is this true? $$\left\lfloor\frac{\lfloor a\pi\rfloor}{a}\right\rfloor=3 \text{, for } a>0$$
I need this to solve the Ukraine Math Olymipiad 1999. "$\lfloor\cdot\rfloor$" indicates the floor function.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityWhy is this true? $$\left\lfloor\frac{\lfloor a\pi\rfloor}{a}\right\rfloor=3 \text{, for } a>0$$
I need this to solve the Ukraine Math Olymipiad 1999. "$\lfloor\cdot\rfloor$" indicates the floor function.
The equation is equivalent to
$$0\le\{\pi\}-\frac{\{a\pi\}}a<1.$$
The right inequality is always verified. The left one is certainly verified when
$$0\le\{\pi\}-\frac1a,$$ or $$a\ge\frac1{\{\pi\}},$$ which is a little more than $7$.
Assuming that $a$ is restricted to be a natural, it remains to try $a=1,2,\cdots7$. And as $\{\pi\}<\dfrac17$, all these values will work.
It isn't true! a= 1/2 is a counter example. If a= 1/2 then $a\pi$ is 1.5707... and the floor or that is 1. Dividing that by 1/2 gives 2 which, of course, has floor 2, not 3.
Let $a=b/\pi$ for some $b\in\Bbb R$.
Then $[a\pi]=[b]$
$$[[b]/a]=\left[\pi\cdot\frac{[b]}{b}\right]$$ For this to equal 3, we need $$\frac{[b]}{b}\ge\frac3\pi\implies [b]\ge3b/\pi\approx 0.95 b$$
This fails for $$b\in\{0\}\cup\left(\frac{(n-1)\pi}{3},n\right)$$ for $n\in\{1,2,\cdots,22\}$, and thus for $$a\in\{0\}\cup\left(\frac{n-1}3,\frac n\pi\right)$$ For all other values of $a$, this holds.