La ricerca ha trovato 138 risultati

da Karl Zsigmondy
11 feb 2013, 19:21
Forum: Teoria dei Numeri
Argomento: $p\le \sqrt{n} \implies p\mid ab$
Risposte: 9
Visite : 2607

Re: $p\le \sqrt{n} \implies p\mid ab$

EDIT: nel caso a-b=1 ci sono ancora problemi...
da Karl Zsigmondy
11 feb 2013, 14:52
Forum: Algebra
Argomento: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$
Risposte: 3
Visite : 1241

Re: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

patatone ha scritto:hai sbagliato il verso alla fine... in realtà potresti accorgerti che con HM-GM è impossibile che venga perchè se un t_i andasse a 0 e tutti gli altri a infinito (caso limite) la somma dei reciproci andrebbe a infinito...
In effetti hai ragione...
da Karl Zsigmondy
11 feb 2013, 14:49
Forum: Teoria dei Numeri
Argomento: $p\le \sqrt{n} \implies p\mid ab$
Risposte: 9
Visite : 2607

Re: $p\le \sqrt{n} \implies p\mid ab$

La dimostrazione sfrutta il fatto che almeno un primo c'è. Per i casi piccoli può anche non esserci, ma si possono fare a mano. Tipo n=2 come hai fatto vedere ammette soluzione, per gli altri o non sono esprimibili come somma di quadrati, o sono abbastanza grandi affinché valga la dimostrazione.
da Karl Zsigmondy
11 feb 2013, 14:47
Forum: Teoria dei Numeri
Argomento: 145. Una congruenza combinatorica
Risposte: 5
Visite : 1781

Re: 145. Una congruenza combinatorica

Sono contento che ti sia piaciuto! :D Vai col prossimo...
da Karl Zsigmondy
10 feb 2013, 11:41
Forum: Algebra
Argomento: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$
Risposte: 3
Visite : 1241

Re: $\prod_{i=0}^n{\tan(a_i)}\ge n^{n+1}$

Pongo per abbreviazione \tan{(a_i)}=t_i . Allora abbiamo che \sum_{i=o}^{n}{\tan{(a_i - \frac{\pi}{4})}}=\sum_{i=o}^{n}{\frac{t_i-1}{t_i+1}} = n+1-2 \cdot \sum_{i=o}^{n}{\frac{1}{t_i+1}} , quindi l'ipotesi equivale al fatto che \sum_{i=o}^{n}{\frac{1}{t_i+1}} \leq 1 . Si ha ora per AM-HM che \sum_{i...
da Karl Zsigmondy
10 feb 2013, 11:04
Forum: Geometria
Argomento: 43. Una bisettrice "simpatica"
Risposte: 4
Visite : 1188

Re: 43. Una bisettrice "simpatica"

mat94 ha scritto:Con ceva intendi dire: supponi per assurdo che il piede della perpendicolare ($L$) condotta da P su AB sia diverso da F, per ceva ti viene che AC,BD e PL concorrono quindi L è effettivafemente P?
Proprio così! :wink:
da Karl Zsigmondy
10 feb 2013, 09:52
Forum: Geometria
Argomento: 43. Una bisettrice "simpatica"
Risposte: 4
Visite : 1188

Re: 43. Una bisettrice "simpatica"

Lo dico pure per gli altri, si poteva fare anche con Ceva quell'allineamento! Era uno shortlist G1 delle Imo '94. Comunque bene, vai col prossimo!
da Karl Zsigmondy
09 feb 2013, 14:29
Forum: Geometria
Argomento: 43. Una bisettrice "simpatica"
Risposte: 4
Visite : 1188

43. Una bisettrice "simpatica"

Sia \Gamma un semicerchio con diametro su una retta r. Siano C, D punti qualsiasi su \Gamma . Le tangenti a \Gamma in C e in D incontrano r in B e in A rispettivamente, con il centro O del semicerchio compreso fra B ed A. Sia E=AC \cap BD e sia F il punto su r tale che EF \bot r . Provare che EF bis...
da Karl Zsigmondy
08 feb 2013, 21:43
Forum: Geometria
Argomento: Una "combinazione lineare" di cateti
Risposte: 10
Visite : 2662

