2014-09-10, 21:01
  #54721
Medlem
StarSuckers avatar
Kört fast på en bevisuppgift, vill höra om jag är på rätt väg (har aldrig sysslat med bevis tidigare, så jag är rookie)

Vi ska visa följande påstående

[;(1+p)^n\geq1+np;]

Om

[;p>-1, n\in \mathbb{N};]

Detta ska ske med hjälp via induktion. Så här långt har jag kommit:

Basantagande, n=1

[;1+p\geq 1+p;]

Stämmer.

Antagande, n=k

[;(1+p)^k\geq 1+kp;]

Därför bör även det stämma för n=k+1 (men jag har noll koll på vad detta bör visa för att det ska vara korrekt)

[;(1+p)^{k+1}\geq 1+(k+1)p;]

Därefter skriver jag om högerledet med hjälp av potenslagarna

[;(1+p)(1+p)^k\geq 1+(k+1)p;]

Dividerar båda sidor på 1+p samt multiplicerar ut parentesen i högerled

[;(1+p)^k\geq \frac{1+kp+p}{1+p};]

Skriver om högerledet återigen

[;(1+p)^k\geq \frac{1+p}{1+p}+\frac{kp}{1+p};]

(1+p)/(1+p) tar ut varandra i högerled och kvar får vi då

[;(1+p)^k\geq 1+\frac{kp}{1+p};]

Vilket som är väldigt likt vårt antagande, förutom att kp nu divideras på 1+p. Jag kanske är HELT ute och cyklar, kan någon bekräfta att jag är på rätt väg eller om jag gör helt galet?

Tack på förhand!
Citera
2014-09-10, 21:04
  #54722
Medlem
Citat:
Ursprungligen postat av mats_atari
Hej!
Jag undrar om det finns ett sätt att slå på miniräknaren så att man kan omvandla ex. 5 kubikmeter till kubicentimeter? Jag har försökt slå 500 x 500 x500 men svaret stämmer ju inte. Hur är det man ska slå för att räkna ut 500^3.

500*500*500cm ger ju 125 kubikmeter :P

5 kubikmeter = tex 100*100*500cm = 5,000,000 cm^3

för att räkna om m^3 till dm^3 måste du multiplicera det med 1000
för att räkna om dm^3 till cm^3 måste du igen multiplicera med 1000

alltså är cm^3 = m^3 * 1000 * 1000 = m^3 * 1 000 000
Citera
2014-09-10, 21:12
  #54723
Medlem
Citat:
Ursprungligen postat av sehnsucht93
500*500*500cm ger ju 125 kubikmeter :P

5 kubikmeter = tex 100*100*500cm = 5,000,000 cm^3

för att räkna om m^3 till dm^3 måste du multiplicera det med 1000
för att räkna om dm^3 till cm^3 måste du igen multiplicera med 1000

alltså är cm^3 = m^3 * 1000 * 1000 = m^3 * 1 000 000

Ah men vad fasen just det då fattar jag Tusen tack för hjälpen!
Citera
2014-09-10, 21:13
  #54724
Medlem
Nimportequis avatar
Citat:
Ursprungligen postat av StarSucker
Kört fast på en bevisuppgift, vill höra om jag är på rätt väg (har aldrig sysslat med bevis tidigare, så jag är rookie)

Vi ska visa följande påstående

[;(1+p)^n\geq1+np;]

Om

[;p>-1, n\in \mathbb{N};]

Detta ska ske med hjälp via induktion. Så här långt har jag kommit:

Basantagande, n=1

[;1+p\geq 1+p;]

Stämmer.

Antagande, n=k

[;(1+p)^k\geq 1+kp;]

Därför bör även det stämma för n=k+1 (men jag har noll koll på vad detta bör visa för att det ska vara korrekt)

[;(1+p)^{k+1}\geq 1+(k+1)p;]

Därefter skriver jag om högerledet med hjälp av potenslagarna

[;(1+p)(1+p)^k\geq 1+(k+1)p;]

Dividerar båda sidor på 1+p samt multiplicerar ut parentesen i högerled

[;(1+p)^k\geq \frac{1+kp+p}{1+p};]

Skriver om högerledet återigen

[;(1+p)^k\geq \frac{1+p}{1+p}+\frac{kp}{1+p};]

(1+p)/(1+p) tar ut varandra i högerled och kvar får vi då

[;(1+p)^k\geq 1+\frac{kp}{1+p};]

Vilket som är väldigt likt vårt antagande, förutom att kp nu divideras på 1+p. Jag kanske är HELT ute och cyklar, kan någon bekräfta att jag är på rätt väg eller om jag gör helt galet?

Tack på förhand!
Det ser bra ut tills du klargör induktionsantagandet. Därefter antar du att (1+p)^(n+1)>=1+(k+1)p, vilket är det du vill visa. Du gör alltså ett cirkelbevis, eftersom det är väldigt enkelt att visa att det regnar givet att det regnar.

I induktionssteget säger du att (1+p)^(n+1)=(1+p)(1+p)^n>=[enl. i.a.] (1+p)(1+kp)=1+kp+p+kp^2

Du vill nu visa att detta är större eller lika med 1+kp+p, vilket jag lämnar åt dig.
Citera
2014-09-10, 21:17
  #54725
Medlem
StarSuckers avatar
Citat:
Ursprungligen postat av Nimportequi
Det ser bra ut tills du klargör induktionsantagandet. Därefter antar du att (1+p)^(n+1)>=1+(k+1)p, vilket är det du vill visa. Du gör alltså ett cirkelbevis, eftersom det är väldigt enkelt att visa att det regnar givet att det regnar.

I induktionssteget säger du att (1+p)^(n+1)=(1+p)(1+p)^n>=[enl. i.a.] (1+p)(1+kp)=1+kp+p+kp^2

