For questions about the evaluation of finite products, or their properties. For infinite ones, use "infinite-products" tag.

learn more… | top users | synonyms

22
votes
3answers
5k views

Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$

Using $\text{n}^{\text{th}}$ root of unity $$\large\left(e^{\frac{2ki\pi}{n}}\right)^{n} = 1$$ Prove that $$\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$$
16
votes
5answers
974 views

Evaluating the infinite product $\prod_{k=2}^{\infty }\left ( 1-\frac{1}{k^2} \right ).$ [closed]

Evaluate $$\lim_{ n\rightarrow\infty }\prod_{k=2}^{n}\left ( 1-\frac{1}{k^2} \right ).$$ I can't see anything in this limit , so help me please.
22
votes
4answers
4k views

Finding Value of the Infinite Product $\prod \Bigl(1-\frac{1}{n^{2}}\Bigr)$

While trying some problems along with my friends we had difficulty in this question. True or False: The value of the infinite product $$\prod\limits_{n=2}^{\infty} \biggl(1-\frac{1}{n^{2}}\biggr)$$ ...
18
votes
4answers
2k views

How to prove those “curious identities”?

How to prove $$ \prod_{k=1}^{n-1} \sin\left(\frac{k\pi}{n}\right) = \frac{n}{2^{n-1}}$$ and $$ \prod_{k=1}^{n-1} \cos\left(\frac{k\pi}{n}\right) = \frac{\sin(\pi n/2)}{2^{n-1}}$$
14
votes
2answers
1k views

Infinite products - reference needed!

I am looking for a small treatment of basic theorems about infinite products ; surprisingly enough they are nowhere to be found after googling a little. The reason for this is that I am beginning to ...
23
votes
4answers
785 views

Trying to prove that $\sum_{j=2}^\infty \prod_{k=1}^j \frac{2 k}{j+k-1} = \pi$

How could one prove that: $$\sum_{j=2}^\infty \prod_{k=1}^j \frac{2 k}{j+k-1} = \pi$$ This is about as far as I got: $$\prod_{k=1}^j \frac{2 k}{j+k-1} = \frac{2^j j!}{(j)_j} \implies$$ ...
8
votes
1answer
3k views

Product of sets and supremum

Let $A$ and $B$ be nonempty sets of positive real numbers that are bounded above. Also let $AB = \{ab: a \in A, b \in B \}$. Prove that $AB$ is bounded above and $\sup(AB) = (\sup A) (\sup B)$. So ...
17
votes
3answers
964 views

A “fast” way for computing $ \prod \limits_{i=1}^{45}(1+\tan i^\circ) $?

Which is the fastest paper-pencil approach to compute the product $$ \prod \limits_{i=1}^{45}(1+\tan i^\circ) $$
12
votes
4answers
2k views

Evaluating the product $\prod\limits_{k=1}^{n}\cos\left(\frac{k\pi}{n}\right)$

Recently, I ran across a product that seems interesting. Does anyone know how to get to the closed form: $$\prod_{k=1}^{n}\cos\left(\frac{k\pi}{n}\right)=-\frac{\sin(\frac{n\pi}{2})}{2^{n-1}}$$ I ...
20
votes
6answers
518 views

Product of cosines: $ \prod_{r=1}^{7} \cos \frac{r\pi}{15} $

Evaluate $$ \prod_{r=1}^{7} \cos {\dfrac{r\pi}{15}} $$ I tried trigonometric identities of product of cosines, i.e, $$\cos\text{A}\cdot\cos\text{B} = \dfrac{1}{2}[ \cos(A+B)+\cos(A-B)] ...
1
vote
1answer
313 views

Direct products in the category Rel

Please describe direct products in the category Rel.
5
votes
2answers
172 views

Simplify $\prod_{k=1}^5\tan\frac{k\pi}{11}$ and $\sum_{k=1}^5\tan^2\frac{k\pi}{11}$

My question is: If $\tan\frac{\pi}{11}\cdot \tan\frac{2\pi}{11}\cdot \tan\frac{3\pi}{11}\cdot \tan\frac{4\pi}{11}\cdot \tan\frac{5\pi}{11} = X$ and ...
17
votes
3answers
438 views

