This is an algorithmic proof by contradiction

We will prove that 1=2

Step 1: Assume that 1 ≠ 2

By assuming this, we have created a paradoxical situation

Step 2: Show that 1 = 2 under this assumption

		1 = 1 + 0
		1 + 0 = 1
		1 = 1 + 1/1
		1 + 1/1 = 2
		2 = 1 + 1/1 = 1
	

Clearly, this is a contradiction. Therefore, our initial assumption is false.

See the proof by contradiction