M-Machine Construction and Proof using Similar Triangles
The following is an applet of the M-Machine. It demonstrates the construction of the M-Machine and provides the proof that makes it work.
Move the slider to follow the construction and proof. When you get to Case 2: move point C to the left of the y-axis to follow along with the proof.