An explanatory, transformation geometry proof of a classic treasure-hunt problem and its generalization

摘要

This paper discusses an interesting, classic problem that provides a nice classroom investigation for dynamic geometry, and which can easily be explained (proved) with transformation geometry. The deductive explanation (proof) provides insight into why it is true, leading to an immediate generalization, thus illustrating the discovery function of logical reasoning (proof).