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

learn more… | top users | synonyms

27
votes
3answers
6k 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}}$$
20
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}}$$
25
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)$$ ...
15
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 ...
17
votes
5answers
1k 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.
17
votes
3answers
991 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) $$
23
votes
7answers
749 views

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

Evaluate $$ \prod_{r=1}^{7} \cos \left({\dfrac{r\pi}{15}}\right) $$ I tried trigonometric identities of product of cosines, i.e, $$\cos\text{A}\cdot\cos\text{B} = \dfrac{1}{2}[ \cos(A+B)+\...
23
votes
4answers
827 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$$ $$\sum_{j=2}^\...
14
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 ...
10
votes
4answers
7k 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 ...
8
votes
1answer
350 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!
17
votes
3answers
468 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 ...
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 $\...
54
votes
0answers
2k 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 ...
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?
3
votes
2answers
606 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 ...
6
votes
2answers
776 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)\\ &...
8
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 \left(\frac{\pi}{n}\...
6
votes
2answers
183 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 $\tan^2\frac{\pi}{11}+\tan^2\frac{2\pi}{11}+\tan^2\...
4
votes
1answer
55 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 ...
4
votes
1answer
1k 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 ...
1
vote
1answer
324 views

Direct products in the category Rel

Please describe direct products in the category Rel.
7
votes
3answers
390 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 ...
23
votes
1answer
652 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 ...
4
votes
2answers
86 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
92 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
67 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 ...
3
votes
2answers
578 views

Sum of real numbers that multiply to 1

I've seen a question in my math book with this explanation above it: "If the product of n positive real numbers is 1, then the sum of these numbers must be more than n". I was wondering if this is ...
2
votes
1answer
160 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 $x$...
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 + (m−2)^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 ...
32
votes
4answers
1k 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 ...
16
votes
2answers
323 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 ...
21
votes
2answers
694 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 ...
25
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 \text{-...
14
votes
1answer
362 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 hair(...
8
votes
2answers
514 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 $$S=...
8
votes
2answers
249 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 \ne ...
7
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
735 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?
6
votes
2answers
271 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 = ...
9
votes
5answers
2k 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
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?
3
votes
2answers
124 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 ...
16
votes
2answers
534 views

proof of $\sum\nolimits_{i = 1}^{n } {\prod\nolimits_{\substack{j = 1\\j \ne i}}^{n } {\frac{{x_i }}{{x_i - x_j }}} } = 1$ [duplicate]

i found a equation that holds for any natural number of n and any $x_i \ne x_j$ as follows: $$\sum\limits_{i = 1}^{n } {\prod\limits_{\substack{j = 1\\j \ne i}}^{n } {\frac{{x_i }}{{x_i - x_j }}} } ...
9
votes
0answers
370 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
3answers
318 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 $\frac{...
6
votes
2answers
7k views

Does the product of two invertible matrix remain invertible?

If $A$ and $B$ are two invertible 5*5 matrices, does $B^{T}$$A$ remain invertible? I cannot find out is there any properties of invertible matrix to my question. Thank you!