35 svar
907 visningar
Katarina149 behöver inte mer hjälp
Katarina149 7151
Postad: 23 mar 2021 19:51

Derivatans definition

I en formelsamling står det att funktionen f(x) = ln x har derivatan f'(x) = 1/x för alla x > 0. Undersök om denna deriveringsregel verkar vara riktig. Du behöver inte utföra ett bevis.

Hur kan jag mha derivatans definition bevisa att det här sambandet stämmer?

Hur ska jag veta om jag ska dela ln(h+x) med h eller x?

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 20:02

Vet inte om man går igenom det i matte 3 men känner du till standarsgräsvärdet för ln(x)?

Katarina149 7151
Postad: 23 mar 2021 20:14 Redigerad: 23 mar 2021 20:14

Nej inget man lär sig i ma3 vad jag vet

rapidos 1727 – Livehjälpare
Postad: 23 mar 2021 20:40

Från gammal pluggakut:

 Sätt t ex x=10 och variera h=(0,1;0,01;…) och visa derivatan av ln(x) går emot 1/x när h->0

Katarina149 7151
Postad: 23 mar 2021 20:42 Redigerad: 23 mar 2021 20:42

Jag såg den uträkningen men jag tyckte att den vara komplicerad att förstå/ hänga med. Kan du förklara stegvis vad för beräkning som utförs på bilden?

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 20:48 Redigerad: 23 mar 2021 20:48

man använder standardgränsvärdet ln(x+1)x1\frac{\ln(x+1)}{x} \rightarrow 1x0x \rightarrow 0

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 20:53

Du kan antingen göra som rapidos föreslår ovan eller så kanske man kan göra en omskrivning och härleda det med användning av e.

Vi vet att exe^x har derivatan exe^x och låter vi då f(x)=lnxf(x)= \ln x kan vi skriva det som ef(x)=xe^{f(x)}=x, nu kan du derivera HL och VL och så borde 1/x1/x trilla ut.

Katarina149 7151
Postad: 23 mar 2021 20:58
Dracaena skrev:

Du kan antingen göra som rapidos föreslår ovan eller så kanske man kan göra en omskrivning och härleda det med användning av e.

Vi vet att exe^x har derivatan exe^x och låter vi då f(x)=lnxf(x)= \ln x kan vi skriva det som ef(x)=xe^{f(x)}=x, nu kan du derivera HL och VL och så borde 1/x1/x trilla ut.

Hur menar du?

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 21:01 Redigerad: 23 mar 2021 21:02

ef(x)dx=xdx\displaystyle{e^{f(x)}d \, x = x \, d \, x} prova att utföra deriveringen på båda led och se vad du får! :)

Katarina149 7151
Postad: 23 mar 2021 21:27
Dracaena skrev:

ef(x)dx=xdx\displaystyle{e^{f(x)}d \, x = x \, d \, x} prova att utföra deriveringen på båda led och se vad du får! :)

Vad betyder e^f(x)?

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 21:34
Katarina149 skrev:
Dracaena skrev:

ef(x)dx=xdx\displaystyle{e^{f(x)}d \, x = x \, d \, x} prova att utföra deriveringen på båda led och se vad du får! :)

Vad betyder e^f(x)?

Kika på mitt inlägg här. f(x)=lnxf(x)= \ln x i detta fallet och elnx=xe^{\ln x}=x eftersom de är varandras inverser.

Katarina149 7151
Postad: 23 mar 2021 21:44

Kan du ta det stegvist istället? Fattar inte hur du resonerar 

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 21:50 Redigerad: 23 mar 2021 21:51

Okej, vi provar att ta det i steg istället!

  1. Är du med på att derivatan av exe^x är exe^x?
  2. Är du med på att elnx=xe^{\ln x}=x?
  3. Om vi låter f(x)=lnxf(x)=\ln x så får vi att ef(x)=xe^{f(x)}=x (vi höjer upp VL och HL med e så vi får e^HL och e^VL).
  4. Eftersom elnx=xe^{\ln x}=x för alla x så är det okej för oss att derivera HL och VL och få likheten ef(x)dx=xdxe^{f(x)}d \, x = x d \, x

Vilken/ vilkar punkter hänger du inte med på? :)

Katarina149 7151
Postad: 23 mar 2021 22:16

Det är steg 3 som jag inte hänger med på

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 22:20 Redigerad: 23 mar 2021 22:21

Vi har att f(x)=lnx f(x)= \ln x, vi höjer upp högerled och vänsterled med e och då fås ef(x)=elnxe^{f(x)}=e^{\ln x} och detta är samma som elnx=elnxe^{\ln x}=e^{\ln x}, detta ger att elnx=xe^{\ln x}=x men vi har ju sagt att lnx=f(x)\ln x = f(x) och då får vi att ef(x)=xe^{f(x)}=x och nu deriverar vi högerled och vänsterled. 

