Il quiz chiedeva ;
Quante sono le coppie di naturali $(a, b)$ tali che $a^2 -b^2 = 2016$ ?
Elencale per $a$ e $b$ crescenti. Vincent46 ha risposto ottimamente a riguardo di come si fa a trovare le coppie $[a, b]$ ... ma si è rifiutato di calcolarle; e quindi non ha detto quante sono, tantomeno le ha elencate.
Siccome $a^2 - b^2 = (a-b)(a+b)$, se $a$ e $b$ sono interi positivi dovrà essere
$0 < b < a$ ∧ $(a-b)(a+b)= 2^5·3^2·7$
Di conseguenza, posto
$d = a - b$ e $s = a + b$,
occorrerà prendere
d divisotre di 2016 e minore di $sqrt2016$ (che è maggiore di 44 e minore di 45) e quindi
$s = 2016/d$.
Siccome 2016 è pari, sia
d che
s dovranno essere pari.
Infine, per ogni coppia [
d,
s], sarà
$a-b = d$ ∧ $a+b = s$ ⇔ $a = (s + d)/2$ ∧ $b = (s-d)/2$. (*)
Cerco dunque tutti i divisori
d di 2016 con
•
d < 45
•
d e 2016/
d =
s entrambi pari.
Questi divisori
d sono (in ordine decrescente)
42, 36, 28, 24, 18, 16, 14, 12, 8, 6. 4, 2
[Le coppie [
a,
b] saranno dunque 12]
Le coppie distinte di interi [
d,
s] tali che sia
d <
s e
d·s=2016, (ossia, dato
d,
s = 2016/
d) sono dunque
[42, 48]; [36, 56]; [28, 72], [24, 84]; [18, 112]; [16, 126]; [14, 144]; ]12, 168]: [8, 252]: [6, 336]; [4, 504]; [2, 1008]-
Da queste, tramite la (*) ricavo le seguenti 12 coppie [
a,
b] (tali che $a^2 - b^2 = 2016$):
[45, 3]; [46, 10]; [50, 22]; [54, 30]; [65, 47]; [71, 55]: [79, 65]; [90, 78]; [130, 122]; [171, 165]; [254, 250]; [505, 503].
–––––