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,