Find a nonnegative function whose ordinate set on an interval has area proportional to the sum of the function values at the endpoints of the interval.
With reference to the previous two exercises here and here we write
But,
If then for all ; hence, . If , then for all since was arbitrary. Thus,