11

Let $x*y= \frac {x+y}{1+xy}$, $x,y\in(-1,1)$. Calculate $\frac 12 * \frac13 *...*\frac 1{1000}$.

My attempt:

First I tried to find some inductive formula but I get something like this:

$\frac 12*\frac 13=\frac 57$

$\frac 57*\frac 14=\frac 9{11}$

$\frac 9{11}*\frac 15=\frac 78$ didn't got anywhere...

Then I thought maybe if I let $G=(-1,1)$ then $(G,*)$ is an abelian group. That means I have to find another group that can be an isomorphism with this one and try to calculate using that composition. So I found that: $$f:(0,\infty)\to (-1,1),f(x)=\frac {x-1}{x+1}$$

is an isomorphism with $G$ from $(\mathbb{R},\times)$ to $(G,*).$

Then: $f(xy)=f(x)*f(y)$. So: $$f^{-1}:(-1,1)\to(0,\infty), f^{-1}(x)=-\frac {x+1}{x-1}.$$

Is is true that $f^{-1}(x*y)=f^{-1}(x)f^{-1}(y)?$ If for $f$ happens this then it happens for $f^{-1}$ too? If this is true then I think I solved my exercise because:

$$f^{-1}\left(\frac 12*\frac 13*\ldots*\frac 1{1000}\right)=f\left(\frac {1}{2}\right) f\left(\frac{1}{3}\right)\ldots f\left(\frac{1}{1000}\right)= \frac {\frac 32}{-\frac 12}\frac {\frac 43}{-\frac 23}...\frac {\frac {1000}{999}}{-\frac {998}{999}}\frac {\frac {1001}{1000}}{-\frac {999}{1000}}=500\cdot 1001=500500.$$

then $\frac 12*\frac 13*...*\frac 1{1000}=f(500500)=\frac {500499}{500501}$

Darth Geek
  • 12,296
C. Cristi
  • 3,283

1 Answers1

4

Yes: if $f$ is a bijective group homomorphism, then $f^{-1}$ is a homomorphism.

lhf
  • 216,483