$ \tan 1^\circ \cdot \tan 2^\circ \cdot \tan 3^\circ \cdots \tan 89^\circ$

How can I find the following product using elementary trigonometry? $$ \tan 1^\circ \cdot \tan 2^\circ \cdot \tan 3^\circ \cdots \tan 89^\circ.$$ I have tried using a substitution, but nothing ...
40
votes
0answers
1k views

When is an infinite product of natural numbers regularizable?

I only recently heard about the concept of $\zeta$-regularization, which allows the evaluation of things like $$\infty != \prod_{k=1}^\infty k = \sqrt{2\pi}$$ and $$\infty \# = \prod_{k=1}^\infty ...
7
votes
1answer
318 views

Is there a “continuous product”?

Is there a "continuous product" which is the limit of the discrete product $\Pi$, just like the integral $\int$ is the limit of summation $\sum$. Thanks!
6
votes
4answers
6k views

Product of two cyclic groups is cyclic iff their orders are co-prime

Say you have two groups $G = \langle g \rangle$ with order $n$ and $H = \langle h \rangle$ with order $m$. Then the product $G \times H$ is a cyclic group if and only if $\gcd(n,m)=1$. I can't seem ...
3
votes
2answers
596 views

Proving: $\cos A \cdot \cos 2A \cdot \cos 2^{2}A \cdot \cos 2^{3}A … \cos 2^{n-1}A = \frac { \sin 2^n A}{ 2^n \sin A } $

$$\cos A \cdot \cos 2A \cdot \cos 2^{2}A \cdot \cos 2^{3}A ... \cos 2^{n-1}A = \frac { \sin 2^n A}{ 2^n \sin A } $$ I am very much inquisitive to see how this trigonometrical identity can be ...
4
votes
5answers
1k views

The limit of infinite product

Is there any elementary proof that the limit of infinite product $\prod_{k=1}^{\infty}(1-\frac{1}{2^k})$ is not 0?
6
votes
2answers
703 views

Closed form expression for the product $\prod\limits_{k=1}^{n}\left(1 - \frac{1}{ak}\right)$

A simple method for evaluating a product is term cancellation. For example, the product $$\begin{align*} \prod_{k=2}^{n}\left(1-\frac{1}{k}\right)&=\prod_{k=2}^{n}\left(\frac{k-1}{k}\right)\\ ...
6
votes
2answers
1k views

How was Euler able to create an infinite product for sinc by using its roots?

In the Wikipedia page for the Basel problem, it says that Euler, in his proof, found that $$\begin{align*} \frac{\sin(x)}{x} &= \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 ...
11
votes
1answer
656 views

How to prove that $\frac{\sin \pi x}{\pi x}=\prod_{n=1}^{\infty}(1-\frac{x^2}{n^2})$ [duplicate]

How to prove that $$\frac{\sin \pi x}{\pi x}=\prod_{n=1}^{\infty}\left(1-\frac{x^2}{n^2}\right)$$ I tried it with the Taylor series of $\sin(x)$ but I failed. Is there any help?
19
votes
5answers
8k views

Why is there no explicit formula for the factorial?

I am somewhat new to summations and products, but I know that the sum of the first positive n integers is given by: $$\sum_{k=1}^n k = \frac{n(n+1)}{2} = \frac{n^2+n}{2}$$ However, I know that no ...
4
votes
1answer
47 views

proving $\left(1+\frac 1n\right)^{n} = 1 + \sum_{k=1}^n \{\frac 1{k!}\prod_{r=0}^{k-1}(1-\frac rn)\}$ using the binomial theorem

$$\left(1+\frac 1n\right)^{n} = 1 + \sum\limits_{k=1}^n \left\{\frac 1{k!}\prod_{r=0}^{k-1}\left(1-\frac rn\right)\right\}$$ this exercise is taken from Apostol's Calculus I (page 45) and it's ...
8
votes
0answers
355 views

Two (strictly related) proofs by induction of inequalities.

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...
7
votes
1answer
1k views

Evaluation of a product of sines [duplicate]

Possible Duplicate: Prove that $\prod_{k=1}^{n-1}\sin\frac{k \pi}{n} = \frac{n}{2^{n-1}}$ I am looking for a closed form for this product of sines: \begin{equation} \sin ...
4
votes
1answer
760 views