Du vill nu visa att detta är större eller lika med 1+kp+p, vilket jag lämnar åt dig.

Stort tack för hjälpen för feedbacken!
Citera
2014-09-10, 23:16
  #54726
Avslutad
Hur gör jag för kontrollera om nedanstående påståenden är korrekta? Förstår inte riktigt hur man gör när det inte finns en premiss till vänster om ⊨-tecknet. Vanligtvis försöker jag hitta ett motexempel där
vänstra ledet blir sant och högra ledet blir falskt. Men här finns ju inget vänster led. Hur göra?

⊨ ∀x[¬p(x) ∨ (p(x) → [p(x) → p(x)])]

⊨ ∀x∃y[p(x,y) → (r(x,y) → q(x,y))]
Citera
2014-09-10, 23:44
  #54727
Medlem
Lord_Autos avatar
Citat:
Ursprungligen postat av Brady89
Vilken kurs läser du?
Det är ingen lätt ekvation att lösa analytiskt.
Matte B, eller Matte 2C som just min heter.
Jo den är inte lätt...
Citera
2014-09-11, 06:30
  #54728
Medlem
Nimportequis avatar
Citat:
Ursprungligen postat av Animzor
Hur gör jag för kontrollera om nedanstående påståenden är korrekta? Förstår inte riktigt hur man gör när det inte finns en premiss till vänster om ⊨-tecknet. Vanligtvis försöker jag hitta ett motexempel där
vänstra ledet blir sant och högra ledet blir falskt. Men här finns ju inget vänster led. Hur göra?

⊨ ∀x[¬p(x) ∨ (p(x) → [p(x) → p(x)])]

⊨ ∀x∃y[p(x,y) → (r(x,y) → q(x,y))]
Om P är en utsaga som alltid är sann (det vill säga sann i alla möjliga tolkningar) kallas det en tautologi och skrivs ⊨P. Du ska alltså visa att högerleden är ekvivalent med "sant".
Citera
2014-09-11, 08:00
  #54729
Medlem
srinivasas avatar
Citat:
Ursprungligen postat av Animzor
Hur gör jag för kontrollera om nedanstående påståenden är korrekta? Förstår inte riktigt hur man gör när det inte finns en premiss till vänster om ⊨-tecknet. Vanligtvis försöker jag hitta ett motexempel där
vänstra ledet blir sant och högra ledet blir falskt. Men här finns ju inget vänster led. Hur göra?

⊨ ∀x[¬p(x) ∨ (p(x) → [p(x) → p(x)])]

⊨ ∀x∃y[p(x,y) → (r(x,y) → q(x,y))]

Det här tecknet ⊨ betyder att satsen är sann i alla tolkningar. Antingen får du bevisa satsen (om du tror att den är sann) och använda att predikatlogiken är fullständig dvs. om det går att bevisa något så är det också sant i alla modeller. Den första satsen t. ex. har formen icke p eller q, vilket är samma som p implicerar q. Sen är det inte så svårt att härleda. Annars får du som sagt försöka visa att satsen är sann i alla modeller, i första fallet så får du titta på p(a) för ett godtyckligt a i en godtycklig tolkning av p. I det andra satsen så verkar det som om du kan hitta på en tolkning där den blir falsk eftersom p, r och q inte har så mkt med varann att göra så att säga.
Citera
2014-09-11, 08:01
  #54730
Medlem
Citat:
Ursprungligen postat av Lord_Auto
Matte B, eller Matte 2C som just min heter.
Jo den är inte lätt...
Är du säker på att du skrivit av uppgiften rätt?
Det är inte så att den står i ett avsnitt som handlar om grafiska lösningar eller något sånt?
Annars fråga din lärare för den uppgiften tror jag inte du ska lösa med papper och penna.
Citera
2014-09-11, 10:08
  #54731
Medlem
Hur börjar jag på den här uppgiften? Det är en första uppgiften med kedjeregeln i fler flervariabelanalys..

"Betrakta funktionen f(x,y)=sin(x^2y)+e^(x-y) och den sammansatta funktionen g(t)=f(t,t^2)

a) Beräkna g'(t) genom att bestämma g(t) explicit och sedan derivera.
"

Enligt lösningstipset kan man sätta
x = t
y = t^2

och då antar jag att man kan skriva g(t) = sin(t^2*t^2)+e^(t-t^2) ?

Citat:
Ursprungligen postat av Lord_Auto
X^3 - 6X^2 + 8X = 4
Hur löser jag ut X ?

http://www.wolframalpha.com/input/?i=X^3+-+6X^2+%2B+8X+%3D+4
__________________
Senast redigerad av Bomben1 2014-09-11 kl. 10:52.
Citera
2014-09-11, 11:12
  #54732
Bannlyst
Sqrt[x + 3] + 3Sqrt[x] =5

Man ser nästan direkt genom insättning x=1 är en rot
Men det duger förstås inte som svar

Efter utveckling får man
16x^2-137x+121=0

Denna har man ingen större lust att angripa med PQ, blir så stora bråktal och stor risk för slarvfel

Så jag tänkte på konstanta termen kan skrivas som 121=11*11 eller 1*121

(16x - ?) (x- ?)

så ettan ska antingen vara i vänstra eller högra parantesen

man ser enkelt att det ska vara
(16x-121)(x-1)

Alltså x=1 är den enda roten till ursprungsekvationen, den andra är falsk.

men duger detta resonemang? Första seminarieuppgiften
Citera

Skapa ett konto eller logga in för att kommentera

Du måste vara medlem för att kunna kommentera

Skapa ett konto

Det är enkelt att registrera ett nytt konto

Bli medlem

Logga in

Har du redan ett konto? Logga in här

Logga in