Shape of a Histogram with Equally Likely Outcomes In a large class of introductory Statistics students, the professor has each student toss a coin 16 times and calculate the proportion of his or her tosses that were heads. The students then report their results, and the professor plots a Histogram of these proportions. What shape would you expect the Histogram to be? Why?
The answer says: We would expect the Histogram to be uni-modal and symmetric (i.e., shaped like a Normal curve) because the probability of heads and tails are equal.
Why does the fact that the probabilities of heads and tails are equal imply a uni-modal and symmetric Histogram?


Why does the fact that the probabilities of heads and tails are equal imply a uni-modal and symmetric Histogram?

First let's leave aside a histogram of some sample for a moment, and focus on the population distribution before we come back to discuss the histogram issue.
In this case we need to expand the intuitive concept of the term "unimodal" slightly, in order to count more than one adjacent-but-equal largest probabilities as constituting a single "mode" (strictly we only need it for two for the specific case at hand but the usual definition tends to be of this form).
Demonstrating this for the binomial is reasonably straightforward (it comes down to considering relationships in Pascal's triangle) but I am going to discuss the more general question - does a sum of independent symmetric unimodal variates have a distribution that's symmetric and unimodal?
The answer is yes in the general case, for both continuous and discrete variables.
Symmetry is fairly straightforward.
When we add two independent random variables, the pmf (/density) of the sum is the convolution of the two pmfs (/densities).
That is, $P(X_1 + X_2 = t) = \sum_k P(X_1=k) \times P(X_2 = t-k)$ where the sum is over the possible values of $k$
(there's an equivalent statement for continuous functions but let's stick with the discrete one right now).
[Two asides: (i) the convolution of two unimodal distributions is not always unimodal (consider probabilities of $\{\frac46,\frac16,\frac16\}$ on $\{0,1,2\}$), so we have to be careful to keep to the symmetric case; (ii) we can demonstrate the general case of convolution of n variables by considering convolutions of just two variables, since the convolution of three variables can be written as the convolution of the first two, itself convolved with the third, and so forth for more variables.]
If the two input functions are symmetric about some centers ($m_1$ and $m_2$ respectively), then the output
of the convolution will be symmetric about  $m=m_1+m_2$.
In the sum for $t=m+s$ and $t=m-s$
there's a corresponding term equally far above / below $m_1$ and $m_2$ in each sum (using the symmetry of the input
functions) so that we can pair up every term in each product within each sum with one that it is equal to.
Symmetric and Unimodal
There is a proof in [2] which relies on two steps to establish the case for discrete distributions on the integers. It restricts attention to the case where the centers of symmetry are at $0$ without loss of generality.
The first step establishes that a unimodal distribution on integers can be written uniquely as a mixture of uniforms. (Theorem 4.3, which I will not attempt to reproduce). The second (Theorem 4.7) shows that convolutions of uniforms are unimodal (which is straightforward) and uses the fact that the convolution of mixtures of uniforms is a mixture of convolutions of uniforms.
There's a proof in [1] which relies on the fact that if $X_1,X_2$ are identically distributed independent variates with unimodal distributions then $X_1-X_2$ is symmetric, a result originally due to Hodges and Lehmann. The paper contains a proof that convolutions of symmetric unimodal densities are symmetric unimodal for the continuous case and mentions the methods extend to the discrete case.
(I presume other proofs exist outside the statistics literature but I haven't seen any.)
Histograms
A histogram is best suited to displaying a sample from a continuous variable (or a variable with such a huge number of discrete outcomes that displaying the individual proportions would give a visually cluttered display -- probably well into the hundreds of possible outcomes for a discrete distribution with equally-spaced outcomes).
Consequently I would not use a histogram to display such a sample, at least not without a great deal of care; rather if I wanted to show an empirical pmf I would instead simply display each of the individual proportions. (For some purposes, though, I'd probably prefer instead to look at an empirical cdf; it depends on what we're looking for.)
If you must use a histogram rather than directly plot the outcomes you should try hard to make it that the bins are of the same width as the distance between adjacent possible outcomes (or some simple fraction of that distance) and that the bin-centers are aligned with the possible outcomes. This avoids the misleading possibility of combining some outcomes into a single bin in an uneven way.
BruceET does this in his answer, so his histograms are not misleading in the way I was warning against. The red points he displays are the kind of display I was advocating as a good way to show pmfs (population or sample).
I agree with his warning about judging the symmetry of populations from the symmetry of samples. In general samples will be asymmetric and an appearance of near symmetry is not the same thing as having symmetry in the population.

[1] Purkayastha, S., 1998.
"Simple proofs of two results on convolutions of unimodal distributions".
Statistics & Probability Letters, Volume 39, Issue 2, p 97-100.
[2] Dharmadhikari, S.W., Joag-Dev, K., 1988.
Unimodality, Convexity, and Applications.
Academic Press, New York.
