Difference between revisions of "2023 SSMO Team Round Problems/Problem 14"
(Created page with "==Problem== Find the sum of all perfect squares of the form <math>2p^3 - 5p^2q + q^2</math> where <math>p</math> and <math>q</math> are positive integers such <math>p</math> i...") |
|||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
+ | If <math>p = 2</math>, the expression becomes <cmath>(q - 10)^2 - 84,</cmath> which can equal either <math>400</math> or <math>16</math>. | ||
+ | |||
+ | If <math>p > 2</math>, then let <math>2p^3 - 5p^2q + q^2 = k^2.</math> | ||
+ | |||
+ | We rearrange and factor as <cmath>p^2(2p - 5q) = (k + q)(k - q).</cmath> | ||
+ | |||
+ | Note that <math>p</math> does not divide <math>\gcd(k + q, k - q) = \gcd(k + q, 2q)</math>, so <math>p</math> cannot divide both factors evenly. Thus, either <math>p^2 \mid (k + q)</math> or <math>p^2 \mid (k - q)</math>, implying that <cmath>k = ap^2 \pm q</cmath> for some integer <math>a</math>, and so <cmath>k \ge p^2 - q.</cmath> | ||
+ | |||
+ | However, this leads to a contradiction: <cmath>2p^3 - 5p^2q + q^2 < (p^2 - q)^2 = p^4 - 2p^2q + q^2.</cmath> | ||
+ | |||
+ | This means no perfect square is possible in this form for <math>p > 2</math>, so the only valid values come from the <math>p = 2</math> case, where <cmath>400 + 16 = \boxed{416}.</cmath> | ||
+ | |||
+ | ~SMO_Team |
Latest revision as of 21:38, 9 September 2025
Problem
Find the sum of all perfect squares of the form where
and
are positive integers such
is prime and
.
Solution
If , the expression becomes
which can equal either
or
.
If , then let
We rearrange and factor as
Note that does not divide
, so
cannot divide both factors evenly. Thus, either
or
, implying that
for some integer
, and so
However, this leads to a contradiction:
This means no perfect square is possible in this form for , so the only valid values come from the
case, where
~SMO_Team