A tricky functional equation
(David here.) In this post, I go through a surprisingly tricky functional equation that appeared on the 2018 edition of the IMO Revenge, a contest where the contestants made problems for their trainers. The problem (IMO Revenge 2018/4) Find all functions such that for all . Fun fact - I was actually at that IMO as an observer! I had good memories of attempting the test, solving problem 3 and meeting the contestant-proposer (who later went on to propose an actual IMO Q3). Initial observations Clearly, works. Furthermore, the equation is homogeneous in - if works then so must . It's also cheap to get that and . This was roughly where I ran out of cheap things to find - I didn't manage to get any more special values or any standard properties (like injectivity or surjectivity). Some progress When you get stuck on a functional equati...