Középiskolai Matematikai és Fizikai Lapok
Informatika rovattal
Kiadja a MATFUND Alapítvány
Már regisztráltál?
Új vendég vagy?

Fórum: Érdekes matekfeladatok

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]    [51]    [52]    [53]    [54]    [55]    [56]    [57]    [58]    [59]    [60]    [61]    [62]    [63]    [64]    [65]    [66]    [67]    [68]    [69]    [70]    [71]    [72]    [73]    [74]    [75]    [76]    [77]    [78]    [79]    [80]    [81]    [82]    [83]    [84]    [85]    [86]    [87]    [88]    [89]    [90]    [91]    [92]    [93]    [94]    [95]    [96]    [97]    [98]    [99]    [100]    [101]    [102]    [103]    [104]    [105]    [106]    [107]    [108]    [109]    [110]    [111]    [112]    [113]    [114]    [115]    [116]    [117]    [118]    [119]    [120]    [121]    [122]    [123]    [124]    [125]    [126]    [127]    [128]    [129]    [130]    [131]    [132]    [133]    [134]    [135]    [136]    [137]    [138]    [139]    [140]    [141]    [142]    [143]    [144]    [145]    [146]    [147]    [148]    [149]    [150]    [151]    [152]    [153]    [154]    [155]    [156]    [157]    [158]    [159]    [160]    [161]  

Szeretnél hozzászólni? Jelentkezz be.
[2240] jonas2007-08-23 22:32:57

Hasonló kérdés: bizonyítsuk be, hogy 1+1=2.

Szerintem is teljesen attól függ, hogy definiáljuk a természetes számokat.

Előzmény: [2232] Gyöngyő, 2007-08-23 12:30:27
[2239] Sirpi2007-08-23 21:56:59

Azt, hogy a fv. hol vesz fel racionális értékeket, szerintem se érdemes túlzottan vizsgálni. Annyi bizonyos, hogy a folytonosság miatt a minimuma és maximuma között felveszi az összeset.

Már az x3-x fv.-ről se látom kapásból, hogy milyen irracionális értékekra racionális (ehhez az x3-x-p/q=0 harmadfokú egyenletet kell megoldani mindenféle p,q értékekre).

Előzmény: [2226] Cckek, 2007-08-22 12:21:54
[2238] Csimby2007-08-23 21:48:33

Szerintem, ha ennyire lemegyünk, az alapokig, hogy 1>0, akkor tisztáznunk kell a definíciókat, hogy tudjuk mit használhatunk a bizonyítás során. Nem gondoltam utána, de nem vagyok benne biztos, hogy pl. CCkek bizonyítása nem használja-e fel valahol, hogy 1>0.

Előzmény: [2236] Lóczi Lajos, 2007-08-23 18:31:13
[2237] jonas2007-08-23 19:17:14

Szerintem arccos(ncos x) rondább, nem polinom, és biztosan nincs annyi érdekes tulajdonsága.

Előzmény: [2234] Cckek, 2007-08-23 14:12:01
[2236] Lóczi Lajos2007-08-23 18:31:13

A teljességre valóban nincs szükség.

A felvetésednek mindazonáltal nem igazán látom értelmét: legyen összesen 2 elemünk, és egy ">"-gyel jelölt reláció. Az egyetlen igaz állítás (axióma) a rendszerünkben pedig legyen az, hogy "1>0". A jelek jelentését firtatni itt értelmetlen. :)

Előzmény: [2235] HoA, 2007-08-23 17:00:28
[2235] HoA2007-08-23 17:00:28

Úgy látom, Gyöngyő nem érti, mennyire jogos Csimby felvetése. Szerintem a feladatot valahogy úgy kéne megfogalmazni: Mi az a minimális fogalom, definíció, axióma halmaz, amiből adódik, mit jelent a "0", az "1" és a ">" , és amiből be lehet bizonyítani az állítást? Úgy sejtem, a teljesen rendezett kommutatív test fogalmára nincs szükség.

Előzmény: [2232] Gyöngyő, 2007-08-23 12:30:27
[2234] Cckek2007-08-23 14:12:01

Most épp Csebisev polinomokkal foglalkozgatom, tahát Tn(x)=cos (narccosx) polinom. Mi a helyzet forditva? arccos(ncos x) hogyan néz ki? Vagy általánosan melyek azok a bijektív függvények melyekre

f(n.f-1(x)) polinom?

[2233] Lóczi Lajos2007-08-23 13:24:58

Pontosabban:

"Tehát a kérdésem az VOLT hogy hogyan..."

hiszen meg lett válaszolva :)

Előzmény: [2232] Gyöngyő, 2007-08-23 12:30:27
[2232] Gyöngyő2007-08-23 12:30:27

Szia Csimby!

