Ext2 Inequalities: The (ℝeal) Triangle Inequalities

We prove the triangle inequalities for real numbers x and y. Knowing how to prove and use the first triangle inequality is explicitly mentioned in the HSC Extension 2 Maths syllabus, and thus is considered standard coursework.