Mdtryhht

Ok I am in grade 9 and I am maybe too young for this.

But I thought about this, why dividing by 0 is impossible.

Dividing by 0 is possible would mean 1/0 is possible, which would mean 0 has a multiplicative inverse.

So if we multiply a number by 0 then by 1/0 we get the same number.

But thats impossible because all numbers multiplied by 0 gives 0 therefore we can’t have an inverse for 0, as that gives us the initial number and thus division by 0 is impossible

Is this right?

That's the most basic reason that division by $0$ is usually considered to be a Bad Thing, yes. Because if we did allow dividing by $0$, we would have to give up at least of one of the following things (these are usually considered Very Nice):

• What $1$ means ($1cdot a = a$ for any $a$)


• What $0$ means ($0 cdot a = 0$ for any $a$)


• What division means ($frac ab = c$ means $a = ccdot b$)

Yes . . . and no.

You might be interested in, for example, Wheel Theory, where division by zero is defined.

That is quite right. However, I would like you to have a higher point of view.

Mathematicians derive theorems from axioms and definitions. And here is the definition of a field.

A field is a set $F$ equipped with two binary operations $+,times$, such that there exists $e_+, e_times$, such that for all $a,b,cin F$,

- $a+b=b+a$,

- $(a+b)+c=a+(b+c)$,

- $e_++a=a$,

- there exists $a'$ such that $a'+a=e_+$,

- $(atimes b)times c=atimes (btimes c)$,

- $e_timestimes a=a$,

- there exists $a''$ such that $a''times a=e_times$ if $ane e_+$.

Now verify that the rationals and the reals are fields.

Try and prove that if there exists $x$ such that $xtimes e_+=e_times$, the set $F$ can only have one element.