# Reciprocal of Real Number is Non-Zero

## Theorem

$\forall x \in \R: x \ne 0 \implies \dfrac 1 x \ne 0$

## Proof

Aiming for a contradiction, suppose that:

$\exists x \in \R_{\ne 0}: \dfrac 1 x = 0$
$\dfrac 1 x \times x = 0$
$\dfrac 1 x \times x = 1$

The result follows by Proof by Contradiction.

$\blacksquare$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}