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.