Kronecker product and outer product confusion

I have two column vectors: \begin{equation} u = \left[\matrix{ 1 \cr 2\cr }\right] \end{equation} \begin{equation} v = \left[\matrix{ 4 \cr 4\cr }\right] \end{equation} I'm trying to ...
23
votes
1answer
633 views

Is this algebraic identity obvious? $\sum_{i=1}^n \prod_{j\neq i} {\lambda_j\over \lambda_j-\lambda_i}=1$

If $\lambda_1,\dots,\lambda_n$ are distinct positive real numbers, then $$\sum_{i=1}^n \prod_{j\neq i} {\lambda_j\over \lambda_j-\lambda_i}=1.$$ This identity follows from a probability calculation ...
7
votes
3answers
384 views

How to find the value of $\sqrt{1\sqrt{2\sqrt{3 \cdots}}}$?

I thought up this question recently, and I think I've figured out the partial sum: $$ S_n := \left(n\prod_{k=2}^{n-1} k^{2^{n-k}}\right)^{2^{-k}}. $$ But I don't even quite know if I'm on the right ...
7
votes
3answers
297 views

Question about Euler's approach to find $\sum_{n=1}^\infty\frac1{n^2}=\frac{\pi^2}6$

For a freshman calculus project, I used Euler's approach to find $\sum_{n=1}^\infty\frac1{n^2}=\frac{\pi^2}6$, and noted from Wikipedia's explanation that the infinite product representation of ...
4
votes
2answers
84 views

Show that $k^a=\sum_{m=1}^b\left ( c_m^a\prod_{n\neq m} \frac{k-c_n}{c_m-c_n} \right ).$

