Irrational, Existing or What?

Note: This was a contest question hosted earlier by me, so don't get confused by the comments of the solutions posted in this problem.

Question: Ann, Bob and Chetan are 3 friends, where Annie gives Chetan a number x x and gives the expression below for the value of x x :

x = ( 3 ! 3 ! 3 ! 3 ! . . . ) ( 1729 ) ( 3 1 2 + 3 2 2 + 3 3 2 + 3 4 2 + 3 5 2 + . . . ) π 2 [ ( 1 × 10 + 9 ) ( 9 × 10 + 1 ) + 1 9 3 + 12 3 10 3 ] \boxed{\Large x = \frac { (\sqrt { 3!\sqrt { 3!\sqrt { 3!\sqrt { 3!\sqrt { ... } } } } } )(1729)(\frac { 3 }{ { 1 }^{ 2 } } +\frac { 3 }{ { 2 }^{ 2 } } +\frac { 3 }{ { 3 }^{ 2 } } +\frac { 3 }{ { 4 }^{ 2 } } +\frac { 3 }{ { 5 }^{ 2 } } +...) }{ { \pi }^{ 2 }[(1\times 10+9)(9\times 10+1)+{ 1 }-{ 9 }^{ 3 }+{ 12 }^{ 3 }-{ 10 }^{ 3 }] }}

(In the above expression, the continued fraction and the radical continue the same pattern as it is observed in them)

Then, Bob tells to Chetan that he thinks of a prime number p p which is a positive odd prime, and it can be expressed in 2 ways, the first as p p = u 2 + ( 2 ) 4 { u }^{ 2 }+{ (\sqrt { 2 } })^{ 4 } where u u is a positive integer, and the second as p 3 p\equiv 3 (mod 4)

  • Now, if p p exists, then Chetan tells that p p exists and whether tan ( x p ) \tan { (xp) } is irrational or rational, where x p xp is the product of x x and p p and x p xp is measured in radians.

  • And if p p does not exists, Chetan tells p p does not exist and whether tan ( x ) \tan { (x) } is irrational or rational, where x x is measured in radians.

What would Chetan say?

p p does not exists, and tan ( x ) \tan { (x) } is irrational. p p does not exists, but determining tan ( x ) \tan { (x) } is rational or irrational is not possible. p p does exists, but determining tan ( x p ) \tan { (xp) } is rational or irrational is not possible. p p does exists, and tan ( x p ) \tan { (xp) } is irrational. p p does not exists, and tan ( x ) \tan { (x) } is rational. p p does exists, and tan ( x p ) \tan { (xp) } is rational.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

8 solutions

David Vreken
Jul 14, 2020

Assigning Parts

Let a = 3 ! 3 ! 3 ! 3 ! . . . a = \sqrt{3!\sqrt{3!\sqrt{3!\sqrt{3!\sqrt{...}}}}} , b = 3 1 2 + 3 2 2 + 3 3 2 + 3 4 2 + 3 5 2 . . . b = \cfrac{3}{1^2} + \cfrac{3}{2^2} + \cfrac{3}{3^2} + \cfrac{3}{4^2} + \cfrac{3}{5^2} ... , and c = ( 1 × 10 + 9 ) ( 9 × 10 + 1 ) + 1 9 3 + 1 2 3 1 0 3 c = (1 \times 10 + 9)(9 \times 10 + 1) + 1 - 9^3 + 12^3 - 10^3 . Then x = a 1729 b π 2 c x = \cfrac{a \cdot 1729 \cdot b}{\pi^2 \cdot c} .

Solving for a a

Since a = 3 ! 3 ! 3 ! 3 ! . . . a = \sqrt{3!\sqrt{3!\sqrt{3!\sqrt{3!\sqrt{...}}}}} , that means a = 3 ! a a = \sqrt{3!a} . Squaring both sides gives a 2 = 3 ! a a^2 = 3!a , and since a 0 a \neq 0 , a = 3 ! = 6 a = 3! = 6 .

Solving for b b

