2021-06-15 07:49:18 +00:00
|
|
|
|
---
|
|
|
|
|
id: 5900f3ae1000cf542c50fec1
|
2022-02-19 14:41:19 +00:00
|
|
|
|
title: 'Problema 66: equazione diofantina'
|
2021-06-15 07:49:18 +00:00
|
|
|
|
challengeType: 5
|
|
|
|
|
forumTopicId: 302178
|
|
|
|
|
dashedName: problem-66-diophantine-equation
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
# --description--
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
Considera l'equazione quadratica diofantina della forma:
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
<div style='text-align: center;'>x<sup>2</sup> – Dy<sup>2</sup> = 1</div>
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
Per esempio, quando D=13, la soluzione minimale in x è 649<sup>2</sup> – 13×180<sup>2</sup> = 1.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
Si può assumere che non ci sono soluzioni con numeri interi positivi quando D è un quadrato.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
Trovando la soluzione minimale in x per D = {2, 3, 5, 6, 7}, otteniamo quanto segue:
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
<div style='margin-left: 2em;'>
|
|
|
|
|
3<sup>2</sup> – 2×2<sup>2</sup> = 1<br>
|
|
|
|
|
2<sup>2</sup> – 3×1<sup>2</sup> = 1<br>
|
|
|
|
|
<strong><span style='color: red;'>9</span></strong><sup>2</sup> – 5×4<sup>2</sup> = 1<br>
|
|
|
|
|
5<sup>2</sup> – 6×2<sup>2</sup> = 1<br>
|
|
|
|
|
8<sup>2</sup> – 7×3<sup>2</sup> = 1<br>
|
|
|
|
|
</div>
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
Quindi, considerando soluzioni minimali per `x` quando D ≤ 7, la `x` più grande si ottiene quando D=5.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
Trova il valore di D ≤ `n` in soluzioni minimali di `x` per cui il valore più grande di `x` è ottenuto.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
# --hints--
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
`diophantineEquation(7)` dovrebbe restituire un numero.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
```js
|
|
|
|
|
assert(typeof diophantineEquation(7) === 'number');
|
|
|
|
|
```
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
`diophantineEquation(7)` dovrebbe restituire `5`.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
assert.strictEqual(diophantineEquation(7), 5);
|
|
|
|
|
```
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
`diophantineEquation(100)` dovrebbe restituire `61`.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
assert.strictEqual(diophantineEquation(100), 61);
|
|
|
|
|
```
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
`diophantineEquation(409)` dovrebbe restituire `409`.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
assert.strictEqual(diophantineEquation(409), 409);
|
|
|
|
|
```
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
`diophantineEquation(500)` dovrebbe restituire `421`.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
assert.strictEqual(diophantineEquation(500), 421);
|
|
|
|
|
```
|
|
|
|
|
|
2022-02-19 14:41:19 +00:00
|
|
|
|
`diophantineEquation(1000)` dovrebbe restituire `661`.
|
2021-06-15 07:49:18 +00:00
|
|
|
|
|
|
|
|
|
```js
|
|
|
|
|
assert.strictEqual(diophantineEquation(1000), 661);
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
# --seed--
|
|
|
|
|
|
|
|
|
|
## --seed-contents--
|
|
|
|
|
|
|
|
|
|
```js
|
|
|
|
|
function diophantineEquation(n) {
|
|
|
|
|
|
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
diophantineEquation(7);
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
# --solutions--
|
|
|
|
|
|
|
|
|
|
```js
|
|
|
|
|
function diophantineEquation(n) {
|
|
|
|
|
// Based on https://www.mathblog.dk/project-euler-66-diophantine-equation/
|
|
|
|
|
function isSolution(D, numerator, denominator) {
|
|
|
|
|
return numerator * numerator - BigInt(D) * denominator * denominator === 1n;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let result = 0;
|
|
|
|
|
let biggestX = 0;
|
|
|
|
|
|
|
|
|
|
for (let D = 2; D <= n; D++) {
|
|
|
|
|
let boundary = Math.floor(Math.sqrt(D));
|
|
|
|
|
if (boundary ** 2 === D) {
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let m = 0n;
|
|
|
|
|
let d = 1n;
|
|
|
|
|
let a = BigInt(boundary);
|
|
|
|
|
|
|
|
|
|
let [numerator, prevNumerator] = [a, 1n];
|
|
|
|
|
|
|
|
|
|
let [denominator, prevDenominator] = [1n, 0n];
|
|
|
|
|
|
|
|
|
|
while (!isSolution(D, numerator, denominator)) {
|
|
|
|
|
m = d * a - m;
|
|
|
|
|
d = (BigInt(D) - m * m) / d;
|
|
|
|
|
a = (BigInt(boundary) + m) / d;
|
|
|
|
|
|
|
|
|
|
[numerator, prevNumerator] = [a * numerator + prevNumerator, numerator];
|
|
|
|
|
[denominator, prevDenominator] = [
|
|
|
|
|
a * denominator + prevDenominator,
|
|
|
|
|
denominator
|
|
|
|
|
];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (numerator > biggestX) {
|
|
|
|
|
biggestX = numerator;
|
|
|
|
|
result = D;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return result;
|
|
|
|
|
}
|
|
|
|
|
```
|