Running average of a convex function is convex

Let $f(t)$ be a convex function and define $g(t)$ to be the running average of $f(t)$

$$g(t) = \frac{1}{t} \displaystyle\int_0^t f(\tau) ~d\tau$$ Then $g$ is convex.

This is easy enough to prove just by differentiating twice. My question is: is there an easy geometric proof of this statement?

-
A possibly useful change of variables: $g(t) = \int_0^1 f(ts)\,ds$. – Sean Eberhard Sep 11 '12 at 22:12
@SeanEberhard: Very nice. – copper.hat Sep 11 '12 at 22:15

I would not differentiate twice, only because of the simple reason that you don't even know that $f$ is differentiable. However, there is a geometric way of looking at this. A convex function $f$ is defined by the following property: the graph of $f(x)$ between $x = a$ and $x = b$ lies below the line connecting the points $(a,f(a))$, $(b, f(b))$. I would like to say that pictorially I can think of the averages of the endpoints as always being larger than the full average over the whole interval $(a,b)$. So when you're averaging the average, this should remain the case. But maybe that isn't really precise enough...
Sean Eberhard's change of variables is very useful for formalizing this; for $r \in [0,1]$, $$rg(a) + (1-r)g(b) = \int_0^1 rf(as) + (1 -r)f(bs) \, ds \geq \int_0^1 f(ras + (1-r)bs) \, ds = g(ra + (1 - r)b).$$
The text passage discusses a mathematical question about the convexity of a running average of a convex function. It includes a question asking for a geometric proof of the statement and provides a discussion that leads to a geometric interpretation and a formal proof.
single_question_with_answer
Given a text passage, determine:
    1. If it contains a mathematical question (including word problems or calculations)
    2. If an answer to that mathematical question is provided in the text

First, describe the content structure you found in 1-2 sentences.

Then provide your analysis in the following format:
TYPE: <one of the following values>
- NO_QUESTION
- SINGLE_QUESTION
- SINGLE_QUESTION_WITH_ANSWER
- MULTIPLE_QUESTIONS
- MULTIPLE_QUESTIONS_WITH_ANSWERS
system
Running average of a convex function is convex

Let $f(t)$ be a convex function and define $g(t)$ to be the running average of $f(t)$

$$g(t) = \frac{1}{t} \displaystyle\int_0^t f(\tau) ~d\tau$$ Then $g$ is convex.

This is easy enough to prove just by differentiating twice. My question is: is there an easy geometric proof of this statement?

-
A possibly useful change of variables: $g(t) = \int_0^1 f(ts)\,ds$. – Sean Eberhard Sep 11 '12 at 22:12
@SeanEberhard: Very nice. – copper.hat Sep 11 '12 at 22:15

I would not differentiate twice, only because of the simple reason that you don't even know that $f$ is differentiable. However, there is a geometric way of looking at this. A convex function $f$ is defined by the following property: the graph of $f(x)$ between $x = a$ and $x = b$ lies below the line connecting the points $(a,f(a))$, $(b, f(b))$. I would like to say that pictorially I can think of the averages of the endpoints as always being larger than the full average over the whole interval $(a,b)$. So when you're averaging the average, this should remain the case. But maybe that isn't really precise enough...
Sean Eberhard's change of variables is very useful for formalizing this; for $r \in [0,1]$, $$rg(a) + (1-r)g(b) = \int_0^1 rf(as) + (1 -r)f(bs) \, ds \geq \int_0^1 f(ras + (1-r)bs) \, ds = g(ra + (1 - r)b).$$
user
The text passage discusses a mathematical question about the convexity of a running average of a convex function. It includes a question asking for a geometric proof of the statement and provides a discussion that leads to a geometric interpretation and a formal proof.

TYPE: SINGLE_QUESTION_WITH_ANSWER