[Ammissione WC16] TdN 1: Minimo di funzione

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Talete
Messaggi: 744
Iscritto il: 05 giu 2014, 13:47
Località: Riva del Garda

[Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da Talete » 30 dic 2015, 22:49

NON pubblicate la soluzione prima delle 23:59 di oggi!

Sia $p$ un primo dispari. Consideriamo l'insieme
\[\mathcal S:=\{(x,y)\in\mathbb{N}^2 : \sqrt{2p}-\sqrt{x}-\sqrt{y}>0\}.\]

Determinare
\[\min\{\sqrt{2p}-\sqrt{x}-\sqrt{y} : (x,y)\in\mathcal S\}.\]
"Sei il Ballini della situazione" -- Nikkio
"Meriti la menzione di sdegno" -- troppa gente
"Sei arrivato 69esimo? Ottima posizione!" -- Andrea M. (che non è Andrea Monti, come certa gente pensa)
"Se ti interessa stanno inventando le baricentriche elettroniche, che dovrebbero aiutare a smettere..." -- Bernardo

AlexThirty
Messaggi: 217
Iscritto il: 20 giu 2015, 20:58

Re: [Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da AlexThirty » 31 dic 2015, 15:05

Testo nascosto:
$ x+y=A $ supponiamo sia fissato. Quando $ \sqrt{x}+\sqrt{y} $ è massimo?
Testo nascosto:
Ora, trova un bound per $ A $
Testo nascosto:
Per $ A=p $ si ha il minimo possibile, ma se $ A>p $ cosa succede? Come eliminiamo queste possibilità?
Ultima modifica di AlexThirty il 31 dic 2015, 15:27, modificato 1 volta in totale.
Un bresciano esportato nel cremonese

-"Dal palazzo di giustizia di Catania o esci con più soldi di prima, o non esci proprio"
-"Baroni uscirebbe con un Win - Win".
Tutti si mettono a ridere, e allora intuisco che non aveva detto "Weed - Win" come avevo capito.

Talete
Messaggi: 744
Iscritto il: 05 giu 2014, 13:47
Località: Riva del Garda

Re: [Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da Talete » 31 dic 2015, 15:23

Altre cose che portano più o meno alla stessa soluzione:
Testo nascosto:
Provare per credere: la primalità non serve. Basta $p$ dispari!
Testo nascosto:
Sui reali quanto sarebbe il minimo? È poi tanto diverso sugli interi?
"Sei il Ballini della situazione" -- Nikkio
"Meriti la menzione di sdegno" -- troppa gente
"Sei arrivato 69esimo? Ottima posizione!" -- Andrea M. (che non è Andrea Monti, come certa gente pensa)
"Se ti interessa stanno inventando le baricentriche elettroniche, che dovrebbero aiutare a smettere..." -- Bernardo

Saro00
Messaggi: 114
Iscritto il: 27 mag 2015, 10:52
Località: Provincia di Milano

Re: [Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da Saro00 » 31 dic 2015, 18:17

Hint per un altra soluzione
Testo nascosto:
Razionaliziamo al contrario il più possibile, nel senso che vogliamo portare a denominatore tutte le radici e il numeratore un numero intero.
Testo nascosto:
Riusciamo a escludere i casi in cui il numeratore é maggiore di 1?
Testo nascosto:
Beh, abbiamo finito, perché con la primalitá di p, guardiamo modulo p il numeratore e c'é solo un caso in cui il numeratore é 1.
Un giorno di questi mi metteranno in prigione per aver stuprato troppi problemi. 8)

Avatar utente
gpzes
Messaggi: 173
Iscritto il: 01 gen 1970, 01:00
Contatta:

Re: [Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da gpzes » 03 gen 2016, 23:05

:oops: :oops: Mi scuso per postare esplicitamente un “tentativo” di soluzione ma volevo sottoporlo per un riscontro sulla correttezza.
Anche per sostenere quanto detto da Talete :wink: .
Dim.
Iª Parte)

Sia $p\ge 3$ DISPARI $p=2k+1$ e WLOG $x\le y$.
$\begin{align}
& \left( x;y \right)\in S\Rightarrow \sqrt{x}+\sqrt{y}<\sqrt{2p}\Rightarrow x+y+2\sqrt{xy}<2p\Rightarrow \\
& 4\sqrt{xy}\ \overset{AM-GM}{\mathop{\le }}\,x+y+2\sqrt{xy}<2p\Rightarrow 4xy<{{p}^{2}}\Rightarrow xy<\frac{{{p}^{2}}}{4}=\frac{4{{k}^{2}}+4k+1}{4}={{k}^{2}}+k+\frac{1}{4} \\
& \Rightarrow xy\le {{\left( \frac{p-1}{2} \right)}^{2}}+\left( \frac{p-1}{2} \right)\Rightarrow xy\le \left( \frac{p-1}{2} \right)\cdot \left( \frac{p+1}{2} \right). \\
\end{align}$

La coppia $\left( x;y \right)=\left( \frac{p-1}{2};\frac{p+1}{2} \right)\in S$ quindi $\sqrt{2p}-\sqrt{\frac{p-1}{2}}-\sqrt{\frac{p+1}{2}}$ è un candidato per minimo.

IIª Parte)
Claim:
$\sqrt{2p}-\sqrt{\frac{p-1}{2}}-\sqrt{\frac{p+1}{2}}$ È il minimo su S.
Dim.
(Per assurdo!) Sia $\left( x;y \right)\in S$ tale che $0<\sqrt{2p}-\sqrt{x}-\sqrt{y}<\sqrt{2p}-\sqrt{\frac{p-1}{2}}-\sqrt{\frac{p+1}{2}}$.
Allora, essendo $p-1<\sqrt{{{p}^{2}}-1}$, si ha:
$\begin{align}
& \frac{p-1}{2}+\frac{p+1}{2}+\sqrt{{{p}^{2}}-1}<x+y+2\sqrt{xy}<2p\Rightarrow 2p-1<p+\sqrt{{{p}^{2}}-1}<x+y+2\sqrt{xy}<2p\Rightarrow \\
& 2p-1<x+y+2\sqrt{xy}<2p.\quad (*) \\
\end{align}$
Ma la relazione (*) è assurda, essendo $\left( x;y \right)\in \mathbb{N}\times \mathbb{N}$. (NON esisterebbero tali x,y!) 

Avatar utente
karlosson_sul_tetto
Messaggi: 1434
Iscritto il: 10 set 2009, 13:21
Località: Napoli

Re: [Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da karlosson_sul_tetto » 03 gen 2016, 23:44

(Non sono LucaMac ma prendo in prestito il suo diritto di rispondere)
gpzes ha scritto:$
2p-1<x+y+2\sqrt{xy}<2p.\quad (*) $
Ma la relazione (*) è assurda, essendo $\left( x;y \right)\in \mathbb{N}\times \mathbb{N}$. (NON esisterebbero tali x,y!) 
Purtroppo questo non basta: $2\sqrt{xy}$ è (di solito) un numero irrazionale e quindi non intero; sommato a x e y, potrebbe diventare un qualsiasi irrazionale compreso tra $2p-1$ e $2p$.
"Inequality happens"
---
"Chissa se la fanno anche da asporto"

Avatar utente
gpzes
Messaggi: 173
Iscritto il: 01 gen 1970, 01:00
Contatta:

Re: [Ammissione WC16] TdN 1: Minimo di funzione

Messaggio da gpzes » 04 gen 2016, 00:11

Grazie karlosson :) per pronta risposta :wink: :wink:...
è vero..mi scuso per errore :oops: :oops: ...inizio bene Anno Nuovo :lol: :lol: :wink:
Vedo di modificare :wink: (cerco sempre soluzione "semplice" e che forse eviti primalità) :wink:

Rispondi