Menu Close

prove-that-2-3-3-1993-1993-lt-2-




Question Number 10539 by malwaan last updated on 17/Feb/17
prove that  (√(2 + ^3 (√(3 +...+ ^(1993) (√(1993)))))) <2
$${prove}\:{that} \\ $$$$\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{\mathrm{3}\:+…+\overset{\mathrm{1993}} {\:}\sqrt{\mathrm{1993}}}}\:<\mathrm{2} \\ $$
Answered by mrW1 last updated on 17/Feb/17
function y=(x+a)^(1/x)  with a>1 is  for x>0 strictly decreasing, that  means  ^3 (√(3+a))<(√(2+a))  ^4 (√(4+a))<(√(2+a))  ......  ^(1993) (√(1993+a))<(√(2+a))  ......  ^n (√(n+a))<(√(2+a))  ......    A=(√(2 + ^3 (√(3 +...+ ^(1993) (√(1993))))))   (finite)  <(√(2 + ^3 (√(3 +...+ ^(1993) (√(1993+^(1994) (√(1994+....))))))))   (infinite)  <(√(2 + (√(2 +...+ (√(2+(√(2+...)))))))) =x    (√(2 + (√(2 +...+ (√(2+(√(2+...)))))))) =x  2+x=x^2   x^2 −x−2=0  (x−2)(x+1)=0  since x>0,  ⇒x=2  ∴ A=(√(2 + ^3 (√(3 +...+ ^(1993) (√(1993))))))<x=2
$${function}\:{y}=\left({x}+{a}\right)^{\frac{\mathrm{1}}{{x}}} \:{with}\:{a}>\mathrm{1}\:{is} \\ $$$${for}\:{x}>\mathrm{0}\:{strictly}\:{decreasing},\:{that} \\ $$$${means} \\ $$$$\:^{\mathrm{3}} \sqrt{\mathrm{3}+{a}}<\sqrt{\mathrm{2}+{a}} \\ $$$$\:^{\mathrm{4}} \sqrt{\mathrm{4}+{a}}<\sqrt{\mathrm{2}+{a}} \\ $$$$…… \\ $$$$\:^{\mathrm{1993}} \sqrt{\mathrm{1993}+{a}}<\sqrt{\mathrm{2}+{a}} \\ $$$$…… \\ $$$$\:^{{n}} \sqrt{{n}+{a}}<\sqrt{\mathrm{2}+{a}} \\ $$$$…… \\ $$$$ \\ $$$${A}=\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{\mathrm{3}\:+…+\overset{\mathrm{1993}} {\:}\sqrt{\mathrm{1993}}}}\:\:\:\left({finite}\right) \\ $$$$<\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{\mathrm{3}\:+…+\overset{\mathrm{1993}} {\:}\sqrt{\mathrm{1993}+\:^{\mathrm{1994}} \sqrt{\mathrm{1994}+….}}}}\:\:\:\left({infinite}\right) \\ $$$$<\sqrt{\mathrm{2}\:+\:\sqrt{\mathrm{2}\:+…+\:\sqrt{\mathrm{2}+\sqrt{\mathrm{2}+…}}}}\:={x} \\ $$$$ \\ $$$$\sqrt{\mathrm{2}\:+\:\sqrt{\mathrm{2}\:+…+\:\sqrt{\mathrm{2}+\sqrt{\mathrm{2}+…}}}}\:={x} \\ $$$$\mathrm{2}+{x}={x}^{\mathrm{2}} \\ $$$${x}^{\mathrm{2}} −{x}−\mathrm{2}=\mathrm{0} \\ $$$$\left({x}−\mathrm{2}\right)\left({x}+\mathrm{1}\right)=\mathrm{0} \\ $$$${since}\:{x}>\mathrm{0}, \\ $$$$\Rightarrow{x}=\mathrm{2} \\ $$$$\therefore\:{A}=\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{\mathrm{3}\:+…+\overset{\mathrm{1993}} {\:}\sqrt{\mathrm{1993}}}}<{x}=\mathrm{2} \\ $$
Commented by FilupS last updated on 18/Feb/17
Another way of writing this is (exact same proof):     ^n (√a)<^m (√a)     for n>m  let  a=3+^4 (√(4+^5 (√(5+...+^(1993) (√(1993))))))  A=(√(2 + ^3 (√(3 +...+ ^(1993) (√(1993))))))  A=(√(2 + ^3 (√a)))     let x=^2 (√(2+^2 (√(2+^2 (√(2+...))))))  x^2 =2+x  x^2 −x−2=0  x=2 (from previois post)     let b=2+^2 (√(2+...))  x=^2 (√(2+^2 (√b)))  b>a  (√(2+(√b)))>(√(2+^3 (√a)))  b^3 >a^2   ∴ x>A  ∴ A<2     ∴(√(2 + ^3 (√(3 +...+ ^(1993) (√(1993))))))< 2
$$\mathrm{Another}\:\mathrm{way}\:\mathrm{of}\:\mathrm{writing}\:\mathrm{this}\:\mathrm{is}\:\left(\mathrm{exact}\:\mathrm{same}\:\mathrm{proof}\right): \\ $$$$\: \\ $$$$\:^{{n}} \sqrt{{a}}<^{{m}} \sqrt{{a}}\:\:\:\:\:\mathrm{for}\:{n}>{m} \\ $$$$\mathrm{let}\:\:{a}=\mathrm{3}+^{\mathrm{4}} \sqrt{\mathrm{4}+^{\mathrm{5}} \sqrt{\mathrm{5}+…+^{\mathrm{1993}} \sqrt{\mathrm{1993}}}} \\ $$$${A}=\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{\mathrm{3}\:+…+\overset{\mathrm{1993}} {\:}\sqrt{\mathrm{1993}}}} \\ $$$${A}=\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{{a}}} \\ $$$$\: \\ $$$$\mathrm{let}\:{x}=^{\mathrm{2}} \sqrt{\mathrm{2}+^{\mathrm{2}} \sqrt{\mathrm{2}+^{\mathrm{2}} \sqrt{\mathrm{2}+…}}} \\ $$$${x}^{\mathrm{2}} =\mathrm{2}+{x} \\ $$$${x}^{\mathrm{2}} −{x}−\mathrm{2}=\mathrm{0} \\ $$$${x}=\mathrm{2}\:\left(\mathrm{from}\:\mathrm{previois}\:\mathrm{post}\right) \\ $$$$\: \\ $$$$\mathrm{let}\:{b}=\mathrm{2}+^{\mathrm{2}} \sqrt{\mathrm{2}+…} \\ $$$${x}=^{\mathrm{2}} \sqrt{\mathrm{2}+^{\mathrm{2}} \sqrt{{b}}} \\ $$$${b}>{a} \\ $$$$\sqrt{\mathrm{2}+\sqrt{{b}}}>\sqrt{\mathrm{2}+^{\mathrm{3}} \sqrt{{a}}} \\ $$$${b}^{\mathrm{3}} >{a}^{\mathrm{2}} \\ $$$$\therefore\:{x}>{A} \\ $$$$\therefore\:{A}<\mathrm{2} \\ $$$$\: \\ $$$$\therefore\sqrt{\mathrm{2}\:+\overset{\mathrm{3}} {\:}\sqrt{\mathrm{3}\:+…+\overset{\mathrm{1993}} {\:}\sqrt{\mathrm{1993}}}}<\:\mathrm{2} \\ $$
Commented by malwaan last updated on 20/Feb/17
thank you so much
$${thank}\:{you}\:{so}\:{much} \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *