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

learn more… | top users | synonyms

20
votes
2answers
3k views

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

Using n_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}}$$
14
votes
5answers
739 views

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

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.
12
votes
2answers
854 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 ...
17
votes
4answers
2k 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)$$ ...
21
votes
4answers
644 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$$ ...
16
votes
3answers
884 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) $$
13
votes
3answers
380 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 ...
3
votes
2answers
577 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
4answers
3k 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 to ...
23
votes
0answers
723 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 !=\mathop{\hat{\prod}}_{k=1}^\infty k = \sqrt{2\pi}$$ and $$\infty ...
6
votes
2answers
888 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 ...
9
votes
4answers
1k 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 ...
7
votes
3answers
261 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 ...
4
votes
5answers
912 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?
4
votes
2answers
73 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$ ...
4
votes
1answer
213 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!
1
vote
2answers
189 views

Proof: Categorical Product = Topological Product

Is there a nice way to prove that the categorical product equals the topological product? What I mean is the following: Starting with a given family of topological spaces $X_i$ and any topological ...
0
votes
2answers
54 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.
21
votes
2answers
624 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 ...
7
votes
2answers
209 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 ...
10
votes
1answer
384 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?
7
votes
2answers
168 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 ...
3
votes
2answers
222 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?
1
vote
1answer
139 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 ...
0
votes
1answer
229 views

Direct products in the category Rel

Please describe direct products in the category Rel.
10
votes
3answers
308 views

Product of two algebraic varieties is affine… are the two varieties affine?

Let $X_1$ and $X_2$ two algebraic varieties such that their product $X_1\times X_2$ is affine. Are $X_1$ and $X_2$ affine then? If this is not true, could you give a counterexample?
6
votes
0answers
192 views

Two (strictly related) proofs by induction of inequalities.

Predictably, I'm stuck with the inductive steps. Let $p_m$ be the largest prime factor of $a_n$ and set $\lim_{n\to \infty}\frac{\log a_n}{p_m}=1$. Suppose also this ratio converges to $1$ faster than ...
6
votes
3answers
233 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 ...
6
votes
1answer
228 views

Uncountable product in the category of metric spaces.

I need to prove that category $\mathrm{Met}$ of metric spaces and continuous maps doesnt possess uncountable product of non-one point spaces. Definition. A pair $(X,\{\pi_\nu:\nu\in\Lambda\})$ where ...
3
votes
1answer
143 views

Infinite product of recursive sequence

Let $a_{n+1}=\sqrt {(a_n+a_{n-1})/2}$ and $a_0=a_1=2$, how to prove convergence of the product $a_0 a_1 a_2 a_3...a_\infty$, and possibly find its value?
2
votes
1answer
127 views

Is $\frac{1}{e^\gamma\log x} \prod\limits_{p < x,p\,\text{prime}} \frac{p}{p-1}<1+ \prod\limits_{p<x,p\,\text{prime}}\frac{1}{p^{n+1}-1}?$

Let $n$ be an initially arbitrarily large variable, but always decreasing (and more specifically non-increasing) to exactly $1$ when $p$ is the largest prime in the product. Then, denoting with ...
2
votes
1answer
128 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 ...
2
votes
2answers
265 views

Product of two complementary error functions (erfc)

I believe that (i.e., it would be convenient if, and visually appears that) the product of the two complementary error functions: ...
2
votes
1answer
82 views

Direct products in subcategories

I have a several categories some of which are subcategories of others. I want to research properties of products in these categories but don't know where to start. How direct products in a category ...
2
votes
2answers
2k views

The derivative of a product of more than two functions

I'm trying to generalize the product rule to more than the product of two functions using the fact that I can treat the product of $n$-1 functions as a single one. Here is an example of what I mean: ...
1
vote
2answers
32 views

Proofs of identity for product of binomial coefficients

While verifying my answer to another question, I came across a problem of binomial coefficients: Does $\hspace{.2cm}\displaystyle \prod_{k=1}^{n-1}\binom{n-1}{k}=\prod_{k=1}^{n-1}k^{2k-n}$ for all ...
1
vote
2answers
169 views

