Difference between revisions of "2024 SSMO Speed Round Problems/Problem 9"
(Created page with "==Problem== Let <math>a, b, c,</math> and <math>d</math> be positive integers such that <math>abcd = a+b+c+d</math>. Find the maximum possible value of <math>a</math>. ==Sol...") |
m (→Solution) |
||
(One intermediate revision by the same user not shown) | |||
Line 4: | Line 4: | ||
==Solution== | ==Solution== | ||
+ | |||
+ | We claim that the maximum possible value of <math>a</math> is <math>\boxed{4}</math>. This is attainable when <math>(a,b,c,d)=(4,2,1,1)</math>. We now show that it is impossible to have <math>a\ge 5</math>. | ||
+ | |||
+ | Suppose for the sake of contradiction that <math>a\ge 5</math>. WLOG <math>b = \max\{b,c,d\}</math>. We have <math>a = \tfrac{b+c+d}{bcd-1}</math>, so <math>b+c+d \ge 5bcd - 5</math>. Note that <math>3b \ge b+c+d</math> and <math>5bcd-5 \ge 5b-5</math>, so <math>3b \ge 5b-5</math>, or <math>5 \ge 2b</math>. This implies either <math>b=1</math> or <math>b=2</math>. If <math>b=1</math>, then <math>c=d=1</math>, which is absurd because <math>a\cdot 1\cdot 1\cdot 1 \ne a+1+1+1</math>. Hence, <math>b=2</math>, and <math>c+d+2\ge 10cd-5</math>, or <math>c+d+7 \ge 10cd</math>. Dividing both sides by <math>cd</math> gives <math>\tfrac{1}{d}+\tfrac{1}{c} + \tfrac{7}{cd} \ge 10</math>. However, since <math>c</math>, <math>d</math> and <math>cd</math> are all at least <math>1</math>, the left hand side of this inequality is at most <math>9</math>, which is a contradiction. Hence, it is impossible to have <math>a\ge 5</math>, as desired. | ||
+ | |||
+ | ~Sedro |
Latest revision as of 23:58, 3 June 2025
Problem
Let and
be positive integers such that
. Find the maximum possible value of
.
Solution
We claim that the maximum possible value of is
. This is attainable when
. We now show that it is impossible to have
.
Suppose for the sake of contradiction that . WLOG
. We have
, so
. Note that
and
, so
, or
. This implies either
or
. If
, then
, which is absurd because
. Hence,
, and
, or
. Dividing both sides by
gives
. However, since
,
and
are all at least
, the left hand side of this inequality is at most
, which is a contradiction. Hence, it is impossible to have
, as desired.
~Sedro