Writing b = 3 1 2 + 3 2 2 + 3 3 2 + 3 4 2 + 3 5 2 . . . b = \cfrac{3}{1^2} + \cfrac{3}{2^2} + \cfrac{3}{3^2} + \cfrac{3}{4^2} + \cfrac{3}{5^2} ... as a sum gives b = n = 1 3 n 2 = 3 n = 1 1 n 2 b = \displaystyle \sum _{n=1}^{\infty }{\frac {3}{n^2}} = \displaystyle 3\sum _{n=1}^{\infty }{\frac {1}{n^2}} . Since the sum of the reciprocals of the squares of the natural numbers is a Basel problem that has been shown to be n = 1 1 n 2 = π 2 6 \displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^2}} = \frac{\pi^2}{6} , this can be substituted in to show that b = 3 π 2 6 = π 2 2 b = 3 \cdot \cfrac{\pi^2}{6} = \cfrac{\pi^2}{2} .

Solving for c c

By direct calculation, c = ( 1 × 10 + 9 ) ( 9 × 10 + 1 ) + 1 9 3 + 1 2 3 1 0 3 = 1729 c = (1 \times 10 + 9)(9 \times 10 + 1) + 1 - 9^3 + 12^3 - 10^3 = 1729 .

(Bonus: 1729 1729 is the smallest number that can be expressed as the sum of two positive cubes in two different ways, and is called a taxicab number .)

Solving for x x

Substituting a = 6 a = 6 , b = π 2 2 b = \cfrac{\pi^2}{2} , and c = 1729 c = 1729 into x = a 1729 b π 2 c x = \cfrac{a \cdot 1729 \cdot b}{\pi^2 \cdot c} gives x = 6 1729 π 2 2 π 2 1729 = 3 x = \cfrac{6 \cdot 1729 \cdot \frac{\pi^2}{2}}{\pi^2 \cdot 1729} = 3 .

Solving for p p

Since u u is a positive integer, it is either in the form of 4 n 4n , 4 n + 1 4n + 1 , 4 n + 2 4n + 2 , or 4 n + 3 4n + 3 for some integer n n .

That means there are four cases to consider for p = u 2 + ( 2 ) 4 = u 2 + 4 p = u^2 + (\sqrt{2})^4 = u^2 + 4 :

Case 1: If u = 4 n u = 4n , then p = ( 4 n ) 2 + 4 = 16 n 2 + 4 0 ( m o d 4 ) p = (4n)^2 + 4 = 16n^2 + 4 \equiv 0 \pmod{4}

Case 2: If u = 4 n + 1 u = 4n + 1 , then p = ( 4 n + 1 ) 2 + 4 = 16 n 2 + 8 n + 5 1 ( m o d 4 ) p = (4n + 1)^2 + 4 = 16n^2 + 8n + 5 \equiv 1 \pmod{4}

Case 3: If u = 4 n + 1 u = 4n + 1 , then p = ( 4 n + 2 ) 2 + 4 = 16 n 2 + 16 n + 4 0 ( m o d 4 ) p = (4n + 2)^2 + 4 = 16n^2 + 16n + 4 \equiv 0 \pmod{4}

Case 4: If u = 4 n + 1 u = 4n + 1 , then p = ( 4 n + 3 ) 2 + 4 = 16 n 2 + 24 n + 9 1 ( m o d 4 ) p = (4n + 3)^2 + 4 = 16n^2 + 24n + 9 \equiv 1 \pmod{4}

Since there are no cases where p 3 ( m o d 4 ) p \equiv 3 \pmod{4} , p p does not exist .

Analyzing tan ( x ) \tan (x)

According to an extension of Niven's Theorem , the only rational values of tangent are 0 0 and ± 1 \pm 1 , which would occur at tan ( π n ) \tan(\pi n) and tan ( π n ± π 4 ) \tan(\pi n \pm \cfrac{\pi}{4}) for some integer n n , or put another way, would occur at tan ( π k ) \tan(\pi k) for some rational number k k . However, since x = 3 = π 3 π x = 3 = \pi \cdot \cfrac{3}{\pi} , the k k value would be k = 3 π k = \cfrac{3}{\pi} , which is not rational. Therefore, tan ( 3 ) \tan(3) must be irrational .

