Let positive integers $a,\ b,\ c$ be pairwise coprime. Denote by $g(a, b, c)$ the maximum integer not representable in the form $xa+yb+zc$ with positive integral $x,\ y,\ z$. Prove that \[ g(a, b, c)\ge \sqrt{2abc}\] (M. Ivanov)
HIDE: Remarks (containing spoilers!) 1. It can be proven that $g(a,b,c)\ge \sqrt{3abc}$. 2. The constant $3$ is the best possible, as proved by the equation $g(3,3k+1,3k+2)=9k+5$.Problem
Source: Tuymaada 2014, Day 2, Problem 4, Senior League
Tags: calculus, integration, analytic geometry, geometry, modular arithmetic, number theory, Tuymaada
12.07.2014 13:41
Aiscrim wrote: Let positive integers $a,\ b,\ c$ be pairwise coprime. Denote by $g(a, b, c)$ the maximum integer not representable in the form $xa+yb+zc$ with positive integral $x,\ y,\ z$. Prove that \[ g(a, b, c)\ge \sqrt{2abc}\] (M. Ivanov)
It is not true. Let $a<b<c$. Obviosly $g(a,b,c)\le ab-a-b<\sqrt{2abc}$ if $c>\frac{(a-1)(b-1)}{2}$. For example a=1 or a=2.
12.07.2014 17:47
http://en.wikipedia.org/wiki/Coin_problem#n_.3D_3
12.07.2014 20:28
Frobeneus number $g(a_1,...,a_n)$ for $(a_1,...,a_n)=1$ is defined as largest number N/ suth that not exist representation $N=\sum{}_x{}_i a_i, x_i\ge 0$. For n=2 $(a_1,a_2)=1$ $g(a_1,a_2)=a{}_1a{}_2-a_1-a_2$. Obviosly if $(a_1,...,a_k)=1, k<n$, then $g(a_1,...,a_k)\ge g(a_1,...,a_n)$. Therefore for $a<b<c, (a,b)=1$ $g(a,b,c)\le g(a,b)=ab-a-b$. When $c\ge (a-1)(b-1), (a,b)=1$ $g(a,b,c)=g(a,b)=ab-a-b<\sqrt{2abc}$.
13.07.2014 01:32
People! this is not Frobenius' problem. Notice it is stated "... maximum integer not representable in the form $xa+yb+zc$ with positive integral $x,\ y,\ z$ ...". This makes a world of difference with Frobenius, where non-negative integers are allowed. Think for example to the more common and simpler case with two coprime positive integers $a,b$ only. Frobenius threshold is $(a-1)(b-1) - 1$. But try to represent $ab = xa + yb$, with integer $x,y > 0$. You need $a\mid y$ and $b\mid x$, thus $a\leq y$ and $b\leq x$, so $ab = xa + yb \geq 2ab$, absurd. Thus the threshold is at least $ab$ (and it can be easily shown it is precisely $ab$). Small differences in conditions may lead to largely different results.
13.07.2014 08:40
mavropnevma wrote: People! this is not Frobenius' problem. Notice it is stated "... maximum integer not representable in the form $xa+yb+zc$ with positive integral $x,\ y,\ z$ ...". This makes a world of difference with Frobenius, where non-negative integers are allowed. Difference is small. If $g'(a,b,c)$ is largest number not representation in the form $xa+ya+zc$, then $g'(a,b,c)\le g(a,b,c)+a+b+c$.
16.07.2014 18:03
any solution?
03.12.2014 05:34
qwert159 wrote: any solution? Yes. A solution here: Consider how many pairs $(x, y)$ satisfy $xa+yb < \sqrt{2abc}$. This is clearly at most the number of lattice points with positive integer coordinates in the first quadrant, bounded by the line $xa+yb < \sqrt{2abc}$, which is a triangle. But the number of lattice points is less than the triangle area, which is $\frac{1}{2} \cdot \frac{\sqrt{2abc}}{a} \cdot \frac{\sqrt{2abc}}{b} = c$. Therefore, some $xa+yb$ will not hit all values $\pmod{c}$. Therefore, $xa+yb+zc$ can't hit every integer that is at least $\sqrt{2abc}$... since it won't hit everything $\pmod{c}$.
18.05.2023 21:50
Anyone has the official statement?
19.05.2023 22:49
R8kt wrote: Anyone has the official statement? Yes, I have. It coincide with #8.
28.06.2023 22:54
micliva wrote: R8kt wrote: Anyone has the official statement? Yes, I have. It coincide with #8. where can I find official solutions to tuymaada 2002?
28.06.2023 22:57
blackmetalmusic wrote: where can I find official solutions to tuymaada 2002? I think it is not for this topic, you can ask me in PM.