Maratona di problemi

TomSawyer1
Proviamo a fare questa cosa: comincio col proporre io un problema (abbastanza facile), poi chi lo risolve propone a sua volta un problema etc etc. Se il risolutore di un problema non ha niente da proporre, puo' dare il permesso ad altri di proporne uno.
Sarebbe bello se si riuscisse a spaziare in piu' campi, e non tenersi solo in uno. Poi, non sarebbe l'ideale proporre problemi esageratamente difficili, cosi' non si ferma tutto.

Problema 1
Siano $a,b,c$ tre interi distinti, e sia $P$ un polinomio a coefficienti interi. Dimostrare che e' impossibile avere che $P(a)=b,P(b)=c,P(c)=a$.

Risposte
Sk_Anonymous
Indichiamo il polinomio al solito modo:
$P(x)=a_o x^n+a_1x^(n-1)+...+a_(n-1)x+a_n$
Per ipotesi si ha allora:
$a_oa^n+a_1a^(n-1)+...+a_(n-1)a+a_n=b$
$a_ob^n+a_1b^(n-1)+...+a_(n-1)b+a_n=c$
$a_oc^n+a_1c^(n-1)+...+a_(n-1)c+a_n=a$
Sottraendo dalla prima relazione la seconda,dalla seconda la terza
e dalla terza la prima,abbiamo:
$a_o(a^n-b^n)+a_1(a^(n-1)-b^(n-1))+...+a_(n-1)(a-b)=b-c$
$a_o(b^n-c^n)+a_1(b^(n-1)-c^(n-1))+...+a_(n-1)(b-c)=c-a$
$a_o(c^n-a^n)+a_1(c^(n-1)-a^(n-1))+...+a_(n-1)(c-a)=a-b$
Come si vede,il primo membro della prima relazione così ottenuta
e' divisibile per a-b e tale deve essere quindi anche il secondo.
Ed analogamente per le rimanenti relazioni.
Pertanto abbiamo le 3 frazioni :
$|(b-c)/(a-b)|,|(c-a)/(b-c)|,|(a-b)/(c-a)|$ che devono essere tutte
riducibili ad interi.
Ora ,comunque si ordini la terna (a,b,c),e' facile constatare che almeno una
di tali frazioni e' propria e quindi non intera.
Per esempio ,se e' a,l'ultima frazione diventa $(b-a)/(c-a)$
ed essa e' propria perche' risulta b-a
Per continuare la maratona propongo questo problemino:
Determinare tutti i naturali $n>=2$ per i quali l'espressione
$5^n+12n^2+12n+3$ e' divisibile per 100

karl

TomSawyer1
Perfetto come sempre.

Si vogliono trovare tutti gli $n\ge2$ tali che $5^n+12n^2+12n+3\equiv0(mod100)$. Per il Teorema Cinese dei Resti, si puo' scomporre questa congruenza in $5^n+12n^2+12n+3\equiv0(mod4)$ e $5^n+12n^2+12n+3\equiv0(mod25)$, in quanto $\gcd(25,4)=1$. La prima e' sempre vera, perche' diventa $5^n+12n^2+12n+3\equiv1^n+3\equiv0(mod4)$; mentre per la seconda vale $5^n+12n^2+12n+3\equiv12n^2+12n+3\equiv(n+3)^2\equiv0(mod25) \implies n\equiv-3(mod5)$.
Quindi, si ha che gli $n$ sono della forma $n=5k+2$, con $k\ge0$.

Problema 3
Sia $a/b=1+1/2+\ldots+1/(p-1)$, con $p$ primo e $\ge5$. Dimostrare che $p^2|a$.

Sk_Anonymous
http://olimpiadi.dm.unipi.it/oliForum/viewtopic.php?t=7863
Spero che TomSawyer abbia una soluzione piu' semplice di quelle
indicate nel link.Altrimenti temo che la maratona finisce qui.
Ma non si era detto di postare problemi aperti a tutti?
Comunque per continuare il gioco posto un esercizio ..piu' umano:
Siano A,B,C gli angoli di un triangolo;dimostrare che e':
$cosA+cosB+cosC<=sin(A/2)+sin(B/2)+sin(C/2)$
karl
P.S.
Molto bella la soluzione di TomSawyer dell'esercizio sulla divisibilità:
mi e' piaciuta molto (io ne avevo una piu' elementare).