Tehát a kérdésem az hogy hogyan lehet igazolni hogy 1>0 tehát egy nagyobb mint nulla!

Üdv.: Gyöngyő

Előzmény: [2228] Csimby, 2007-08-22 18:43:12
[2231] Lóczi Lajos2007-08-23 09:50:57

Pl. az x=\pi/4 speciális esetben adódó 2^{1 - \frac{1}{2{\sqrt{2}}}} számról szerintem csak a Gelfond-Schneider-tétellel látszik, hogy irracionális; az összes x átvizsgálását elég reménytelennek látom...

Előzmény: [2226] Cckek, 2007-08-22 12:21:54
[2230] Cckek2007-08-22 18:53:40

Gondolom teljesen rendezett kommutatív testről van szó.

Előzmény: [2229] Cckek, 2007-08-22 18:51:09
[2229] Cckek2007-08-22 18:51:09

Feltesszük, hogy 1<0. Ekkor a negativ számokkal való szorzás tulajdonságai alapján: 1.1>1.0 az-az 1>0 Ellentmondás.

Előzmény: [2227] Gyöngyő, 2007-08-22 17:49:19
[2228] Csimby2007-08-22 18:43:12

Szia!

Mit jelent az hogy ">"?

Előzmény: [2227] Gyöngyő, 2007-08-22 17:49:19
[2227] Gyöngyő2007-08-22 17:49:19

Sziasztok!

Lenne egy olyan kérdésem,hogy hogyan lehet bebízonyítani,hogy 1>0 (egy nagyobb mint nulla)?

Köszönettel:

Gyöngyő

[2226] Cckek2007-08-22 12:21:54

Igen, valóban nem volt valami nagy szám ez a feladat, bár a megoldás tökéletes:). Vajon mi a helyzet, ha

k\inQ?

Előzmény: [2224] Lóczi Lajos, 2007-08-22 12:07:23
[2225] Lóczi Lajos2007-08-22 12:15:26

Nem is kellett 1 hónapot várni rá :)

Előzmény: [2222] jonas, 2007-08-13 11:19:10
[2224] Lóczi Lajos2007-08-22 12:07:23

Gondolom, x valós. Ekkor elegendő a [0,2\pi] intervallumot nézni. Mivel [\pi,2\pi]-n a szinusz negatív és negatív alap esetén nehézkes a valós számok körében hatványokat értelmezni, ezért ezt a részt most hagyjuk ki. Marad a [0,\pi] intervallum. A koszinusz negatív ezen intervallum jobb felén. Marad [0,\pi/2]. Itt viszont az eredeti függvény tengelyesen szimmetrikus e legutóbbi intervallum felezőmerőlegesére, tehát elég [0,\pi/4]-re szorítkozni.

Az eredeti bal oldal x=0-ban éppen 1. De minden x\in(0,\pi/4)-re (sin x)cos x+(cos x)sin x>1, hiszen

(sin x)cos x+(cos x)sin x\ge(sin x)1+(cos x)1, ez utóbbi függvény viselkedése pedig egyszerű: tudjuk, hogy >1 a megadott intervallumon.

Azt is könnyű meggondolni, hogy (sin x)cos x+(cos x)sin x sosem lehet 2, hiszen 0 és 1 közötti számok 0 és 1 közé eső hatványa ugyanilyen, de egyszerre nem lehet mindkettő 1.

Ezekből az eredeti kérdésre a válasz már rögtön kiolvasható, ha nem tévedtem sehol.

Előzmény: [2223] Cckek, 2007-08-22 10:13:55
[2223] Cckek2007-08-22 10:13:55

Oldjuk meg a (sin (x))cos (x)+(cos (x))sin (x)=k\inZ egyenletet:D

[2222] jonas2007-08-13 11:19:10

Tapasztalatom szerint a Google nagyon jól működik a KöMaL fórumra. Például ha beírod a keresőbe, hogy Ali győzelem-ünnepe, akkor egy hónap múlva meg fogja találni ezt a hozzászólást.

Előzmény: [2179] epsilon, 2007-07-29 13:10:22
[2221] Cckek2007-08-10 17:43:13

Köszi szépen Lajos a tanulmányokat, nagyon érdekesek, az említett azonosságra tudok egy indukciós bizonyítást, mely elég hosszú, ezért lettem volna kiváncsi más ötletekre...

Előzmény: [2220] Lóczi Lajos, 2007-08-09 23:36:02
[2220] Lóczi Lajos2007-08-09 23:36:02

Ezeknek az azonosságoknak nevük is van. Az említett speciális eset, úgy rémlik, egyszerűen abból jön ki, hogy (1+x)a+b=(1+x)a(1+x)b. De itt egy kombinatorikus érvelés is. Itt pedig általánosítások, többek között a híres "\zeta(3) irracionális" állításról is szól.

