9
$\begingroup$

Is there a sequence in $(0,1)$ such that the product of all its terms is $\frac{1}{2}$?

7 Answers 7

19

If you take any sequence $a_1,a_2,a_3,\ldots$ whose sum is $\log_b (1/2)$, then $b^{a_1}, b^{a_2}, b^{a_3},\ldots$ is a sequence whose product is $1/2$.

Later note: Notice that $\frac 1 2 + \frac 1 4 + \frac 1 8 + \frac 1 {16} + \cdots = 1$. If you multiply every term by $\log_b \frac 1 2$ then you get a series whose sum is $\log_b \frac 1 2$.

Still later note: If $b>1$, then $\log_b(1/2)<0$, and $b^{a_n}$ will be in $(0,1)$ if $a_n<0$.

  • 0
    The terms of the sequence must be in the open interval $(0,1)$2012-07-10
  • 3
    @Hassan Take $b=1/2$ for instance.2012-07-10
  • 0
    You can write that product for $b=1/2$ in an intuitive (but not very compact) form: $\sqrt{1/2}\sqrt{\sqrt{1/2}}\sqrt{\sqrt{\sqrt{1/2}}}\cdots$. The sequence of factors however has a very nice recursive definition: $x_1=\sqrt{1/2}$, $x_{n+1}=\sqrt{x_n}$2012-07-10
  • 0
    @HassanMuhammad : If $b>1$, then $\log_b(1/2)<0$, and $b^{a_n}$ will be in $(0,1)$ if $a_n<0$.2012-07-10
  • 0
    @MichaelHardy: Thanks for your answer (+1)2012-07-11
  • 0
    If $a_n=(1/2^n)\log_b1/2$ then $b^{a_n}=1/2^{1/2^n}$.2012-07-11
11

$$x_n=2^{-1/2^n}\qquad (n\geqslant1)$$

10

Try to find a sequence such that $\frac{n+1}{2n}=\prod_{j=2}^nx_j$ (it will do the job). We have $x_2=3/4$ and $$x_{n+1}=\frac{\prod_{j=2}^{n+1}x_j}{\prod_{j=2}^nx_j}=\frac{n+2}{2(n+1)}\frac{2n}{n+1}=\frac{n(n+2)}{(n+1)^2}=\frac{n^2+2n}{(n+1)^2}<\frac{n^2+2n\color{red}{+1}}{(n+1)^2}=1.$$ So $x_n=\frac{n^2-1}{n^2}$ does the job.

  • 0
    I don't think $x_{n}=\frac{n^2-1}{n^2}$ will do the job because if $n=1$, $x_{n}=0$ which is not in $(0,1)$, and of course $\prod_{n=1}^{\infty}=0$ which is not my goal.2012-07-10
  • 3
    @HassanMuhammad: I believe the product starts at $n=2$.2012-07-10
  • 3
    @HassanMuhammad Just shift the sequence if you want it to start at $1$ or $0$, but it doesn't matter.2012-07-10
  • 0
    @oen: But that is not my question. I wrote the product of all its term, so n can be 12012-07-10
  • 4
    @HassanMuhammad: As Davide Giraudo mentions, you can just shift the sequence. Let $m = n-1$.2012-07-10
5

How about this telescoping product? Let $a_n=2-1/n$ and then let $x_n=a_n/a_{n+1}$. Then $$ \prod_{k=1}^n x_k = \left(\frac{a_1}{a_2}\right)\left(\frac{a_2}{a_3}\right)\cdots\left(\frac{a_n}{a_{n+1}}\right)=\frac{a_1}{a_{n+1}}=\frac{n+1}{2n+1} $$ It's easy to verify that $0 and the partial products obviously tend to $1/2$.

  • 0
    To see that the terms are in the desired range, it helps to write a formula for $x_n$ in terms of $n$.2012-07-10
  • 0
    I like the telescoping product, too.2012-07-11
4

Take any decreasing sequence $(\pi_k)_{k\ge0}$ such that $$\pi_0=1;\quad \forall k\gt0,\pi_k \lt \pi_{k-1};\quad\lim_{k\to\infty}\pi_k=1/2.$$ We simply set $(\pi_k)_{k\ge1}$ as a sequence of partial products, $$\pi_k=\prod_{n=1}^k x_n,\text{ where }x_n=\pi_n/\pi_{n-1},$$ guaranteeing that $$\prod_{n=1}^\infty x_n=1/2.$$

  • 0
    Are you sure that for a natural number n, $n\gt 1$, $x_{n}$ is in $(0,1)$?2012-07-10
  • 1
    As long as the sequence $\pi_n$ is positive and strictly decreasing.2012-07-10
2

Recall either of Euler's two famous expressions for $\sin x$: $$\sin x=x\prod_{n=1}^\infty \cos\left(\frac{x}{2^n}\right),$$ or $$\sin x=x\prod_{n=1}^\infty\left(1-\frac{x^2}{\pi^2n^2}\right).$$

Now let $x=\dfrac{\pi}{6}$.

Or else use the following formula of Viète $$\frac{2}{\pi}=\frac{\sqrt{2}}{2}\cdot\frac{\sqrt{2+\sqrt{2}}}{2}\cdot\frac{\sqrt{2+\sqrt{2+\sqrt{2}}}}{2}\cdot\frac{\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2}}}}}{2}\cdots,$$ and multiply both sides by $\dfrac{\pi}{4}$.

  • 1
    This also gives $$\prod_{n\ge2}\left(1-\frac{1}{n^2}\right)=\frac{1}{2}.$$ (Though it is telescoping and thus easier..)2012-07-10
1

Here is another:

$$ \frac{1}{2}=(e^{\frac{1}{2}}-1)\prod_{k=1}^{\infty}\left(\frac{2}{e^{2^{-(k+1)}}+1} \right) $$

See here.