fields1
"karl":
Molto bella la soluzione di TomSawyer dell'esercizio sulla divisibilità:
mi e' piaciuta molto (io ne avevo una piu' elementare).


Eccola. Ricordi... estivi :-D https://www.matematicamente.it/f/viewtop ... highlight=

TomSawyer1
Hai ragione, sono andato troppo nello specifico, bisognava conoscere il teorema di Euler-Fermat ed altre proprietà particolari. Non ho una soluzione più elementare, ma sarebbe interessante trovarla.

Se ti va, posti anche la tua soluzione più elementare del secondo problema?

EDIT:
@fields
sì, è la stessa strada, anche se alcuni passaggi sono un po' diversi :D
Le congruenze aiutano molto in questo caso.

fu^2
"karl":
http://olimpiadi.dm.unipi.it/oliForum/viewtopic.php?t=7863
Spero che TomSawyer abbia una soluzione piu' semplice di quelle
indicate nel link.Altrimenti temo che la maratona finisce qui.
Ma non si era detto di postare problemi aperti a tutti?
Comunque per continuare il gioco posto un esercizio ..piu' umano:
Siano A,B,C gli angoli di un triangolo;dimostrare che e':
$cosA+cosB+cosC<=sin(A/2)+sin(B/2)+sin(C/2)$
karl
P.S.
Molto bella la soluzione di TomSawyer dell'esercizio sulla divisibilità:
mi e' piaciuta molto (io ne avevo una piu' elementare).


con l'ipotesi che $A,B,C!=0$ e $A,B,C!=2pi$

infatti nella disequazione iniziale si ha che se $A=B=C=0$ diventa $cos0+cos0+cos0<=sin0+sin0+sin0$ quindi $3<=0$ che è impossibile idem succede con $A=B=C=2pi$ o mi sbaglio? :wink:

Sk_Anonymous
Azz..e chi si ricordava piu' di aver gia' postato quell'esercizio.
Di solito tengo tutto (...o quasi) a mente : devo cominciare a preoccuparmi!!!
La mia soluzione.
Si puo' scrivere l'espressione come:
$(5^n+75)+12n^2+12n-72=[5^n+75]+12(n-2)(n+3)$
La parte in parentesi quadra e' gia' divisibile per 100 e quindi,tenuto conto che
il fattore 12 e' divisibile per 4 ,bastera' determinare gli "n" che rendono divisibile
per 25 la parte $(n-2)(n+3)$.
Ci sono 2 casi da considerare.
Uno dei due fattori e' divisibile per 25 e l'altro e' una costante qualunque.
I due fattori sono entrambi divisibili per 5.
Considero solo quest'ultimo caso dato che l'altro e' sostanzialmente equivalente
e porta ai medesimi risultati.
Dunque poniamo:
$n-2=5k-->n=5k+2$ .In tal modo si ha $n+3=5k+5=5(k+1)$ che e' divisibile per 5.
In conclusione possiamo scegliere:
$n=5k+2,k>=0$
@fu^2
Forse ti e' sfuggito che A,B,C sono angoli di un triangolo.
karl

fu^2
"karl":

@fu^2
Forse ti e' sfuggito che A,B,C sono angoli di un triangolo.
karl


che sbadato avevo letto male il testo :-D

TomSawyer1
"karl":

Siano A,B,C gli angoli di un triangolo;dimostrare che e':
$cosA+cosB+cosC<=sin(A/2)+sin(B/2)+sin(C/2)$


Se non ho ragionato male, per $A,B,C