Előzmény: [2219] Cckek, 2007-08-09 23:01:34
[2219] Cckek2007-08-09 23:01:34

Bizonyítsuk be, hogy

\binom{a+b}{n}=\sum_{k=0}^n\binom{a}{k}\binom{b}{n-k}, a,b\in R,n\in N

[2218] Cckek2007-08-08 12:09:35

Gyönyörűszép levezetés, gratula. Azt hiszem, hogy Cesaro-Stolzzal is megy, mármint ha nem csesztem el valahol:)

Első Stolz után l=\lim_{n\to \infty}{\frac{ln(n+1)\sum_{k=2}^n\frac{1}{lnk}}{2n+1}}.

Második Stolz után: l=\lim_{n\to \infty}{\frac{ln(\frac{n+2}{n+1})\sum_{k=2}^n\frac{1}{lnk}+\frac{ln(n+2)}{ln(n+1)}}{2}}.

Már csak azt kell felhasználni, hogy \frac{ln(n+2)}{ln(n+1)}\to 1,n\to \infty és \frac{\sum_{k=2}^n\frac{1}{lnk}}{2(n+1)}\cdot ln\left(1+\frac{1}{n+1}\right)^{n+1}\to 0.

Előzmény: [2217] nadorp, 2007-08-08 00:22:25
[2217] nadorp2007-08-08 00:22:25

Ennek nem lehet ellenállni :-) ( Remélem jó is lesz a megoldás)

Egy jelölés: Ha {an},{bn} két sorozat, akkor an\simbn jelölje az asszimptotikus egyenlőséget, tehát hogy \lim_{n\to\infty}\frac{a_n}{b_n}=1. Felhasználtam a következőket:

a.) \lim_{n\to\infty}\ln{n!}\sim n\ln{n}

b.) Ha {an},{bn} két pozitív sorozat, és an\simbn valamint \sum a_n=\infty, akkor \sum a_n\sim\sum b_n

A feladatban szereplő összeg az alábbiak szerint is írható

S_n=\sum_{k=2}^{n-1}\left(\frac{\ln{(k+1)}}{\ln k}+ ... +\frac {\ln n}{\ln k}\right)=\sum_{k=2}^{n-1}\frac{\ln n!-\ln k!}{\ln k}=\ln n!\sum_{k=2}^{n-1}\frac1{\ln k}-\sum_{k=2}^{n-1}\frac{\ln k!}{\ln k}=A_n-B_n

Belátjuk, hogy A_n\sim n^2 , B_n\sim\frac{n^2}2,innen már következik \frac{S_n}{n^2}\to\frac12

1.) A_n>\ln n!\frac{n-2}{\ln (n-1)}\sim n\ln n~\frac n{\ln n}=n^2

A_n=\ln n!\left(\frac1{\ln2}+\sum_3^{\frac n{\ln^2 n}}\frac1{\ln k}+\sum_{k>\frac n{\ln^2 n}}\frac1{\ln k}\right)

A_n<\ln n!\left(\frac1{\ln2}+\frac n{\ln^2 n}\cdot1+(n-\frac n{\ln^2 n})\frac1{\ln n-2\ln\ln n}\right)\sim n\ln n~\frac n{\ln n}=n^2

2.) Mivel \frac{\ln k!}{\ln k}\sim\frac{k\ln k}{\ln k}=k, ezért

B_n\sim\sum_{k=2}^{n-1}k\sim\frac{n^2}2

Előzmény: [2213] Lóczi Lajos, 2007-08-07 00:22:27
[2216] Cckek2007-08-07 17:47:22

Ez szép volt HoA.:)

Előzmény: [2215] HoA, 2007-08-07 15:33:23

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]    [51]    [52]    [53]    [54]    [55]    [56]    [57]    [58]    [59]    [60]    [61]    [62]    [63]    [64]    [65]    [66]    [67]    [68]    [69]    [70]    [71]    [72]    [73]    [74]    [75]    [76]    [77]    [78]    [79]    [80]    [81]    [82]    [83]    [84]    [85]    [86]    [87]    [88]    [89]    [90]    [91]    [92]    [93]    [94]    [95]    [96]    [97]    [98]    [99]    [100]    [101]    [102]    [103]    [104]    [105]    [106]    [107]    [108]    [109]    [110]    [111]    [112]    [113]    [114]    [115]    [116]    [117]    [118]    [119]    [120]    [121]    [122]    [123]    [124]    [125]    [126]    [127]    [128]    [129]    [130]    [131]    [132]    [133]    [134]    [135]    [136]    [137]    [138]    [139]    [140]    [141]    [142]    [143]    [144]    [145]    [146]    [147]    [148]    [149]    [150]    [151]    [152]    [153]    [154]    [155]    [156]    [157]    [158]    [159]    [160]    [161]