In the graph above, rational values of tan ( x ) \tan(x) occur at the intersection of blue and black lines, when tan ( x ) = 0 \tan (x) = 0 or tan ( x ) = ± 1 \tan (x) = \pm 1 . As proved above, the green line x = 3 x = 3 will not give tan ( x ) \tan(x) a rational value because it does not pass through the blue and black intersection points. Therefore, tan ( 3 ) \tan(3) is irrational.

Conclusion

Therefore, Chetan would say that p p does not exist and that tan ( x ) \tan(x) is irrational .

The most precise and upto the point solution sir.

Aryan Sanghi - 11 months ago

Log in to reply

Thanks, I'm glad you like it!

David Vreken - 11 months ago

@David Vreken Your proof is well-illustrated and very precise. Have you heard of Fermat's sum of squares theorem and Lambert's equation for tan x which he used to prove pi was irrational. This 2 things could be also used here.

Siddharth Chakravarty - 11 months ago

Log in to reply

Thanks! I hadn't heard of using Fermat's sum of squares with Lambert's equation. I'll have to research that!

David Vreken - 11 months ago

Wow, awesome solution @David Vreken

The thing I like that you also used Niven's Theorem, but clearly showed what you mean. @Jeff Giff and @Suchet Sadekar just copied it line by line from my solution. But, you haven't, as you made me only understand Niven's Theorem better! Upvoted!

Vinayak Srivastava - 11 months ago
Aryan Sanghi
Jul 14, 2020

Solving First Part \colorbox{#333333}{\color{#FFFFFF}{\text{Solving First Part}}}

  • Square Root Part

k 1 = 3 ! 3 ! 3 ! . . . . . k_1 = \sqrt{3!\sqrt{3!\sqrt{3!\sqrt{.....}}}} k 1 = 3 ! × k 1 k_1 = \sqrt{3! × k_1} k 1 2 = 6 k 1 k_1^2 = 6k_1 k 1 ( k 1 6 ) = 0 k_1(k_1 - 6) = 0 As k 1 0 , k 1 = 6 \text{As } k_1 \neq 0, \boxed{k_1 = 6}


  • Basel Problem Part

Here is a \text{Here is a } link \text{link} to solve it. It’s long so I can’t tell here \text{to solve it. It's long so I can't tell here} 1 1 2 + 1 2 2 + 1 3 2 = π 2 6 \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} \ldots = \frac{\pi^2}{6} k 2 = 3 1 2 + 3 2 2 + 3 3 2 = 3 × π 2 6 k_2 = \frac{3}{1^2} + \frac{3}{2^2} + \frac{3}{3^2} \ldots = 3 × \frac{\pi^2}{6} k 2 = π 2 2 \boxed{k_2 = \frac{\pi^2}{2}}

Basel Problem Solution \color{grey}{\text{Basel Problem Solution}}


  • Denominator part

k 3 = π 2 ( 1 × 10 + 9 ) ( 9 × 10 + 1 ) + 1 9 3 + 1 2 3 1 0 3 k_3 = \pi^2 (1 × 10 + 9)(9 × 10 + 1) + 1 - 9^3 + 12^3 - 10^3 k 3 = π 2 × 1729 \boxed{k_3 = \pi^2 × 1729}


  • Combining everything

