De absolute waarde van een getal $$x \in \mathbb{R}$$ wordt aangegeven door $$\left|x\right|$$ en definieert men als volgt: \[\left|x\right| = \left\{\begin{array}{ll} x & \mbox{als } x \ge 0 \\ -x & \mbox{als } x < 0\end{array}\right.\]
Een eigenschap van de absolute waarde gaat als volgt: \[\forall x, y \in \mathbb{R}:\left|\left|x\right| - \left|y\right|\right| \le \left|x - y\right|\]
Geef een empirisch bewijs door deze eigenschap te testen voor twee willekeurige getallen $$x$$, $$y \in \mathbb{R}$$.
Jouw programma vraagt twee willekeurige getallen als invoer. Vervolgens bereken je zowel het linker- als rechtlid van de ongelijkheid. Je toont het resultaat op een nette geformatteerde manier. Toon maximaal 4 cijfers na de komma.
Om speciale tekens te tonen, zoek je bijvoorbeeld op unicode-search.net1 naar alle karakters die iets te maken hebben met less. Hieronder een voorbeeld van het gebruik van een unicode-naam.
>>> print('\N{LESS-THAN OR EQUAL TO}')
≤
42.06826283274985
13.510020196930185
28.5582 ≤ 28.5582
37.18977709291377
-3.0396936602994487
34.1501 ≤ 40.2295