I used the following result in another post without providing proof (because I couldn't prove it): $$k^a=\sum_{m=1}^b\left ( c_m^a\prod_{n\neq m} \frac{k-c_n}{c_m-c_n} \right ),$$ where $a$ and $b$ ...
1
vote
1answer
89 views

Why $(\mathbb Q\times\mathbb Q)/(\mathbb Z\times{=})$ is not homeomorphic to $(\mathbb Q/\mathbb Z)\times(\mathbb Q/{=})$?

Let $\mathbb Q$ be the set of rationals with induced euclidian topology, let $\sim_1$ be the relation on $\mathbb Q$ which identifies all the integers, and let $\sim_2$ be the identity relation on ...
1
vote
1answer
62 views

An inequality for the product $\prod_{k=2}^{n}\cos\frac{\pi }{2^{k}}$

I have this hint from old question of mine if someone could help me to understand it Sequence $0\leq a_{n}-l\leq \dfrac{\pi^{2} }{2^{2n+1}}$ for the first question it's easy to see that a_n is ...
2
votes
1answer
70 views

Product in category TOP(2)

Let TOP(2) be the category whose objects $(X,A)$ are pairs of topological spaces and whose morphisms $f:(X,A) \to (Y,B)$ are continuous maps $f:X\to Y$ such that $f(A) \subset B$. If I am not ...
2
votes
1answer
80 views

The limit of products of the form $(n^3-1)/(n^3+1)$

Calculate $$\lim_{n \to \infty} \frac{2^3-1}{2^3+1}\times \frac{3^3-1}{3^3+1}\times \cdots \times\frac{n^3-1}{n^3+1}$$ No idea how to even start.
1
vote
2answers
1k views

Check if this proof about real numbers with an irrational product is correct.

Can anyone confirm if my proof is correct, please? Claim:- “If $x$ and $y$ are real numbers and their product is irrational, then either $x$ or $y$ must be irrational.” Proof:- Assume that both ...
0
votes
2answers
71 views

Solve $p_4(x) = x^4 −(2m + 4)x^2 + (m−2)^2 $such that $p_4$ is a product of two non-constant integer-coeficient polynomials

I'm having trouble getting the starting idea for a problem I've been presented with: I need to find values for m (integer) such that the following polynomial $p_4(x) = x^4 −(2m + 4)x^2 + ...
0
votes
2answers
57 views

Let $a > 0$ and let $k \in \mathbb{N}$. Evaluate the limit

Let $a > 0$ and let $k \in \mathbb{N}$. Evaluate: $$\lim_{n\to \infty}a^{-nk}\prod ^k_{j=1}\left(a+\frac{j}{n}\right)^n$$ Clueless on this problem. Seek your help.
28
votes
4answers
2k views

What is to geometric mean as integration is to arithmetic mean?

The arithmetic mean of $y_i \ldots y_n$ is: $$\frac{1}{n}\sum_{i=1}^n~y_i $$ For a smooth function $f(x)$, we can find the arithmetic mean of $f(x)$ from $x_0$ to $x_1$ by taking $n$ samples and ...
30
votes
4answers
947 views

Why is the cartesian product so categorically robust?

The major "broad/natural" categories I encounter in daily life are: sets, groups, topological spaces, smooth manifolds, vector spaces over a fixed field $k$, $k$-schemes, rings, $A$-algebras for a ...
21
votes
2answers
677 views

Compute $\lim\limits_{n\to\infty} \prod\limits_2^n \left(1-\frac1{k^3}\right)$

I've just worked out the limit $\lim\limits_{n\to\infty} \prod\limits_{2}^{n} \left(1-\frac{1}{k^2}\right)$ that is simply solved, and the result is $\frac{1}{2}$. After that, I thought of calculating ...
15
votes
2answers
317 views

How to compute the following integral in $n$ variables?

How can the following integral be calculated: $$ I_n=\int_0^1\int_0^1\cdots\int_0^1\frac{\prod_{k=1}^{n}\left(\frac{1-x_k}{1+x_k}\right)}{1-\prod_{k=1}^{n}x_k}dx_1\cdots dx_{n-1}dx_n $$ There should ...
8
votes
2answers
497 views

Evaluation of $\prod_{n=1}^\infty e\left(\frac{n}{n+1}\right)^{n}\sqrt{\frac{n}{n+1}}$

During my calculation I ended with the following product: $$P=\prod_{n=1}^\infty e\left(\frac{n}{n+1}\right)^{n}\sqrt{\frac{n}{n+1}}$$ I tried to express in term of series by taking the logarithm ...
8
votes
2answers
240 views

Showing an indentity with a cyclic sum

Let $n\geqslant2$, and $k\in \mathbb{N}$ Let $z_1,z_2,..,z_n$ be distinct complex numbers Prove that $$ \sum_{i=1}^{n}\frac {{z}_{i}^{n-1+k}} { \prod \limits_{\substack{j = 1\\j ...
24
votes
11answers
2k views

Is there any way to define arithmetical multiplication as other thing than repeated addition?

Is there any way to define arithmetical multiplication as other thing than repeated addition? For example, how could you define $a\cdot b$ as other thing than $\underbrace{a+a+\cdots+a}_{b ...
14
votes
1answer
355 views

A question about $\prod_{x\in \mathbb{R}^{*}}{x}$

When I was an elementary school student, I encountered some puzzles like "What's product of numbers of hair of each people in the world?", which answer was zero, because there's people with no ...
5
votes
2answers
252 views

Are Euclid numbers squarefree?

Are Euclid numbers squarefree ? An Euclid number is by definition a Primorial number + 1. See http://mathworld.wolfram.com/Primorial.html. In notation the $n$ th Euclid number is written as $E_n = ...
3
votes
2answers
237 views

Category with no product?

Is there a family of objects in some category which has no product? If so is there a simple reason for it?
9
votes
5answers
1k views

Definition of the Infinite Cartesian Product

(1) If $X$ and $Y$ are two sets, we define the Cartesian product $X \times Y$ as the set of ordered pairs $(x,y)$, such that $x \in X$ and $y \in Y$. (2) On the other hand [Folland, Real Analysis, ...
3
votes
2answers
116 views

Product of repeated cosec.

$$P = \prod_{k=1}^{45} \csc^2(2k-1)^\circ=m^n$$ I realize that there must be some sort of trick in this. $$P = \csc^2(1)\csc^2(3).....\csc^2(89) = \frac{1}{\sin^2(1)\sin^2(3)....\sin^2(89)}$$ I ...
1
vote
1answer
188 views

Infinite Product is converges

I am adding this problem since it is interesting and valuable to be verified here: Prove that the infinite product $\prod_{k=1}^{\infty}(1+u_k)$, wherein $u_k>0$, converges if ...