Är det fortfarande oklart? :)

Katarina149 7151
Postad: 23 mar 2021 22:22

Varför ska man behöva göra på det här sättet? Det är ju krångligt 

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 22:25

Du måste inte göra på det sättet, det är ett alternativt sätt att lösa uppgiften på, du har ju annars två metoder ovan som fungerar fint.
Sedan är det väl inte så krånligt egentligen, allt vi egentligen gör är ju att definera f(x)=lnxf(x)= \ln x och sedan höjer vi upp HL och VL med e och sedan deriverar vi. :)

Katarina149 7151
Postad: 23 mar 2021 22:57

Men kan du förklara steg 3 & 4? För jag vill gärna förstå de

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 23:01

Okej, vi har att f(x)=lnxf(x)= \ln x, tar vi nu båda leden och höjer upp med e får vi ef(x)=xe^{f(x)}=x eftersom elnx=xe^{\ln x}=x är du med så långt? Om inte får du säga till vad det är du fortfarande tycker verkar krångligt.

Katarina149 7151
Postad: 23 mar 2021 23:06

Helt ärligt är jag inte med :(

Fermatrix 7841 – Fd. Medlem
Postad: 23 mar 2021 23:09 Redigerad: 23 mar 2021 23:15

Okej, är du med på att om vi har likheten 5x=35x=3 så är detta samma sak som e5x=e3e^{5x}=e^3 och att detta är samma sak som eln(5x)=eln3e^{\ln (5x)}=e^{\ln 3}?

 

du kan också läsa det som står här.

Katarina149 7151
Postad: 23 mar 2021 23:23 Redigerad: 23 mar 2021 23:23

Japp det är jag med på

Fermatrix 7841 – Fd. Medlem
Postad: 24 mar 2021 09:41 Redigerad: 24 mar 2021 09:42

Bra!

Vi gör exakt samma sak med f(x)=lnxf(x)= \ln x för att få likheten ef(x)=elnxe^{f(x)}=e^{\ln x} oroa dig inte om f(x)f(x), glöm inte att båda sidorna är lika så VL går att förenkla till x men det vill vi inte göra eftersom vi vill använda e för att ta reda på f'(x)f'(x) och då skriver vi om HL bara så att vi nu kan utnyttja vår omskrivning.

Är du med så långt? 

Katarina149 7151
Postad: 24 mar 2021 10:13

japp!

Fermatrix 7841 – Fd. Medlem
Postad: 24 mar 2021 10:20 Redigerad: 24 mar 2021 10:21

Nu har vi ef(x)=elnxe^{f(x)}= e^{\ln x}, vi förenklar högerled till ef(x)=xe^{f(x)}= x eftersom vi vill nu utnyttja  vår omskrivning. Glöm inte att det står exakt samma sak i vänsterled därför att f(x)=lnxf(x)=\ln x och VL är då ef(x)=elnx=xe^{f(x)}=e^{\ln x}=x.

Okej, nu är vi redo att derivera, Klarar du av att derivera ef(x)=xe^{f(x)}= x? :)

(tänk på kedjeregeln i vänsterled!)

Katarina149 7151
Postad: 24 mar 2021 10:56

