PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof that $\tau(n)$ is the number of positive divisors of $n$ (Proof)

The following is a proof that $\tau$ counts the positive divisors of its input (which must be a positive integer).

Proof. Recall that $\tau$ behaves according to the following two rules:
  1. If $p$ is a prime and $k$ is a nonnegative integer, then $\tau(p^k)=k+1$
  2. If $\gcd(a,b)=1$ then $\tau(ab)=\tau(a)\tau(b)$

Let $p$ be a prime. Then $p^0=1$ Note that 1 is the only positive divisor of 1 and $\tau(1)=\tau(p^0)=0+1=1$

Suppose that, for all positive integers $m$ smaller than $z \in \mathbb{Z}$ with $z>1$ the number of positive divisors of $m$ is $\tau(m)$ Since $z>1$ there exists a prime divisor $p$ of $z$ Let $k$ be a positive integer such that $p^k$ exactly divides $z$ Let $a$ be a positive integer such that $z=p^ka$ Then $\gcd(a,p)=1$ Thus, $\gcd(a,p^k)=1$ Since $1\le a<z$ by the induction hypothesis, there are $\tau(a)$ positive divisors of $a$

Let $d$ be a positive divisor of $z$ Let $y$ be a nonnegative integer such that $p^y$ exactly divides $d$ Thus, $0 \le y \le x$ and there are $k+1$ choices for $y$ Let $c$ be a positive integer such that $d=p^yc$ Then $\gcd(c,p)=1$ Since $c$ divides $d$ and $d$ divides $z$ we conclude that $c$ divides $z$ Since $c$ divides $p^ka$ and $\gcd(c,p)=1$ it must be the case that $c$ divides $a$ Thus, there are $\tau(a)$ choices for $c$ Since there are $k+1$ choices for $y$ and there are $\tau(a)$ choices for $c$ there are $(k+1)\tau(a)$ choices for $d$ Hence, there are $(k+1)\tau(a)$ positive divisors of $z$ Since $\tau(z)=\tau(p^ka)=\tau(p^k)\tau(a)=(k+1)\tau(a)$ it follows that, for every positive integer $n$ the number of positive divisors of $n$ is $\tau(n)$ $ \qedsymbol$




"proof that $\tau(n)$ is the number of positive divisors of $n$" is owned by Wkbj79.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: divides, induction hypothesis, exactly divides, prime divisor, number, prime, integer, divisors, positive, proof

This is version 8 of proof that $\tau(n)$ is the number of positive divisors of $n$, born on 2003-03-11, modified 2008-05-16.
Object id is 4088, canonical name is ProofThatTaunIsTheNumberOfPositiveDivisorsOfN.
Accessed 2401 times total.

Classification:
AMS MSC11A25 (Number theory :: Elementary number theory :: Arithmetic functions; related numbers; inversion formulas)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)