Diofantea Bocconi

[j18eos]

La trollata penso stia nel fatto che moltiplicando tutto per $abc$, da una parte ottieni proprio ${abc}/2$ e dall'altra tutti i segni scambiati, ma tra quelli c'è pure un addendo $abc$ che fa quadrare il conto

Io parlerei di vera e propria fregatura!

[Erasmus_First]

[...] moltiplicando tutto per $abc$, da una parte ottieni proprio ${abc}/2$ [...]

???
Moltiplicare???
Torniamo al quiz iniziale:

[...]equazione diofantea:
$ab + bc + ca - (a+b+c) + 1 = (abc)/2$ $a,b,c>0$

.Sottraendo ad $abc$ l'uno e l'altro membro si ricava subito:
$abc - (ab + bc + ca) + (a + b + c) – 1 = abc – (abc)/2$ <=> $(a-1)(b-1)(c-1) = (abc)/2$.

Conviene DIVIDERE entrambi i membri per $abc$. Si ottiene infatti:
$(a–1)/a · (b-1)/b · (c–1)/c = 1/2$
––––
Anche se la soluzione è già stata data, mi piace ritrovarla ... a modo mio.

Se una terna è soluzione, allora soluzione è anche ogni sua distinta permutazione.
Possiamo limitarci alle ricerca delle terne $[a, b, c]$ con $a ≤ b ≤ c$.

Risalta di colpo che se $a$, $b$ e $c$ fossero interi consecutivi (cioè $b = a+1$ e $c = b+1 = a+2$) l'equazione diverrebbe:
$(a-1)/a · a/(a+1) · (a+1)/(a+2) = 1/2$ <=> $(a–1)/(a+2) = 1/2$ <=> $2a - 2 = a + 2$ <=> $a = 4$.
Pertanto una soluzione è $[a, b, c] = [4, 5, 6]$.

Da qui, avendo imposto $a ≤ b ≤ c$, per $a=4$, se fosse $b < 5$ dovrebbe essere $b = 4$ e $c > 6$.
Cerco allora l'eventuale soluzione del tipo $[4, 4, c]$.
$3/4 · 3/4 · (c-1)/c = 1/2$ <=> $(c-1)/c = 8/9$ <=> $c = 9$.
Pertanto un'altra soluzione è $[a, b, c] = [4, 4, 9]$.

Cerco ora eventuali soluzioni con $a < 4$.
Non va bene $a=1$ (che porta all'assurdo 0 = 1/2).
Con $a = 2$ si avrebbe
$1/2 · (b–1)/b · (c-1)/c = 1/2$ <=> $bc – (b+c) + 1 = bc$ <=> $b+c =1$
che non va bene perché il quiz impone $b+c ≥ 2$.

Per $a=3$, moltiplicando entrambi i membri per 2 viene:
$4/3·(b–1)/b · (c–1)/c = 1$; e allora o $b - 1$ è divisibile per 3 oppure $c - 1$ è divisibile per 3.
Supponiamo perciò $b = 3k+1$ (oppure $c=3k+1$) e ... proviamo successivamente per $k = 1, 2, 3, 4, 5 ...$
• $k = 1$ => $b = 4$.
$4/3 · 3/4 · (c–1)/c = 1$ => $c–1 = c$ (impossibile)–––> $b = 4$ NON va bene.
• $k = 2$ –––> $b = 7$.
$4/3· 6/7 · (c–1)/c = 1$ <=> $(c–1)/c= 7/8$ => $c = 8$ ––> Altra soluzione: $[a, b, c] = [3, 7, 8]$.
• $k = 3$ => $c= 10$.
$4/3·(b–1)/b · 9/10= 1$ <=> $(b – 1)/b = 5/6$ <=>$b = 6$ ––> Altra soluzione: $[a, b, c] = [3, 6, 10]$.
• $k = 4$ => $c= 13$.
$4/3·(b–1)/b · 12/13= 1$ <=> $(b – 1)/b = 39/48$ NON va bene [perché viene $b = 16/3$ non intero)].
• $k = 5$ => $c= 16$.
$4/3·(b–1)/b · 15/16 = 1$ <=> $(b – 1)/b = 4/5$ <=>$b = 5$ ––> Altra soluzione: $[a, b, c] = [3, 5, 16]$.
• $k ≥ 6$ => $c= 3k+1 ≥ 19$.
$4/3·3k/(3k+1) · (b–1)/b = 1$ <=> $(b-1)/b=(3k+1)/(4k)$ <=> $b = (4k)/(k-1) = 4 + 4/(k-1)$ che NON va bene per $k≥6$ (perché $b$ non viene intero).

Riassumendo, le soluzioni sono le 5 terne seguenti.
$ [3,5,16]$; $[3, 6, 10]$; $[3, 7, 8]$, $[4,4,9]$, $[4, 5, 6]$
(e ogni loro distinta permutazione).
______

[robbstark]

@ Erasmus_First
Per trovare le soluzioni funziona, ma non discuti alcuni casi come $a=2$, $a>4$, e $a=3$ $b=3k$, cosa che comunque può essere fatta con ragionamenti simili ai precedenti, adattati alla diversa forma dell'equazione che hai scelto.

[giammaria]

@ Erasmus_First
E' una bella soluzione, ma la mia (che ho messo in spoiler) mi sembra più rapida. Comunque fa sempre piacere vedere metodi diversi.

[xXStephXx]

$(1-1/b)(1-1/c)=3/4$

