Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction. - Allen Leung; Francis Lopez-Real (Int. J. Comput. Math. Learn., 2002)