Intereting Posts

2 aliens walk on a line meeting probability.
How do you pronounce the inverse of the $\in$ relation? How do you say $G\ni x$?
One-to-one correspondence of ideals in the quotient also extends to prime ideals?
Proof of Sets involving the Cartesian Product
Algebraic closure for rings
Existence of right inverse.
What exactly is a tensor product?
Variance of event counting
improper integral convergence test
Quotient of group schemes and its rational points.
Compact Hausdorff spaces w.o isolated points and having countable bases consisting of clopen sets are homeomorphic?
Open math problems which high school students can understand
If U contains A and B, and X is 80% of A, how much % is X in U?
How to prove the inequality $ \frac{1-e^{-x^2}}{x^2}e^{-(x-n)^2}<\frac{2}{n^2}$ for $0<x<n$
What exactly is the Probability Integral Transform?

I am trying to prove that

$$\prod_{d|n}{d}=n^\frac{d(n)}{2},$$

where $d(n)$ is the number of divisors of $n$.

My initial thought was to say let $\{d_i\}_{i=1}^k$ be the set of all divisors of $n$. This means that $d(n)=k$. But $d(n)=(\alpha_1+1)(\alpha_2+1)…(\alpha_m+1)$ when we define $n=p_1^{\alpha_1}p_2^{\alpha_2}…p_m^{\alpha_m}$. So $m<k$.

Now the divisors of $n$ are just the product of prime powers with some combination of the primes/prime powers removed. For example, a divisor, $d_i=\frac{n}{p_j^{\alpha_l}}$. The product of these divisors will yield $n^k$ in the numerator, and $n^i$ in the denominator with $i<k$ since the denominator will contain all $p_j^{\alpha_j}$. But how to show that it is exactly $n^\frac{d(n)}{2}$ is escaping me.

- What are some natural arithmetical statements independent of ZFC?
- Making an infinite generating function a finite one
- Do these inequalities regarding the gamma function and factorials work?
- If $a$ is even and $b$ is odd then $\gcd(2^{a}+1,2^{b}+1)=1$
- Graph and Number theory
- Intuituive reason why Fermats last theorem holds

- Is $\{ \sin n^m \mid n \in \mathbb{N} \}$ dense in $$ for every natural number $m$?
- Integer solutions of $x^4 + 16x^2y^2 + y^4 = z^2$
- Dirichlet's theorem on arithmetic progressions
- Integral solutions to $y^{2}=x^{3}-1$
- Is $\ 7!=5040\ $ the largest highly composite factorial?
- If $\gcd(a,b)=d$, then $\gcd(ac,bc)=cd$?
- What is the group structure of 3-adic group of the cubes of units?
- Cubic diophantine equation
- A unsolved puzzle from Number Theory/ Functional inequalities
- Linear independence of the numbers $\{1,e,e^2,e^3\}$

Let our product be $P$. Then

$$P=\prod_{d|n} d.$$

But we also have

$$P=\prod_{d|n} \frac{n}{d}.$$

Thus

$$P^2=\prod_{d|n} \left(d\cdot \frac{n}{d}\right)=\prod_{d|n} n=n^{d(n)}.$$

There is a much simpler way to solve this.

Let $S = \lbrace d\vert n, d \leq \sqrt{n}\rbrace$ and $S’ = \lbrace d\vert n, d >\sqrt{n}\rbrace$. Note that $S \cup S’$ is the set of all divisors of $n$ and that $S \cap S’ = \emptyset$.

So for every $d \in S$ we have a unique $d’ \in S’$ such that $dd’ = n$.

$$\prod_{d\vert n} d = \prod_{d\in S}d \prod_{d’\in S’}d’$$

So, if $n$ is not a perfect square, $S$ and $S’$ have the same amount of elements: $d(n)/2$. Therefore we can pair up the elements in $S$ and in $S’$ such that $d_kd’_k = n$.

$$\prod_{d\in S}d \prod_{d’\in S’}d’ = \prod_{d_k \in S, d’_k \in S’} d_kd’_k = n^{\vert S’\vert} = n^{d(n)/2}$$.

If $n$ is a perfect square, we can do the same pairing, but we will have an extra element in $S$ without a pair, that is precisely $\sqrt{n}$ so we would have:

$$\prod_{d\in S}d \prod_{d’\in S’}d’ = \sqrt{n}\prod_{d_k \in S, d’_k \in S’} d_kd’_k = \sqrt{n}n^{\vert S’\vert} = \sqrt{n}n^{[d(n)-1]/2} = n^{d(n)/2}$$

$\square$

- A property of positive definite matrices
- For what values $\alpha$ for complex z $\ln(z^{\alpha}) = \alpha \ln(z)$?
- Minimum area of the parallelepiped surface
- Are there broad or powerful theorems of rings that do not involve the familiar numerical operations (+) and (*) in some fundamental way?
- Real Analysis Methodologies to show $\gamma =2\int_0^\infty \frac{\cos(x^2)-\cos(x)}{x}\,dx$
- Elementary formula for permutations?
- Limit $\lim_{n\to\infty}\sqrt n(\sqrtx-1)$
- Topology of matrices
- necessary and sufficient condition for the Poisson's equation to admit a solution$?$
- What is a conjugacy class of reflection?
- Differentiability-Related Condition that Implies Continuity
- The Dido problem with an arclength constraint
- Why does $\sqrt{x^2}$ seem to equal $x$ and not $|x|$ when you multiply the exponents?
- Help with polynomial problem, please
- Let $H$ be a subgroup of $G$ with $=n$. Let $N$ be the kernel of the left-multiplication action on the cosets of $H$. Show $$ divides $n!$