Re: Una "combinazione lineare" di cateti

Uppo per la proporzione, ho provato a fare varie sostituzioni ma non riesco a dimostrarla, ed il secondo punto. Per la proporzione si può porre a=x(1-k^2) \ ; \ b=y(2k) e poi verificare a mano che c è uguale a quel valore (relazione+Pitagora) se e solo se x=y. Per la seconda parte si possono prende...
da Karl Zsigmondy
08 feb 2013, 21:00
Forum: Geometria
Argomento: Ortocentri, baricentri, circocentri ... un po' tutti uguali
Risposte: 5
Visite : 1435

Re: Ortocentri, baricentri, circocentri ... un po' tutti ugu

Utilizzo i vettori e fisso l'origine in O (per risparmiare tempo evito le freccette sui vettori) 1) Il baricentro di ABC è G= \frac{A+B+C}{3} . Il suo ortocentro è H=A+B+C . Il baricentro di BCH sarà dunque dato da G_a = \frac{A+2B+2C}{3} , quello di CAH da G_b=\frac{2A+B+2C}{3} , quello di ABH da G...
da Karl Zsigmondy
08 feb 2013, 20:39
Forum: Geometria
Argomento: 42. Baricentro del proprio triangolo pedale
Risposte: 4
Visite : 1595

Re: 42. Baricentro del proprio triangolo pedale

Mi pare di aver letto l'idea di questa dimostrazione un bel po' di tempo fa sul forum, ma sicuramente mi sbaglio. Sia G il baricentro. Il suo coniugato isogonale è il punto di Lemoine K su ABC (si può vedere facilmente in baricentriche, o vedendo i rapporti che mediane e simmediane staccano sui lati...
da Karl Zsigmondy
08 feb 2013, 19:50
Forum: Teoria dei Numeri
Argomento: 145. Una congruenza combinatorica
Risposte: 5
Visite : 1781

145. Una congruenza combinatorica

Dato p primo dispari, mostrare che vale:
$ \displaystyle \sum_{j=0}^{p}{\binom{p}{j} \binom{p+j}{j}} \equiv 2^p + 1 \pmod{p^2} $
da Karl Zsigmondy
08 feb 2013, 15:40
Forum: Teoria dei Numeri
Argomento: $p\le \sqrt{n} \implies p\mid ab$
Risposte: 9
Visite : 2607

Re: $p\le \sqrt{n} \implies p\mid ab$

Non ci sono n siffatti. Suppongo per assurdo che esista una soluzione (n, a, b). Allora avrei, dato che (a, b)=1 , che p|a oppure p|b (ma p non divide entrambi). Quindi alla fine avrò che a, b saranno della forma: a= a_0 \cdot p_1 \cdot p_2 \cdots p_k \ ; \ b = b_0 \cdot q_1 \cdot q_2 \cdots q_j dov...
da Karl Zsigmondy
08 feb 2013, 14:55
Forum: Teoria dei Numeri
Argomento: 144. Almeno 3 divisori primi
Risposte: 9
Visite : 2597

Re: 144. Almeno 3 divisori primi

Prendo a come nel mio post di sopra. Allora, sia o = ord_p(2) . Abbiamo necessariamente che o \mid a . Ora, suppongo per assurdo che o' = ord_{p^2}(2) \neq o . Innanzitutto avrei necessariamente che o \mid (p-1) . Inoltre per LTE avrei che 2 \leq V_p(2^{p-1}-1)=V_p(2^o-1) + V_p(\frac{p-1}{o})=V_p(2^...
da Karl Zsigmondy
05 feb 2013, 19:17
Forum: Teoria dei Numeri
Argomento: 144. Almeno 3 divisori primi
Risposte: 9
Visite : 2597

Re: 144. Almeno 3 divisori primi

Ok :) Solo una cosa: puoi chiarire perchè $p!+2^n$ non è una potenza di 2? (è falso che lo è solo se $p!=2^n$) Si, scusa, mi ero sbagliato. Allora, è chiaro che V_2(p!)=n altrimenti posso scomporre (p!+2^n) come prodotto di un numero pari per un numero dispari. Quindi si ottiene che p! è della form...