Sk_Anonymous
In realta' e' $(2pi)/3=120°$ e nulla vieta ad un triangolo di avere
un angolo ( ed uno solo!) maggiore di 120° ( ed ovviamente minore di 180°).
Inoltre trovo un piccolo refuso nello svolgimento in quanto e' :
$sin(A/2)=sqrt((1-cosA)/2$
karl

TomSawyer1
Sì, io ho praticamente dimostrato l'ovvia cosa che $cosA:D).

fu^2

TomSawyer1
Guarda che l'ultima è vera, non so come tu abbia fatto i calcoli. Hai $1,4995477126059991961227261610241\le1,4998851951169884496791008043002$.

fu^2
"TomSawyer":
Guarda che l'ultima è vera, non so come tu abbia fatto i calcoli. Hai $1,4995477126059991961227261610241\le1,4998851951169884496791008043002$.


l'avevo calcolato con derive, per far presto i calcoli... e come risultato mi da "false" boh :-D

TomSawyer1
Di default i calcoli li fa in radianti :D.

UnKnown089
ma dovendoci essere per forza angoli al massimo retti altrimenti il cos(A) diventa <0 e l'equazione mi sembra verificata sempre.
essendo il punto in cui il cos supera il seno a 45° per il primo quadrante. ( cioè per valori dell'angolo inferiori a 45 ° il valore del coseno di quell'angolo supera il valore del seno di quell'angolo)

il valore massimo che possono assumere la somma dei tre coseni è per 3 angoli da 60 ° ciascuno..

per ottenere un triangolo almeno 2 angoli devono superare 60 ° al limite tutti e tre sono di 60°

quindi si ha che essendo la combinazione il cui valore della somma dei coseni vale 1.5 ed è il caso di
$Cos(60) *3 $
si ha che aumentando uno degli angoli l'altro dovrà diminurire ma essendo il diagramma del seno e del coseno identico , solo sfasato di 90 ° (in quadratura) si ha che per un aumento di uno degli angoli l'altro diminuirà ma ciò cmq produrrà tale effetto , fingiamo di aver modificato A e B.
$Cos(60) +Cos(60) >Cos(A)+Cos(B)
mentre Sen(60) *2 < Sen(A)+Sen(B)$

Piera4
Dai karl, facci vedere la tua soluzione!
Ho provato a barare cercando la soluzione in rete, però ho solo scoperto chi è l'autore della disuguaglianza che risale agli anni '70.

Mega-X
"TomSawyer":
Proviamo a fare questa cosa: comincio col proporre io un problema (abbastanza facile), poi chi lo risolve propone a sua volta un problema etc etc. Se il risolutore di un problema non ha niente da proporre, puo' dare il permesso ad altri di proporne uno.
Sarebbe bello se si riuscisse a spaziare in piu' campi, e non tenersi solo in uno. Poi, non sarebbe l'ideale proporre problemi esageratamente difficili, cosi' non si ferma tutto.

Problema 1
Siano $a,b,c$ tre interi distinti, e sia $P$ un polinomio a coefficienti interi. Dimostrare che e' impossibile avere che $P(a)=b,P(b)=c,P(c)=a$.


Volevo postare la mia dimostrazione, sono alle prime armi con la matematica (e soprattutto con le dimostrazioni) e quindi voglio avere una conferma se ho risolto bene il problema.. quindi aiuto please.. :-D

allora la funzione $P(x)$ si può scrivere come $sum_(i=0)^na_ix^(n-i) = a_0x^n + a_1x^(n-1)+cdots+a_n$

procediamo per assurdo (negando la tesi) quindi $P(A) = P(B) = P(C)$ (Li scrivo grandi per evitare confusioni con i coefficienti del polinomio)

significa che $a_0A^n + cdots + a_n = a_0B^n + cdots + a_n = a_0C^n + cdots + a_n$

ora sopprimiamo la serie al primo termine (ecco qua il mio dubbio che non mi fa capire se la mia dimostrazione è effetivamente giusta)
e quindi abbiamo $a_0A^n = a_0B^n = a_0C^n$ dividendo tutto per $a_0$ ed applicando la funzione $x^(1/n)$ a tutte e 3 i termini abbiamo che
$A = B = C$ in contrapposizione con l'ipotesi fatta ($A != B != C$)

ok rispondete in tanti.. :-D

Sk_Anonymous
Si ha:
$cosA+cosB=2cos((A+B)/2)cos((A-B)/2)=2sin(C/2)cos((A-B)/2)$
Tenendo conto che e' certamente $0,ne segue:
(1) $cosA+cosB<=2sin(C/2)$
Ed analogamente:
(2) $cosB+cosC<=2sin(A/2)$
(3) $cosC+cosA<=2sin(B/2)$
Sommando (1),(2) e (3) e semplificando per 2 si ha la tesi.
karl

Piera4
grazie karl!
davvero semplice la tua soluzione, il problema è come arrivarci!

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.