Kedjeregeln kmr i matte 4 :(

Fermatrix 7841 – Fd. Medlem
Postad: 24 mar 2021 10:59 Redigerad: 24 mar 2021 11:00

ahhhh, förlåt, jag missade det helt!

Då kan jag visa dig hur det hade sett ut. 

Vi deriverar och får ef(x)f'(x)=1e^{f(x)}f'(x)=1 och här vet vi att f(x)=lnxf(x)= \ln x så vi har elnxf'(x)=1xf'(x)=1f'(x)=1xe^{\ln x}f'(x)=1 \iff xf'(x)=1 \iff f'(x)=\frac{1}{x} och nu har vi visat att om lnx=f(x)f'(x)=1x\ln x=f(x) \iff f'(x)=\frac{1}{x}.

Du kan ju kika på kedjeregeln här om vill smyga dig lite i förväg i dina kurser!

Katarina149 7151
Postad: 24 mar 2021 11:05

kan man inte bevisa med hjälp av derivatans defintion?

Jan Ragnar 1894
Postad: 24 mar 2021 11:22

Fermatrix 7841 – Fd. Medlem
Postad: 24 mar 2021 11:32

Problemet är att detta måste göras utan standardgränsvärden så det fungerar inte heller. Jag tror att man måste görar som Rapidos var inne på ovan, se här.

Moffen 1875
Postad: 24 mar 2021 13:26 Redigerad: 24 mar 2021 13:26

Det är väl inte riktigt något 'standardgränsvärde' som används, mer en av definitionerna av ee?

Hur som helst så i uppgiften står att man inte behöver utföra ett bevis, bara "undersöka om deriveringsregeln verkar vara riktig" (som man kan tolka på ungefär väldigt många sätt), och ligger under matte 3. 

Kanske man tänkt sig att man ska dra någon sekant för några olika värden på lnx\ln{x} och se om lutningen hos sekanten är ungefär lika med 1x\frac{1}{x} (numeriskt alltså). Det behöver kanske inte vara svårare än så.

Katarina149 7151
Postad: 24 mar 2021 13:29

Skulle det räcka med att grafiskt bevisa att det stämmer 

Moffen 1875
Postad: 24 mar 2021 13:33
Katarina149 skrev:

Skulle det räcka med att grafiskt bevisa att det stämmer 

Om du tänkte på mitt inlägg - grafiskt bevisa med approximationer? Knappast.

Det skulle dock kanske räcka, som jag skrev, att se om sekantens lutning är ungefär lika med 1x\frac{1}{x} (kanske du väljer ett xx-värde i mitten av intervallet du drar din sekant över, för att få lite bättre resultat). Det kan du göra grafiskt/numeriskt. 

Fermatrix 7841 – Fd. Medlem
Postad: 24 mar 2021 14:16

Jo du har rätt att det är definitionen av e men visst är det fortfarande ett gränsvärde? :)

Jag förstod det som att Katarina inte gått igenom något sådant, dvs standardgränsvärden inklusive gränsvärdet för e och då blir det lite svårt att använda derivatans definition om man inte gör som rapidos föreslog ovan. Den funkar nog säkert om man drar en sekant men då undrar jag om inte rapidos föreslag är det man eftersöker. Istället för att använda SGV för ln(1+x)/x då x går mot 0 kan man låta x vara litet och visa att det går mot 1, då kanske man kommer undan problemet att man inte känner till SGV för ln(x).

Moffen 1875
Postad: 24 mar 2021 16:27
Dracaena skrev:

Jo du har rätt att det är definitionen av e men visst är det fortfarande ett gränsvärde? :)

Jag förstod det som att Katarina inte gått igenom något sådant, dvs standardgränsvärden inklusive gränsvärdet för e och då blir det lite svårt att använda derivatans definition om man inte gör som rapidos föreslog ovan. Den funkar nog säkert om man drar en sekant men då undrar jag om inte rapidos föreslag är det man eftersöker. Istället för att använda SGV för ln(1+x)/x då x går mot 0 kan man låta x vara litet och visa att det går mot 1, då kanske man kommer undan problemet att man inte känner till SGV för ln(x).

Det är ett gränsvärde, men att kalla det ett standardgränsvärde mer än en definition av ee är något jag inte stött på tidigare (men visst, det är väl ett 'standard'gränsvärde åtminstone ;)).

Lösningsförslagen är ju inte fel, men det är mer av bevis för att faktiskt visa att deriveringsregeln är 'riktig'. Jag tror inte att det är tanken men uppgiften, utan att man bara ska kolla numeriskt/grafiskt på något sätt (exempelvis med hjälp av lämpliga sekanter) att deriveringsregeln verkar 'riktig'. I uppgiften står även att man inte behöver ge ett bevis - så man ska undersöka om deriveringsregeln verkar 'riktig' utan att ge ett bevis. Jag kommer inte direkt på något mer än att försöka göra något lämpligt grafiskt/numeriskt.

Men jag kan förstås ha fel. Det vore kul att veta hur uppgiftsskaparen tänkte sig att uppgiften skulle lösas, med tanke på den (enligt mig) vaga formuleringen.

Fermatrix 7841 – Fd. Medlem
Postad: 24 mar 2021 19:30 Redigerad: 24 mar 2021 19:31

Men jag kan förstås ha fel. Det vore kul att veta hur uppgiftsskaparen tänkte sig att uppgiften skulle lösas, med tanke på den (enligt mig) vaga formuleringen.

Håller helt med dig, personligen tycker jag att det är mycket enklare att bara bevisa derivatan för lnx\ln x än att försöka tolka vad det är för metod uppgiftsskaparen vill att man ska använda. Men efter lite fundering verkar det verkar ändå rimligt att man har gått igenom gränsvärdet för e och då kan man nog ta Jan Ragnars väg. Annars är nog de enda alternativen att göra som rapidos föreslog(det är vad jag personligen tror uppgiftsskaparen ville att man skulle göra eftersom det ligger under matte 3) eller som du sa, man kanske kan dra en sekant av något slag.

Svara
Close