25 svar
775 visningar
Anto 351
Postad: 9 jun 19:56

Forumutmaning - Max en rad per inlägg!

Låt Z beteckna mängden heltal. Bestäm alla funktioner f: -> Z som, för alla heltal a och b, uppfyller:

f(2a) + 2f(b) = f(f(a+b))


Reglerna för detta är enkla. Vi har som mål att som forum lösa denna uppgift, som är tagen från en matematikolympiad. Vi ska alla bidra med inlägg som är maximalt en rad långa (inte ett tecken längre!). Tillsammans ska vi få diskussionen att rulla för att få ett korrekt svar. Eventuella kommentarer om tråden får göras, men gör det gärna tydlig vad som är kommentar och vad som är tänkt att bidra till lösningen. Lösningen får såklart inte plats på en rad, därför måste många hjälpa till! Försök få sammanhang i tråden, även fast det är svårt! Och såklart får ingen göra två inlägg i rad, någon annan måste ha svarat emellan. 

Kommentar:

Härlig idé. Moddar kan hjälpa till att hålla det rent.😁

Laguna 31739
Postad: 9 jun 20:09

Men hur lång är en rad?

Trinity2 Online 3710
Postad: 9 jun 20:12
Laguna skrev:

Men hur lång är en rad?

Tror det finns en gammal "norm" om 80 tkn. :)

Detta problem tror jag inte går att lösa med "ryska posten". Det är för komplext.

Anto 351
Postad: 9 jun 20:21

Kommentar:

