25 svar
803 visningar
Anto 353
Postad: 9 jun 2025 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 Online 31938
Postad: 9 jun 2025 20:09

Men hur lång är en rad?

Trinity2 4006
Postad: 9 jun 2025 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 353
Postad: 9 jun 2025 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 Online 7704 – Moderator
Postad: 9 jun 2025 20:24

Rad 1:

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

Anto 353
Postad: 9 jun 2025 20:27 Redigerad: 9 jun 2025 20:27

Rad 2:

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

Bubo 7942
Postad: 9 jun 2025 20:36 Redigerad: 9 jun 2025 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 Online 7704 – Moderator
Postad: 9 jun 2025 21:35 Redigerad: 9 jun 2025 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 4006
Postad: 9 jun 2025 21:43

Rad 5:

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

Bedinsis 3333
Postad: 10 jun 2025 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 545
Postad: 10 jun 2025 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 3333
Postad: 10 jun 2025 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 545
Postad: 10 jun 2025 17:02 Redigerad: 10 jun 2025 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 3333
Postad: 11 jun 2025 08:47

Rad 10:

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

LuMa07 545
Postad: 16 jun 2025 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 3333
Postad: 17 jun 2025 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 Online 31938
Postad: 17 jun 2025 12:08

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

LuMa07 545
Postad: 17 jun 2025 12:14 Redigerad: 17 jun 2025 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 2025 13:28 Redigerad: 17 jun 2025 13:29

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

LuMa07 545
Postad: 17 jun 2025 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 2025 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 2025 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 3333
Postad: 18 jun 2025 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 545
Postad: 23 jun 2025 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