Product of Gamma functions II

What is the value of the product of Gamma functions \begin{align} \prod_{k=1}^{10} \Gamma\left(\frac{k}{10}\right) \end{align} and can it be shown that \begin{align} \prod_{k=1}^{20} ...
1
vote
1answer
236 views

How would one discover this finite product identity?

I recently found the following finite product identity in a table of products: \begin{align} \prod_{k=0}^{n-1}\left[\sinh^2y+\sin^2\left(x+\frac{k\pi}{n}\right)\right]=2^{1-2n}(\cosh(2ny) ...
1
vote
1answer
247 views

Gluing together mathematical structures, how?

By structure, I mean that which is defined here: http://en.wikipedia.org/wiki/Structure_%28mathematical_logic%29 What I'm looking for is a way of gluing together structures so that each structure ...
0
votes
0answers
77 views

Direct products in a partially ordered category

Consider a category, whose set of objects is a poset. Let $f=(f_0,f_1)$ is an indexed family of objects of this category. (Thus $f$ is a 2-indexed family, we can extend it to any index set in an ...
5
votes
1answer
84 views

Being $N$ a constant $>0$, show $\prod_{p<x}_{p \ \text{prime}}\frac{1}{p^{N+1}-1}>\frac{0.2}{\log^2 x}$.

Related. Show that if $x$ is large enough,$$\prod_{p<x}_{p \ \text{prime}}\frac{1}{p^{N+1}-1}>\frac{0.2}{\log^2 x}.$$ Speaking of which, Theorem 6.12, and maybe others, of this paper might be ...
4
votes
2answers
415 views

Closed form expression for a product.

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)\\ ...
4
votes
1answer
695 views

Dyson series and T product

One of the most important tool in quantum mechanics is the Dyson series because it is the basis of the perturbative theory. There is a step in the derivation that I can't understand. $\{H(t_i)\}$ are ...
3
votes
1answer
351 views

A product identity involving the gamma function

I have reduced this problem (thanks @Mhenni) to the following (which needs to be proved): ...
3
votes
2answers
75 views

How to define this pattern as $f(n)$

Given a binary table with n bits as follows: $$\begin{array}{cccc|l} 2^{n-1}...&2^2&2^1&2^0&row\\ \hline \\ &0&0&0&1 \\ &0&0&1&2 \\ ...
2
votes
5answers
79 views

Is there any good approximation for $\prod_{i=3}^k (n-i)$? $(n \gg k)$

Is there any good approximation for $\prod_{i=3}^k (n-i)$? $(n \gg k)$ I know that $\prod_{i=3}^k (n-i) < \prod_{i=3}^k n = n^{k-2}$ Also a tighter upper bound is appreciated.
2
votes
1answer
105 views

To What Extent Does the Cartesian Product for Algebraic Structures Generalize?

I admit this question is quite general. If we have a group (or perhaps some other algebraic structure) $G$, we can define the Cartesian product $G\times G$ of $G$ with itself. And then powers of $G$ ...
2
votes
1answer
105 views

Identity involving a recursive product

Here is yet another problem related to plane partitions. Given the recursive formula $$ \begin{align*} F(0)&=1,\\ F(r)&=\prod_{i=1}^r\frac{i+2r-1}{2i+r-2}F(r-1). \end{align*} $$ How can we ...
2
votes
1answer
3k views

How to efficiently compute a*b mod N

I'm trying to solve some problems on interviewstreet. For some problems they mention As the answers can be very big, output them modulo 1000000007. How can I ...
1
vote
2answers
214 views

What is the mistake in this proof of product rule of differentiation?

I was trying to derive the product rule of differentiation which states: If $y=u\cdot v$, then, $y'=u'\cdot v+v'\cdot u$. So I assumed it like this: $y=u+u+u+\cdots$ ($v$ number of terms of $u$) ...