Forumutmaning - Max en rad per inlägg!
Låt Z beteckna mängden heltal. Bestäm alla funktioner f: Z -> 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.😁
Men hur lång är en rad?
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.
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!
Rad 1:
är en uppenbar lösning.
Rad 2:
Ja! Vilka heltal som helst kan antas, och = är för varje heltal. Anta ex. a =0…
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..."
Rad 4:
Ansätt, med , . Då får vi . Alltså är funktionen också en lösning.
Rad 5:
f(x)=2x+C där C är en konstant är en lösning, men är det den enda?
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.
Rad 7:
Låt . Om och , d.v.s. , så säger ekvationen att .
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))
Rad 9:
Rad 3 (#8)+Rad 7 medför att och därmed för alla
Rad 10:
Om f vore en andragradsfunktion så hade VL haft två andragradare och HL en fyragradare. Oavsett a & b.
Rad 11:
Sätter man in enligt Rad 9 och enligt Rad 7 i den givna ekvationen, så får man att för alla .
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 enligt Rad 9 och enligt Rad 7 i den givna ekvationen, så får man att för alla .
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.
Rad 13: rad 11 med b = 1 ger f(a+1) = f(a) + f(1) - C.
Rad 14:
Rad 13 medför att differensen är konstant för alla .
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 exempelvis.
Kommentar. Jag kanske är ute och cyklar, men måste man inte visa att är surjektiv först?
Darth Vader skrev:Kommentar. Jag kanske är ute och cyklar, men måste man inte visa att är surjektiv först?
Kommentar. Som uppgiften formulerats, så är funktionens målmängd (d.v.s. inte nödvändigtvis värdemängd), så behöver inte vara surjektiv till . Notera också att Rad 1 visar en möjlig lösning vars värdemängd är . På Rad 5 tog man fram en annan möjlig lösning vars värdemängd är antingen ifall är ett udda tal, eller ifall ä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.
LuMa07 skrev:Darth Vader skrev:Kommentar. Jag kanske är ute och cyklar, men måste man inte visa att är surjektiv först?
Kommentar. Som uppgiften formulerats, så är funktionens målmängd (d.v.s. inte nödvändigtvis värdemängd), så behöver inte vara surjektiv till . Notera också att Rad 1 visar en möjlig lösning vars värdemängd är . På Rad 5 tog man fram en annan möjlig lösning vars värdemängd är antingen ifall är ett udda tal, eller ifall ä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!
Rad 15. Låt så att för alla (rad 14). Visa mha. induktion att för alla .
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.
Rad 17. Om det finns ett nollskilt tal , så är enligt rad 15 och samtidigt enligt rad 7.
Tillägg: 24 jun 2025 08:47
Anmärkning: Jag märkte för sent att det är oväsentligt om eller inte på denna rad. Man torde dock vilja ta hänsyn till det när slutsatser dras från denna rad.