Proving Existence Constructively
Proving Existence Constructively
This is an initial task for motivating students to recognize that a constructive existence proof should simply introduce the existent value and demonstrate that it works. This notion often runs orthogonal to students' past experience of showing the solution process for solving for an unknown in an algebraic equation.