Jag tänkte en pluggakuten-rad men inser att den inte alltid är lika lång :(

Sedan är problemet komplext men inte så svår att lösa som man först tror!

naytte 7419 – Moderator
Postad: 9 jun 20:24

Rad 1:

f=x0f= x\mapsto 0 är en uppenbar lösning.

Anto 351
Postad: 9 jun 20:27 Redigerad: 9 jun 20:27

Rad 2:

Ja! Vilka heltal som helst kan antas, och = är för varje heltal. Anta ex. a =0…

Bubo 7889
Postad: 9 jun 20:36 Redigerad: 9 jun 20:37

Om b=a gäller att f(2a) + 2f(a) = f(f(a+a))

Edit: "Vi sätter b lika med a och ser att..."

naytte 7419 – Moderator
Postad: 9 jun 21:35 Redigerad: 9 jun 21:36

Rad 4:

Ansätt, med a=ba=b, f(x)=kxf(x) = kx. Då får vi 4ak=2ak24ak=2ak^2. Alltså är funktionen f=x2xf=x \mapsto 2x också en lösning.

Trinity2 Online 3710
Postad: 9 jun 21:43

Rad 5:

f(x)=2x+C där C är en konstant är en lösning, men är det den enda?

Bedinsis 3316
Postad: 10 jun 09:57

Rad 6:

Om a=b=0 så får man 3*f(0)=f(f(0)), så indatavärdet f(0) måste tredubblas av f.

LuMa07 495
Postad: 10 jun 16:07

Rad 7:

Låt C:=f(0)C:=f(0). Om a=0a=0 och xVfx\in V_f, d.v.s. x=f(b)x=f(b), så säger ekvationen att C+2x=f(x)C + 2x = f(x).

Bedinsis 3316
Postad: 10 jun 16:23

Rad 8:

Betrakta de funktioner där f(0)=0. {a,b}={x,0} ger då f(2x)=f(f(x)); {a,b}={0,x} ger då 2*f(x)=f(f(x))

LuMa07 495
Postad: 10 jun 17:02 Redigerad: 10 jun 17:06

Rad 9:

Rad 3 (#8)+Rad 7 medför att f(2a)+2f(a)=2f(2a)+Cf(2a) + 2f(a) = 2f(2a)+C och därmed f(2a)=2f(a)-Cf(2a) = 2f(a)-C för alla aa \in \mathbb{Z}

Bedinsis 3316
Postad: 11 jun 08:47

Rad 10:

Om f vore en andragradsfunktion så hade VL haft två andragradare och HL en fyragradare. Oavsett a & b.

LuMa07 495
Postad: 16 jun 10:55

Rad 11:

Sätter man in f(2a)=2f(a)-Cf(2a) = 2\,f(a)-C enligt Rad 9 och f(f(a+b))=2f(a+b)+Cf(f(a+b))=2f(a+b) + C enligt Rad 7 i den givna ekvationen, så får man att f(a)+f(b)=f(a+b)+Cf(a) + f(b) = f(a+b) + C för alla a,ba,b \in \mathbb{Z}.

Bedinsis 3316
Postad: 17 jun 11:38

Kommentar: Nedanstående var komplicerat nog att jag fick dra fram penna och papper för att kontrollera. Och jag är osäker på hur lång en rad får lov att vara men den kändes nog i längsta laget. Kanske uppgiften var för komplicerad för att lösa på det här viset.

LuMa07 skrev:

Rad 11:

Sätter man in f(2a)=2f(a)-Cf(2a) = 2\,f(a)-C enligt Rad 9 och f(f(a+b))=2f(a+b)+Cf(f(a+b))=2f(a+b) + C enligt Rad 7 i den givna ekvationen, så får man att f(a)+f(b)=f(a+b)+Cf(a) + f(b) = f(a+b) + C för alla a,ba,b \in \mathbb{Z}.

Rad 12:

Rad 11 ger f(a)+f(b)=f(a+b)+f(0). Sätt b= -a och vi får att f(a)+f(-a)=2*f(0) för alla a € Z.

Laguna 31739
Postad: 17 jun 12:08

Rad 13: rad 11 med b = 1 ger f(a+1) = f(a) + f(1) - C.

LuMa07 495
Postad: 17 jun 12:14 Redigerad: 17 jun 12:14

Rad 14:

Rad 13 medför att differensen f(a+1)-f(a)f(a+1) - f(a) är konstant för alla aa\in\mathbb{Z}.

Kommentar: Nedanstående var komplicerat nog att jag fick dra fram penna och papper för att kontrollera. Och jag är osäker på hur lång en rad får lov att vara men den kändes nog i längsta laget. Kanske uppgiften var för komplicerad för att lösa på det här viset.

Nu har inte jag varit med här men en rad kanske ska vara det man lyckats få ihop med matematisk notation. ”För alla” kan ju skrivas \forall exempelvis. 

Darth Vader 186
Postad: 17 jun 13:28 Redigerad: 17 jun 13:29

Kommentar. Jag kanske är ute och cyklar, men måste man inte visa att ff är surjektiv först?

LuMa07 495
Postad: 17 jun 14:52
Darth Vader skrev:

Kommentar. Jag kanske är ute och cyklar, men måste man inte visa att ff är surjektiv först?

Kommentar. Som uppgiften formulerats, så är \mathbb{Z} funktionens målmängd (d.v.s. inte nödvändigtvis värdemängd), så ff behöver inte vara surjektiv till \mathbb{Z}. Notera också att Rad 1 visar en möjlig lösning vars värdemängd är Vf={0}V_f = \{0\}. På Rad 5 tog man fram en annan möjlig lösning vars värdemängd är antingen \mathbb{Z} ifall CC är ett udda tal, eller 22\mathbb{Z} ifall CC är ett jämnt tal. Det man behöver visa nu är att det inte finns någon annan lösning än de som redan nämnts.

Darth Vader 186
Postad: 17 jun 16:28
LuMa07 skrev:
Darth Vader skrev:

Kommentar. Jag kanske är ute och cyklar, men måste man inte visa att ff är surjektiv först?

Kommentar. Som uppgiften formulerats, så är \mathbb{Z} funktionens målmängd (d.v.s. inte nödvändigtvis värdemängd), så ff behöver inte vara surjektiv till \mathbb{Z}. Notera också att Rad 1 visar en möjlig lösning vars värdemängd är Vf={0}V_f = \{0\}. På Rad 5 tog man fram en annan möjlig lösning vars värdemängd är antingen \mathbb{Z} ifall CC är ett udda tal, eller 22\mathbb{Z} ifall CC är ett jämnt tal. Det man behöver visa nu är att det inte finns någon annan lösning än de som redan nämnts.

Kommentar. Oj, tänkte fel. Hänger med nu... Jag var ute och cyklade trots allt!

Darth Vader 186
Postad: 18 jun 09:10

Rad 15. Låt kk \in \mathbb{Z} så att f(a+1)-f(a)=kf(a+1)-f(a)=k för alla aa \in \mathbb{Z} (rad 14). Visa mha. induktion att f(a)=ka+f(0)f(a)=ka+f(0) för alla aa \in \mathbb{Z}.

Bedinsis 3316
Postad: 18 jun 09:55

Rad 16:

För a=0 ger formeln f(a)=k*a+f(0) att f(0)=k*0+f(0)=0+f(0)=f(0) vilket stämmer.

LuMa07 495
Postad: 23 jun 17:00

Rad 17. Om det finns ett nollskilt tal aVfa \in V_f, så är f(a)=ka+f(0)f(a) = ka+f(0) enligt rad 15 och samtidigt f(a)=2a+f(0)f(a) = 2a+f(0) enligt rad 7.


Tillägg: 24 jun 2025 08:47

Anmärkning: Jag märkte för sent att det är oväsentligt om a=0a=0 eller inte på denna rad. Man torde dock vilja ta hänsyn till det när slutsatser dras från denna rad.

Svara
Close