Constructive proof
For a constructive proof of the theorem we just proved, you can follow the steps in the following applet.1
1This work was carried out under a grant by FCT - Fundação para a Ciência e a Tecnologia.
2If you have Geogebra installed in your computer you might prefer to import the applet from here and execute it locally.