Possibly so, Pythagoras (TEFC)

Description: Investigates the Pythagorean theorem through inductive experimentation as well as through formal deductive proof. Gives an insight into the meaning of mathematical discovery by observation and experiment, and can be shown when geometry is first formally introduced as well as during the study of the famous theorem.