x = k 1 × 1729 × k 2 k 3 x = \frac{k_1 × 1729 × k_2}{k_3} x = 6 × 1729 × π 2 2 π 2 × 1729 x = \frac{6 × 1729 × \frac{\pi^2}{2}}{\pi^2 × 1729} x = 3 \color{#3D99F6}{\boxed{x = 3}}


Solving Second Part \colorbox{#333333}{\color{#FFFFFF}{\text{Solving Second Part}}}

As p 3 ( m o d 4 ) , Let p = 4 k + 3 where k I \text{As } p \equiv 3 \pmod{4}, \text{ Let } p = 4k + 3 \text{ where } k \in I Putting p = 4 k + 3 in p = u 2 + ( 2 ) 4 \text{Putting } p = 4k + 3 \text{ in } p = u^2 + (\sqrt{2})^4 4 k + 3 = u 2 + 4 4k + 3 = u^2 + 4 k = u 2 + 1 4 k = \frac{u^2 + 1}{4}

Now, we know that all squares can be expressed of form 4 m or 4 m + 1 where m I Here is a proof if you like \text{Now, we know that all squares can be expressed of form } 4m \text{ or } 4m + 1 \text{ where } m \in I \text{ Here is a proof if you like} link \text{link}

Proof that squares are of form 4m and 4m + 1 \color{grey}{\text{Proof that squares are of form 4m and 4m + 1}}

k = ( 4 m ) + 1 4 or k = ( 4 m + 1 ) + 1 4 = 4 m + 2 4 k = \frac{(4m) + 1}{4} \text{ or } k = \frac{(4m + 1) + 1}{4} = \frac{4m + 2}{4}

Now, R.H.S. in neither is an integer whereas L.H.S. in both is an integer \text{Now, R.H.S. in neither is an integer whereas L.H.S. in both is an integer}

p is not existent \color{#3D99F6}{\boxed{p\text{ is not existent}}}


Solving Whole Question \colorbox{#333333}{\color{#FFFFFF}{\text{Solving Whole Question}}}

Now, as p is not existent, we’ll take second Statement \text{Now, as } p \text{ is not existent, we'll take second Statement }

tan x = tan 3 which is irrational \tan x = \tan{3} \text{ which is irrational}

So, Answer is Option 1 \text{So, Answer is }\color{#3D99F6}{\boxed{\text{Option 1}}}

@Siddharth Chakravarty ,i am not as great as leonardo eulur,this question was a big trouble for me, i know that the continued fractions will converge at pi/6 but,i have no proof till. Please remove me from leader board

peace

The contest has ended, @Kriti Kamal .

Siddharth Chakravarty - 11 months ago

Log in to reply

Ok,thanks for informing me.

Sahil Goyat
Jul 14, 2020

The question has been made to look unnecessarily complex it would be better to split this problem into various sub problems.Also this has nothing special to itself it just a collection of problems combining them in this way doesn't makes it better neither does it adds extra thinking.No offence.

After all questions are supposed to teach us how to think and learn not to just 'look' hard.

also @Siddharth Chakravarty you can kindly remove me from the leader board I am no longer participating.

Ok fine, but I would say this is not a solution. But you are free to criticize. Complex questions are made out of simple ideas. So if you can solve simple problems of the complex question, you can solve the whole question easily.

Siddharth Chakravarty - 11 months ago

I agree partially with Sahil. @Siddharth Chakravarty it's a great initiative to host this contest but fantastic problems are those which look easy, simple elegant, can be stated in just a line, no unnecessary complex trigonometry or single digit required answer and so many names. Just simple and clean.

Mahdi Raza - 11 months ago

Log in to reply

Now that is a point of perspective @Mahdi Raza I'm planning the same for future problems. Some people like, some people don't not my fault.

Siddharth Chakravarty - 11 months ago

Log in to reply

Sure you may, after all, it's your contest!

Mahdi Raza - 11 months ago

Just wanted to say problems should be complex but one should have the ability to understand the easiness of the problem.

Siddharth Chakravarty - 11 months ago

There was a problem with my computer, my mouse lags a lot and I clicked the wrong answer, so can i post my solution here as it isn't an actual solution? What do you think @Siddharth Chakravarty and @Sahil Goyat ???

Log in to reply

No I cannot do that, it would be impartial. Next time be more careful.

Siddharth Chakravarty - 11 months ago

Answer please, I'm anxious (Due to ADHD) @Siddharth Chakravarty

Jeff Giff
Jul 14, 2020

This question can be broken down into pieces:


F i n d i n g P \huge Finding P
Since p 3 ( m o d 4 ) p\equiv 3 \pmod{4} and p = u 2 + 4 p=u^2+4 , u 2 3 ( m o d 4 ) \color{#D61F06} u^2\equiv 3\pmod 4 . We know immediately that this isn’t possible for integer u u as for integer u u , u 2 0 , 1 ( m o d 4 ) u^2\equiv 0,1\pmod{4} . So p p doesn’t exist.


B r e a k i n g \huge Breaking
( 3 ! 3 ! . . . ) ( 1729 ) ( 3 1 + 3 4 . . . ) π 2 ( 19 × 91 + 1 9 3 + 1 2 3 1 0 3 ) \frac{\color{#D61F06}(\sqrt{3!\sqrt {3!\sqrt{...}}})\color{#3D99F6}(1729)(\frac{3}{1}+\frac{3}{4}...)}{\color{#20A900}\pi ^2(19\times 91+1-9^3+12^3-10^3)}


R E D \huge \color{#D61F06} RED
Call this bit x x . Since 3 ! = 6 3!=6 , x = 6 x x=\sqrt{6x} x 2 = 6 x x = 0 , 6 x^2=6x\Rightarrow x=0,\underline{6} So x = 6 x=6 .


B L U E \huge \color{#3D99F6} BLUE
Study i = 1 n 3 i 2 \sum_{i=1}^n\dfrac{3}{i^2} . This is actually three times the answer to the Basel problem .

Proof and graph-to-theorem

So this bit = 1729 π 2 2 =\dfrac{1729\pi ^2}{2} .


G R E E N \huge \color{#20A900} GREEN
This requires some simple maths. You get 1729 π 2 1729\pi ^2 immediately.


E N D \huge END
Put these together to get ( 6 ) ( 1729 ) π 2 2 1729 π 2 = 3. \frac{(6)(1729)\frac{\pi ^2}{2}}{1729\pi^2}=3. Now find out whether tan 3 ( rad ) \tan 3(\text{rad}) is rational.

We see this isn’t 0 0 or ± 1 \pm 1 so it’s irrational. So p p doesn’t exist, and tan 3 \tan 3 is irrational. Done, @Siddharth Chakravarty . Pls give me marks now :)

@Siddharth Chakravarty , I see that @Jeff Giff has copied my picture, please give marks accordingly!

Vinayak Srivastava - 11 months ago

Log in to reply

No marks would be given to both of you if you put a link also, and then the same page's screenshot, what logic is this?

Siddharth Chakravarty - 11 months ago

Log in to reply

Alright, I’ll edit my solution:P

Jeff Giff - 11 months ago

I added the link after you told me, before, I did not put the link.

Vinayak Srivastava - 11 months ago

Wait... I think I won’t edit my solution. That pic was for completeness. :)

Jeff Giff - 11 months ago

Log in to reply

@Jeff Giff I would still say you should take your own screenshot, not mine.

Vinayak Srivastava - 11 months ago

@Jeff Giff points for pictures or animations will be awarded if they are only related to the problem not to the proofs of the theorems used in the problem.

Siddharth Chakravarty - 11 months ago

Log in to reply

No prob :) then you can give me points now :)

Jeff Giff - 11 months ago

The value of x , solving each term separately \text{The value of } x \text{, solving each term separately}

First part \text{First part}

3 ! 3 ! = y (Say) \sqrt{3!{\sqrt{\sqrt{3!\cdots}}}}=y \text{(Say)} 3 ! y = y \implies \sqrt{3!y}=y

Squaring both sides of the equation, and taking positive square root since y > 0 \text{Squaring both sides of the equation, and taking positive square root since } y>0 y 2 = 3 ! y \implies y^2 =3!y y y = 3 ! y \implies y \cancel{y} =3!\cancel{y} y = 3 ! = 3 × 2 × 1 = 6 (By definition of factorial function) \implies y=3!=3\times 2\times 1 =6 \text{ (By definition of factorial function)} Link to factorial function \text{Link to factorial function}

Second part \text{Second part}

3 1 2 + 3 2 2 + 3 3 2 + 3 4 2 \dfrac{3}{1^2}+\dfrac{3}{2^2}+\dfrac{3}{3^2}+\dfrac{3}{4^2} \cdots 3 × ( 1 1 2 + 1 2 2 + 1 3 2 + 1 4 2 ) 3\times (\dfrac{1}{1^2}+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\dfrac{1}{4^2} \cdots ) By the famous Basel Problem, solved by the great Leonhard Euler, \text{By the famous Basel Problem, solved by the great Leonhard Euler,}

Link 1 to Basel Problem \text{Link 1 to Basel Problem} Link 2 to Basel Problem(Wonderful explanation!) \text{Link 2 to Basel Problem(Wonderful explanation!)} 1 1 2 + 1 2 2 + 1 3 2 + 1 4 2 = π 2 6 \dfrac{1}{1^2}+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\dfrac{1}{4^2} \cdots= \dfrac{{\pi}^2}{6} 3 × ( 1 1 2 + 1 2 2 + 1 3 2 + 1 4 2 ) = 3 × π 2 6 = π 2 2 3\times (\dfrac{1}{1^2}+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\dfrac{1}{4^2} \cdots )= 3\times\dfrac{{\pi}^2}{6}=\dfrac{{\pi}^2}{2}

Denominator \text{Denominator}

We leave π 2 just now, and solve the rest \text{We leave } \pi^2 \text{ just now, and solve the rest} ( 1 × 10 + 9 ) ( 9 × 10 + 1 ) + 1 + 9 3 1 2 3 + 1 0 3 = 1729 (Can be solved using algebraic identities, and someone may use a calculator also.) (1\times 10 + 9)(9\times 10 +1)+1+9^3-12^3+10^3=1729 \text{(Can be solved using algebraic identities, and someone may use a calculator also.)}

Combining everything \text{Combining everything}

The expression becomes: \text{The expression becomes:} x = 6 × ( 1729 ) × π 2 2 π 2 × ( 1729 ) = 3 × ( 1729 ) × π 2 π 2 × ( 1729 ) = 3 × ( 1729 ) × π 2 π 2 × ( 1729 ) x= \dfrac{6 \times (1729) \times \dfrac{\pi^2}{2}}{\pi^2 \times (1729)} =\dfrac{3 \times (1729) \times \pi^2}{\pi^2 \times (1729)}=\dfrac{3 \times \cancel{(1729)} \times \cancel{\pi^2}}{\cancel{\pi^2} \times \cancel{(1729)}} x = 3 \Large{\color{#D61F06}{\implies \boxed{x=3}}}

There is no value of p \text{There is no value of } p

Given, \text{Given,} p = u 2 + ( 2 ) 4 = u 2 + 4 p u 2 ( m o d 4 ) p=u^2+({\sqrt{2}})^4=u^2+4 \implies p \equiv u^2 \pmod{4} Now, according to "Square Modulo 4" \text{Now, according to "Square Modulo 4"} Link to Square Modulo 4 \text{Link to Square Modulo 4}

All perfect squares are equivalent to either 0 or 1 ( m o d 4 ) \text{All perfect squares are equivalent to either 0 or 1} \pmod{4}

But, it is also given that p 3 ( m o d 4 ) \text{But, it is also given that } p \equiv 3 \pmod{4} , Hence, we reach a contradiction, and \text{Hence, we reach a contradiction, and}

p does not exist. \Large{\color{#D61F06} p\text{ does not exist.}}

Is tan ( x ) rational \text{Is } \tan{(x)} \text{ rational}

According to my search on WolframAlpha, \text{According to my search on WolframAlpha,} Link to WolframAlpha \text{Link to WolframAlpha}

A short proof \text{A short proof}

According to Niven’s Theorem, \text{According to Niven's Theorem,} Link to Niven’s Theorem \text{Link to Niven's Theorem}

Link to Proof of Niven’s Theorem \text{Link to Proof of Niven's Theorem}

Now, since we know that \text{Now, since we know that} 3 radians = 3 × ( 180 π ) = ( 540 π ) 3 \text{radians} = 3 \times \left(\dfrac{180}{\pi}\right)^{\circ} = \left(\dfrac{540}{\pi}\right)^{\circ} Since it is irrational, and not a multiple of some special values, which make it 0 or ± 1 , it needs to be irrational. \text{Since it is irrational, and not a multiple of some special values, which make it 0 or }\pm1\text{, it needs to be irrational.}

Final Answer!!!! \text{Final Answer!!!!}

p does not exist, and tan ( x ) is irrational. \Large{p\text{ does not exist, and } \tan(x)\text{ is irrational.}}

@Siddharth Chakravarty , I am done, please first tell me if the proof is ok or not, and then give me points.

Vinayak Srivastava - 11 months ago

I would say Niven's theorem is ok, but I meant something else. But it is not a proof, you need to prove Niven's theorem first.

Siddharth Chakravarty - 11 months ago

Log in to reply

But how? If Fermat's Last Theorem is used, I need to prove it? Its a theorem.

Vinayak Srivastava - 11 months ago

Log in to reply

I mean give the link to the proof.

Siddharth Chakravarty - 11 months ago

Log in to reply

@Siddharth Chakravarty Done! Now, you can give me points. I haven't studied anything today! :(

Vinayak Srivastava - 11 months ago

I have to include proof of basel problem also?

Vinayak Srivastava - 11 months ago

Log in to reply

No only link, and for image use something for simplification because providing a link and taking a screenshot of the page where there is 1 proof is the same thing.

Siddharth Chakravarty - 11 months ago

@Siddharth Chakravarty , I have given all links, written everything needed, prooved, or given link to proofs, and this problem is not geometry, so you can't cut marks for pictures.

Vinayak Srivastava - 11 months ago

Please give me scores, and it is clear you can't cut marks for no pictures.

Vinayak Srivastava - 11 months ago

Where is a picture? Also, I've reduced the points of @Aryan Sanghi as all were creating a buzz. So only pictures in the sense diagrams, graphs are only allowed.

Siddharth Chakravarty - 11 months ago

Log in to reply

I'll not add a picture, today is not a Geometry or Logic problem. Today, everyone should get 0 in pictures.

Vinayak Srivastava - 11 months ago

Criteria Points Reason
Intelligble Solution 15 The solution is clear and correct, with links also used. Also with the proof why tan3 is irrational.
Uniqueness 0 The simplifying and proofs are common ones
Using LaTeX \LaTeX 10 LaTeX \LaTeX is used extensively
Animation 0 No Animation is used
Pictures 0 Pictures are not used
Total points 25

Siddharth Chakravarty - 11 months ago

Log in to reply

Thanks for 0 points in pictures, it now feels better! Also, if someone else uses Niven's theorem now, please don't give points for that.

Vinayak Srivastava - 11 months ago

Dude, one query... Are points given for screenshots of the webpages, coz pictures aren't really useful here? @Siddharth Chakravarty

Log in to reply

No points for screenshots only points for images which show diagram, graph, etc or something related only to the problem, and not it's theorem or proof of the theorem.

Siddharth Chakravarty - 11 months ago

Log in to reply

@Siddharth Chakravarty K, what abbout graph for proof, like gef jof

@Siddharth Chakravarty *jeff giff not gef jof

Also, does humour help me here, like 2-3 extra points, coz Leo could give me something good. @Siddharth Chakravarty

@Vinayak Srivastava I don't understand the Niven's theorem part. The theorem states that IF BOTH (theta/pi) and sin (theta) is rational, you can find the value of theta. Here you have to check the rationality of tan 3. But 3/pi is irrational, so it completely has nothing to do with Niven's theorem.

And the theorem finds out the value of theta based on the rationality of sin, but you find out the rationality of tan based on the value of theta. You're applying the theorem in reverse, which is not valid because it's an IF statement.

Lam Luong - 11 months ago

Log in to reply

Actually, it states about tan also. The value of tan is only rational when it is exactly 0 , ± 1 0,\pm1 . But, I don't understand completely where I am wrong, if I am, still I at least can see that everyone else has copied my proof, to gain points, which I don't feel good about. @Siddharth Chakravarty , now that the contest is over, can you share the proof you were talking about? I would like to see it!

Vinayak Srivastava - 11 months ago

Log in to reply

Yeah, I think it would be nice. Can you share your solution? @Siddharth Chakravarty

Lam Luong - 11 months ago
Jordi Curto
Jul 14, 2020

Evaluate x :

Radical = 6^1/2 * 6^1/4 * 6^1/8 ...... = 6^S 1/2+1/4+1/8.... to infinite = 6^1 = 6

S 1/n^2 from n=1 to infinite is Problem of Basilea ( https://es.wikipedia.org/wiki/Problema de Basilea) = (Pi^2)/6

X = (1729 * 3* pi^2 ) / (pi^2 ) * (1729 + 0 ) => X=3

Evaluate p :

expresion 1 : p = u^2 + 4

expresion 2 : p = 4 N + 3

for equals : p = u^2 + 4 = 4 N + 3 => (u^2 + 1) / 4 = N => ( u / 2 ) ^2 + 1/4

( u / 2 ) ^2 = integer if u = even or integer + 1/4 if u = odd

expresion : ( u / 2 ) ^2 + 1/4 will be always integer + 1/4 or integer + 1/2 => never N => p not exist

Funtion tg (3) is irrational

Suchet Sadekar
Jul 14, 2020

First Part of the Solution(computing x ):

x = 3 ! 3 ! 3 ! . . . × 1729 × ( 3 1 2 + 3 2 2 + 3 3 2 + 3 4 2 + . . . ) π 2 × [ ( 1 × 10 + 9 ) ( 9 × 10 + 1 ) + 1 9 3 + 1 2 3 1 0 3 ] x=\frac{\sqrt{3!\sqrt{3!\sqrt{3!..._\infty}}} \times 1729 \times (\frac{3}{1^2} + \frac{3}{2^2} + \frac{3}{3^2} + \frac{3}{4^2} + ..._\infty)}{\pi^2 \times [(1\times10+9)(9\times10+1) + 1 - 9^3 + 12^3 - 10^3]}

**

3 ! 3 ! 3 ! . . . \sqrt{3!\sqrt{3!\sqrt{3!..._\infty}}} = y(say)

Thus y = 3 ! × y y= \sqrt{3!\times y}

y 2 = 6 y y^2 = 6y

y = 6 y=6

3 ! = 3 2 1 = 6 3! = 3*2*1 = 6

Click here to know what a Factorial is.


( 3 1 2 + 3 2 2 + 3 3 2 + 3 4 2 + . . . ) = 3 ( 1 1 2 + 1 2 2 + 1 3 2 + 1 4 2 + . . . ) = 3 × π 2 6 = π 2 2 (\frac{3}{1^2} + \frac{3}{2^2} + \frac{3}{3^2} + \frac{3}{4^2} + ..._\infty) = 3(\frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + ..._\infty) =3\times \frac{\pi^2}{6} = \frac{\pi ^ 2}{2}

Click here to find the proof for the above.


The denominator simplifies to 1729 × π 2 . 1729 \times \pi^2. using a calculator or just your head, if you can.


Hence x = 6 × 1729 × π 2 2 π 2 × 1729 = 3 x = \frac {6 \times 1729 \times \frac{\pi^2}{2}}{\pi^2 \times 1729} = 3


Second Part(computing p):

The two equations given to us are:

  1. p 3 ( m o d 4 ) p\equiv 3(mod 4)

  2. p = u 2 + 2 4 = u 2 + 4 p = u^2 + \sqrt2^4 = u^2 + 4


The first equation tells us that p can be expressed in the form 4 n + 3 4n+3 , where n I n \in I .

Equating 'p' in both equations gives us: 4 n = u 2 + 1 4n = u^2+1

This simplifies to n = u 2 + 1 4 n=\frac{u^2 + 1}{4}

With our newly acquired knowledge, we can now replace u 2 u^2 with 4 m 4m or 4 m + 1 4m + 1 .

Hence: n = 4 m + 1 4 o r 4 m + 2 4 n=\frac{4m+1}4 or \frac{4m+2}4 both of which are not integers, but n must be an integer.


This contradicts our original statement and we can make a conclusion that p does not exist .


SOLUTION

Since p p does not exist, the second statement is followed: "Chetan tells p does not exist and whether tan ( x ) \tan{(x)} is irrational or rational, where x is measured in radians."

tan ( x ) = tan ( 3 ) \tan(x) = \tan(3) (rad) 0.142 \approx -0.142


Proof that it is irrational:

According to Niven's Theorem , tan θ \tan\theta can only be rational if its values are 0 0 or ± 1 \pm1


Hence Chetan says that p does not exist and that t a n ( x ) \ tan(x) is irrational.

I am done!

Suchet Sadekar - 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...