I enjoyed watching ["Great thinkers, great theorems"][1] by William Dunham. It is a great overview of the history, and still manages to get down to actually proving a lot of non-trivial stuff. [1]: http://www.thegreatcourses.com/courses/great-thinkers-great-theorems.html?cid=1471