Questa è $(b-4)(c-4)=12$ da cui si vede che le soluzioni sono $(3,16,5), (3, 10, 6), (3, 8, 7)$. (Basta vedere i divisori di $12$).

Mentre l'altra è $(b-3)(c-3)=6$ che da $(4,9,4), (4, 6,5)$.

[Erasmus_First]

@ Erasmus_First
Per trovare le soluzioni funziona, ma non discuti alcuni casi come $a=2$, $a>4$, e $a=3$ $b=3k$,

Ho discusso TUTTI i casi!
a) Non ho ripetuto (perché già fatto da altri) che non è possibile a = b = c . Per comune valore [intero] di $a$, $b$ e $c$ minore d 5 il membro di sinistra viene di meno di 1/2. E per valore comune maggiore di 4 viene di più di 1/2.
Ho constatato invece che RISALTA (ossia appare in evidenza) che per $a$, $b$ e $c$ consecutivi si arriva dritti alla soluzione [4, 5, 6], partendo dalla quale tutto è più facile.
b) Ho discusso la condizione $a = 4$ trovando l'altra soluzione $[4,4,9]$.
Non ha senso discutere $a>4$ dopo aver detto che è sufficiente considerare le terne con $a ≤ b ≤ c$, [perché poi saranno soluzioni tutte le distinte permutazioni delle soluzioni ordinate in ordine crescente]. Per esempio, se fosse $a = 5$ NECESSARIAMENTE o $b$ o $c$ sarebbe minore di 5. Ossia: almeno una delle tre indeterminate deve essere minore di 5.
c) Ho discusso a=1 e a=2, trovando che non portano a soluzioni.
b) Ho discusso $a = 3$ trovando TUTTE le possibili soluzioni (sempre in ordine crescente $a ≤ b ≤ c$
[Esplicitamente è considerato il caso k = 3 ponendo c = 3k + 1 = 10, (invece di b = 3k +1) nel rispetto dell'ordine stabilito:
$a ≤ b ≤ c$.

La mia trattazione è più lunga delle precedenti solo perché vuole essere pignolescamente completa!
______

[robbstark]

Ossia: almeno una delle tre indeterminate deve essere minore di 5.

Il dubbio nasceva dal fatto che questa parte non mi pare specificata, ma ok era già stato fatto notare. Chiarito questo tutto torna (per $a=2$ è stata una svista). Complimenti.

[Erasmus_First]

[...] la mia (che ho messo in spoiler) mi sembra più rapida.

La tua è bellissima.
Ma è più rapida perché ... non la sbrodoli fino in fondo (come invece ho fatto io; a scapito della concisione, ma anche dell'eleganza).
Ti cito in tre casi in cui eviti di "sbrodolare":
a) « ...unito al già trovato $a≥3$, indica come uniche soluzioni $a=3$ ∨ $a=4$ »
[NB: il "già trovato $a≥3$" non sta nello stesso post che lo usa ]
b) «[...] per tentativi arrivo alle terne (3,5,16), (3,6,10), (3,7,8).»
[NB: Io ho fatto appunto i 5 tentavi $b$ (o $c$) del tipo $3k+ 1$ per $k =1, 2, 3, 4$ e $5$ , (trovando che non andava bene k = 1 né k = 4) e verificato che per k > 5 (ossia per c > 16) non c'erano più soluzioni.]
c) « Analogamente $a=4$ porta alle terne (4,4,9),( 4,5,6).»
______

[giammaria]

Accetto la critica di Erasmus_First; il fatto è che non mi piace ripetere ragionamenti già fatti o scrivere cose che chiunque può facilmente calcolare da solo.

Non mi è chiaro invece il modo in cui xXStephXx passa da $(1-1/b)(1-1/c)=3/4$ a $(b-4)(c-4)=12$ anche se, conoscendolo, credo che sia giusto. Suppongo che abbia fatto le sostituzioni $b_1=4/b$ e $c_1=4/c$ ma il fatto che un prodotto sia intero non implica che lo siano anche i suoi fattori ed avrei gradito qualche ulteriore spiegazione.

[xXStephXx]

Non mi è chiaro invece il modo in cui xXStephXx passa da $(1-1/b)(1-1/c)=3/4$ a $(b-4)(c-4)=12$ anche se, conoscendolo, credo che sia giusto. Suppongo che abbia fatto le sostituzioni $b_1=4/b$ e $c_1=4/c$ ma il fatto che un prodotto sia intero non implica che lo siano anche i suoi fattori ed avrei gradito qualche ulteriore spiegazione.

Ho fatto solo i conti xD
$(1-1/b)(1-1/c)=3/4$ moltiplico tutto per $bc$
$4(b-1)(c-1) = 3bc$ svolgo i conti
$4bc-4b-4c+4-3bc=0$ che diventa
$bc-4b-4c+4= b(c-4) -4(c-4) -12 = (b-4)(c-4)-12=0$ da cui $(b-4)(c-4)=12$

Da qui si vede facilmente quali sono le soluzioni, non servono nè tentativi nè casi, si tratta solo di fattorizzare $12$ in tutti i prodotti di due divisori
Sul fatto che un prodotto intero non implica che lo siano pure i suoi divisori penso ci sia poco da dire qui, l'avrei dato per scontato in qualunque contesto (forse erroneamente ), se $b-4$ e $c-4$ sono interi (dato che $b$ e $c$ sono interi) è chiaro che si prendono solo divisori interi xD