A killer question from Japan. Is tan 1° a rational number?

Поділитися
Вставка
  • Опубліковано 24 гру 2024

КОМЕНТАРІ • 730

  • @rowantodd827
    @rowantodd827 2 місяці тому +1855

    He was sentenced to death? That doesn't seem like the most rational way to handle the situation.

    • @itsphoenixingtime
      @itsphoenixingtime 2 місяці тому +141

      It was radical though.

    • @alifsheikh4237
      @alifsheikh4237 2 місяці тому +74

      I dont think that this is a natural thing to do

    • @Mike-H_UK
      @Mike-H_UK 2 місяці тому +48

      It was his own fault for being transcendental towards Pythagoras!

    • @giork2828
      @giork2828 2 місяці тому +25

      Should have rationalized his decisions ref. his discovery

    • @maxhagenauer24
      @maxhagenauer24 2 місяці тому +6

      Only numbers can be rational or irrational, not actions.

  • @marcusscience23
    @marcusscience23 2 місяці тому +699

    Allegedly, Pythagoras hated 2 things: irrational numbers and beans. The former he killed for, the latter he died for.

    • @CosmicHase
      @CosmicHase 2 місяці тому +36

      An irrational number of beans

    • @Nelster
      @Nelster Місяць тому +6

      Did he bake beans into a pi?

  • @zsoltnagy5654
    @zsoltnagy5654 2 місяці тому +926

    Yes, (tan(1°) is rational) ⇒ (tan(2°) is rational).
    BUT it's not really, that _"(tan(2°) is rational) ⇒ (tan(3°) is rational)"_ but rather *(tan(2°) is rational AND tan(1°) is rational) ⇒ (tan(3°) is rational).*
    This is a very important distinction here, since one might prove with the naive version _"(tan(1°) is rational) ⇒ (tan(2°) is rational) ⇒ ... ⇒ tan(60°) is rational",_ that _"tan(60°)=√3 is not rational ⇒ ... _*_tan(45°)=1 is not rational_*_ ⇒ ... ⇒ tan(2°) is not rational ⇒ tan(1°) is not rational"._
    The correct version is rather the following:
    *(tan(1°) is rational) ⇒ (tan(1°) is rational AND tan(2°) is rational) ⇒ (tan(1°) is rational AND tan(3°) is rational) ⇒ ... ⇒ (tan(1°) is rational AND tan(45°) is rational) ⇒ ... ⇒ (tan(1°) is rational AND tan(60°) is rational) ⇒ (tan(60°) is rational)*
    such that (or if and only if)
    *(tan(60°)=√3 is not rational) ⇒ (tan(1°) is not rational OR tan(60°)=√3 is not rational) ⇒ ... ⇒ (tan(1°) is not rational OR tan(45°)=1 is not rational) ⇒ ... ⇒ (tan(1°) is not rational OR tan(2°) is not rational) ⇒ (tan(1°) is not rational)*
    (by contraposition and De Morgan's law)
    So be carefull with this otherwise one might come to the wrong and false idea of proving with the naive version, that _"tan(45°)=1 is not rational"!_

    • @minerscale
      @minerscale 2 місяці тому +53

      That's a very good point, the *only* thing this proves is that tan 1° is irrational since it's what we assumed for the contradiction.

    • @asdbanz316
      @asdbanz316 2 місяці тому +19

      their problem if they assume it
      Also tan 1 => tan 2 => tan 3 => ... => tan 60 is an entire chain with dependencies on all previous steps
      If you start with tan 3 without relying on 1 and 2, you create new independent assumption and it goes like tan 3 => tan 6 => tan 9 => ...
      btw I just realized that all factors of 60 will make irrational tangents

    • @trumpetbob15
      @trumpetbob15 2 місяці тому +26

      @@minerscale But we only got an irrational because we went to 60 degrees; why that one? If we had instead only gone from 1 to 45, we end at a rational number and therefore, no contradiction, everything is rational. I'm not sure this proof actually does show that Tan 1 degree is irrational.

    • @theupson
      @theupson 2 місяці тому +61

      @@trumpetbob15 no. youre confusing the converse with the contrapositive.
      edit: if tan(1 degree) is rational, then tan(n degrees) is rational for ALL natural numbers n, by strong induction using the sum formula for tangent. therefore, finding a single natural value of n yielding an irrational tangent does the job

    • @trumpetbob15
      @trumpetbob15 2 місяці тому +5

      @@theupson Yeah, I'm totally confused with this one.

  • @jackychanmaths
    @jackychanmaths 2 місяці тому +283

    tan(pi/6) is already well-known to be sqrt(3)/3 which is irrational
    so it is not necessary to go to pi/3

    • @BC-ng8yk
      @BC-ng8yk 2 місяці тому

      Also tan(pi/4)=1🤓😱🤯 pi/4=45 dgr < 60 . Not a valid proof!!!!!

    • @Mike-H_UK
      @Mike-H_UK 2 місяці тому +42

      Totally true, but once you introduce the concept of the incrementing angle, it is no harder to use 60 degrees than 30 degrees, even if it is not quite as minimalist.

    • @Geek37664
      @Geek37664 2 місяці тому +7

      He should stopped at π/12

    • @ingiford175
      @ingiford175 2 місяці тому +12

      @@Mike-H_UK Yes, but you do go though a rational point as 45 degrees (pi/4 is rational) which may confuse the issue

    • @atrus3823
      @atrus3823 2 місяці тому +3

      Since he’s really using induction here, he doesn’t actually go all the way to 60. Really once you’ve shown the pattern continues, he could go to any whole number of degrees and it’s no more effort.

  • @randomjin9392
    @randomjin9392 2 місяці тому +73

    Suppose tan(𝜋/180) = p/q with integer p, q: 0 < p < q. We then get cos²(𝜋/180) = q²/(p²+q²) and sin²(𝜋/180) = p²/(p²+q²). Multiply these to get: sin(𝜋/90) = pq/(p²+q²) and cos(𝜋/90) = (q²-p²)/(p²+q²). We now have sin(𝜋/90) and cos(𝜋/90) expressed as rational numbers. This means that any multiple of 2, 3 or 5 of the cosine and sine of 𝜋/90 will be rational - simply because double/triple/quintuple/etc angle formulas only involve polynomial operations on sine and cosine, so will always map a rational number to a rational one. Since 𝜋/3 = 2∙3∙5(𝜋/90), by our construction both cos(𝜋/3) and sin(𝜋/3) must be rational which isn't the case. Hence tan(𝜋/180) is irrational.

    • @unholycrusader69
      @unholycrusader69 2 місяці тому +6

      How did you type that "π"?

    • @evreatic3438
      @evreatic3438 2 місяці тому +7

      sin(π/90) = 2pq/(p²+q²)
      You were off by a factor of 2, though it doesn't affect the proof.

    • @randomjin9392
      @randomjin9392 2 місяці тому +4

      @@evreatic3438 Good one. I thought to fix it, but .. let's leave it to check if anyone is actually reading it and understanding what's going on ;)

    • @Deficard
      @Deficard 2 місяці тому

      ​@@unholycrusader69youtube can't do that. on keyboard, you're eqipped with π.
      but there's such things as unicode.
      basically an sprite for text in computer.
      for "𝛑", i had to copy the unicode U+1D6D1.
      i can easily access it through an app that lists unicode

    • @wiwaxiasilver827
      @wiwaxiasilver827 2 місяці тому +1

      @@randomjin9392 Wow, very neat use of the double angle formula :) How do you know the triple or quintuple angle formulas though?
      Edit: wow, I just realized that those necessarily follow from the angle addition formulas lol XD

  • @NestorAbad
    @NestorAbad 2 місяці тому +76

    Nice proof, thanks for sharing!
    Another easy but interesting proof of irrationality by contradiction that you could include is: "Let p and q be prime numbers. Show that log_p(q) is irrational." (where log_p denotes logarithm in base p)

    • @aiuoe2
      @aiuoe2 2 місяці тому +1

      Hey what are you? a mathematician ? Just curious 🤔.

    • @NestorAbad
      @NestorAbad 2 місяці тому +2

      @@aiuoe2 I'm a math teacher at high school 😄

    • @theupson
      @theupson 2 місяці тому +7

      *cough* p relatively prime to q, i think you mean. if log(p)/ log(q) = n1/n2 where n1 and n2 are natural numbers, then p^n2 = q^n1, which contradicts the uniqueness of prime factorization (itself a really excellent proof, my favorite example of a non-algebra-grind strong induction)

    • @BryanLu0
      @BryanLu0 2 місяці тому +2

      ​@@theupsonWell, prime numbers are relatively prime to each other. A problem can hide information

    • @NestorAbad
      @NestorAbad 2 місяці тому +1

      @@theupson Indeed, the only thing you need is that p and q are not a power of the same number.

  • @Nxck2440
    @Nxck2440 2 місяці тому +190

    Spent 6 minutes explaining basic stuff and then finally the answer in only 2-3 lol
    Also you could stop at tan 30 = 1/sqrt(3), which is irrational by inspection.

    • @user-matlee2477
      @user-matlee2477 2 місяці тому +11

      And tan 18 degrees as well. You can find out this value with a regular pentagon.

    • @dennisdeng3045
      @dennisdeng3045 2 місяці тому +12

      I’d say, if anything, he shouldn’t have gone past 45 degrees…

    • @Planetyyyy
      @Planetyyyy 2 місяці тому +25

      ​@@dennisdeng3045stopping at 45° would prove nothing, as tan(45°) is rational

    • @IdeaSlug
      @IdeaSlug Місяць тому

      @@dennisdeng3045 you don't get a contradiction if you stop there

    • @kyleliao4445
      @kyleliao4445 Місяць тому +1

      tan(15º) = (sqrt6-sqrt2)/4 :eyes:

  • @joachimkeinert3202
    @joachimkeinert3202 2 місяці тому +56

    He was not sentenced to death, he was suspended from the pythagorean community and lated perished at sea, what was then interpreted as a death penalty by god.

    • @GenUrobutcher
      @GenUrobutcher Місяць тому +11

      Bro was exiled to a unsurvivable Island and they call God killed him lol

  • @Bodyknock
    @Bodyknock 2 місяці тому +3

    Regarding the middle part of the video talking about proving that roots of primes are irrational, you can use the Rational Root Theorem to make a very broad, useful statement in that regard.
    As a reminder, the Rational Root Theorem says that if you have a polynomial equation with integer coefficients of the form aₙxⁿ + ... + a₀ = 0 , and the rational number in reduced form p/q is a solution, then p is a factor of a₀ and q is a factor of aₙ .
    Now take a look at the special case of the Rational Root Theorem where you want to solve an equation of the form xⁿ - n = 0 for some integer n. From the RRT we know that if x is a reduced rational solution p/q of that equation then q must be a factor of 1, which means if x is rational then it is an integer as well. In other words, all real solutions to the equation xⁿ - n = 0 must be either integers or irrational numbers. There are no purely fractional rational solutions to it!
    That in turn implies if you want the n-th real root of some integer c, the root must be either an integer or an irrational number. So if c isn't the n-th power of some integer than the n-th real roots of c are all irrational.

    • @MichaelRothwell1
      @MichaelRothwell1 2 місяці тому +2

      Yes, this is my favourite proof as it immediately gives the general result about nth roots of all integers being integer or irrational without any extra work. It is very instructive to prove this without the rational root theorem (basically, prove the rational root theorem in the particular case of xⁿ=m) and observe what results from elementary number theory are needed. Interestingly, the FTA (existence and "uniqueness" of prime factorisation) is _not_ needed.

  • @ulyssesfewl1059
    @ulyssesfewl1059 2 місяці тому +4

    For the 30, 60, 90 triangle, surely you only need to go as far as tan (30 deg), which is 1/(root 3), which is also irrational.

  • @ashutoshpendse4273
    @ashutoshpendse4273 2 місяці тому +18

    "I don't want to go off a tangent" and you came back to the original problem which is in fact about a tangent ratio! A nice wordplay!

    • @PerMortensen
      @PerMortensen 2 місяці тому +3

      After six minutes of filler...

  • @MrConverse
    @MrConverse 2 місяці тому +5

    3:45, “…must be *irrational”. I believe you misspoke there. Good video!

  • @JCCyC
    @JCCyC 2 місяці тому +2

    On the other hand, tan (and sin and cos) of every rational number of degrees (or rational multiple of pi, same thing) is algebraic. Wolfram Alpha tells me tan 1° is the root of a polynomial of degree 24. Bit doesn't tell me if it's expressible in radicals form.

  • @Traw-ve7qf
    @Traw-ve7qf Місяць тому +7

    8:36 if we continue to tan(45)=1 that is rational

    • @n00bxl71
      @n00bxl71 Місяць тому +1

      Yes, but that doesn't prove anything. tan1 being rational implies tan(k) is rational. But tan1 being irrational doesn't imply that tan(k) is irrational. tan45 is rational regardless of whether or not tan1 is rational.
      The way cofunctions in trig are defined shows that cos(x)=sin(90-x). As 90-45=45, cos(45)=sin(45), therefore tan(45)=1.

    • @ercfis
      @ercfis Місяць тому +2

      You cannote use this solution to prove tan 45 is irrational, cause (irrational*irrational) and irrational + irrational can be rational numbers!

    • @user-qw9yf6zs9t
      @user-qw9yf6zs9t 21 годину тому

      ​@@ercfisoh sqrt(2) * sqrt(2) = 2
      and sqrt(2) + (1-sqrt(2)) = 1

  • @bobbyhillthuglife
    @bobbyhillthuglife 2 місяці тому +10

    Historically, while the existence of Pythagoras himself is doubted, the existence of a school of philosophers with a keen interest in mathematics known as the Pythagoreans is not. They very much existed, whether or not their supposed founder was actually real. So, when we refer to something as "Pythagorean" we are not necessarily referring to Pythagoras himself, but rather the teachings of the "Pythagoreans"

    • @AH-xs3hg
      @AH-xs3hg Місяць тому +1

      If he was not real, is he just...
      imaginary?

  • @thomaswan4956
    @thomaswan4956 День тому

    The key insight is to use the multiple-angle formulas, which suggest that if tan 1° is rational, then tan 2°, tan 3°, and so on, up to tan 30°, would also be rational. However, tan 30° is known to be irrational (1/√3). Therefore, there must be a contradiction, and tan 1° cannot be rational.

  • @genius11433
    @genius11433 2 місяці тому +11

    Can someone please explain the contradiction at 3:42? I don't get the logic.

    • @wadoichimonji8522
      @wadoichimonji8522 2 місяці тому +6

      We are assuming that if p is a prime number then √ p is rational and therefore √ p can be expressed as some a/b where and a and b are integers. If b²p = a² and both a² and b² will have an even number of prime factors, the only way b²p will be equal to a² is if they have an equal number of prime factors so p must have an even number of prime factors as well but p is a prime number so it's can't have an even number of prime factors which is the contradiction.

    • @martinmonath9541
      @martinmonath9541 2 місяці тому +4

      At this point the fact that every natural number has a unique prime factorization is used, i.e., every natural number can be uniquely written as a finite product of prime numbers. So let's assume that the prime factor p appears in the prime factorization of a n times, where n>=0. Hence, p must appear 2n times in the prime factorization of a^2. By a similar argument, we can say that p appears 2m+1 times in the prime factorization of b^2*p, where m denotes the number of times p appears in the prime factorization of b. But then, by uniqueness of prime factorization, 2m+1=2n must hold since b^2*p=a^2. But 2m+1 is odd whereas 2n is even, so they can never be equal. Contradiction.

    • @ronald3836
      @ronald3836 2 місяці тому +4

      ​@@martinmonath9541 He uses a way too powerful theorem. It is enough to know that if prime p divides ab, then p divides a or p divides b. Now start by assuming sqrt(p)=a/b with a,b positive integers, where we pick a to be as small as possible. Since pb²=a², we know that p divides a², therefore p divides a.Thus a=pc for some integer c, and we have pb² = p²c², so b² = pc², and by the same reasoning as before we get b=pd. So a/b can be rewritten as c/d with c,d smaller than a,b. But we picked a to be minimal. Contradiction. Therefore sqrt(p) is irrational.

    • @genius11433
      @genius11433 2 місяці тому

      @@martinmonath9541
      Thanks.

    • @Ninja20704
      @Ninja20704 2 місяці тому

      @@ronald3836 it is not “too powerful”, it is simply the fundemental theorem of arithmetic that is one of the most important and underlying theorems in all of number thoery and used for almost any number theory proof involving prime divisibilty and factorisation

  • @whitepoole
    @whitepoole 2 місяці тому

    Thanks for the pun at 5:50. Made me smile 😊

  • @TDSONLINEMATHS
    @TDSONLINEMATHS 2 місяці тому +3

    Mathematics as a subject serves as a basics to all subject which is generally accepted at all levels of educational ladder and it plays a unique role in the development of each individual....

  • @jean-michelgilbert8136
    @jean-michelgilbert8136 4 дні тому

    I would have converted to radians then used tan x = sin x / cos x. By the small angle approximation, which is totally valid for one degree, sin x = x, so we have a multiple of pi which is irrational divided by cos x which we don't need to care whether it's rational or irrational anymore because irrational divided by anything (except zero or infinity) is irrational.

  • @lightyagami1752
    @lightyagami1752 4 дні тому

    Basically, you can formalise this with induction. Proposition: Assuming tan x is rational, then tan nx is rational for all natural numbers n. Proof. Base case is given as an assumption. Induction step: Suppose the proposition is true for some natural number k (i.e. tan kx is rational). Then tan (k+1)x = (tan kx + tan x)/(1 - tan kx . tan x), and since the rationals are closed under the four operations of basic arithmetic, this is rational (you can substitute with a/b, c/d to convince yourself). Hence the proposition is proven by induction, given the base assumption holds.
    If we start by assuming that tan 1 degree is rational, then we must have that tan 60 degrees is rational. But tan 60 degrees is sqrt(3), which is not rational. A number cannot be both rational and irrational at the same time. Hence tan 1 degree is not rational (Reductio Ad Absurdum, QED).
    Now, an interesting problem is to show that 45 degrees is the lowest rational positive degree measure with a rational tangent. Or equivalently, that for tan k*pi, where the angle is measured in radians, to show that the smallest positive rational value that k can take while returning a rational value for tan (k*pi), is k = 1/4.
    Right now, this is a conjecture of mine, but an online paper by someone else (which I have not verified is correct) answers this question in the affirmative: (link)(www2).(oberlin.edu)/faculty/jcalcut/tanpap.pdf - remove the brackets.

  • @bluerizlagirl
    @bluerizlagirl 2 місяці тому +1

    Naïve answer: Yes, because you can draw a triangle with angles of 1, 89 and 90º, measure the sides opposite and adjacent to the one-degree angle with a ruler accurate to the nearest millimetre and divide one integer by the other.
    Second thoughts: Measuring is cheating! Pi will come out rational that way. There's no reason to expect the sides to be rational. After all, 45-45-90 triangle has sides 1, 1 and sqrt(2).
    Third thoughts: Oh, just watch the video.

  • @domergamer2257
    @domergamer2257 2 місяці тому +28

    I could deduce this, Im surprised about myself!
    I have a doubt... down the line, tan45° gives you a rational number... how is this justified?
    (Pls dont judge... I am not that good at math, but i love math)

    • @Bob94390
      @Bob94390 2 місяці тому +43

      There is no need to "justify" that tan(45) is rational. The assumption that tan(1) is rational may very well lead to millions of true statements, like that tan(45) is rational. But the moment that the assumption that tan(1) is rational leads to something that is untrue, you have proven that tan(1) cannot be rational.

    • @baukenieuwenhuis6470
      @baukenieuwenhuis6470 2 місяці тому +12

      I think the problem lies with the formulation. If tan 1 WAS rational, then everything down the line would be rational. Since tan 60 is irational (because we defined it to be that way), that means tan 1 can't be rational. However, this does not imply that every value HAS to be irrational. If everything with property A has to have property B as well, does not mean that something with property B MUST have property A as well.

    • @ryanstaal3233
      @ryanstaal3233 2 місяці тому +1

      Cause you cant add the 1 degree cause its irrational. So from tan(45) rational you cant say tan(46) rational since tan(1) isnt rational). We do know now that tan(x) is irrational if x divides 60

    • @wagnerrodrigues6440
      @wagnerrodrigues6440 2 місяці тому +1

      From your statement we can conclude that tan(1°) is irrational doesn't imply that tan(k°) is also irrational. But if it were rational it would imply that tan(k°) is rational.

    • @luiswi
      @luiswi 2 місяці тому

      if you try applying the same steps of the proof to tan(45), you just get that tan(90), ... will be rational, which is true.

  • @viktor-kolyadenko
    @viktor-kolyadenko 2 місяці тому +32

    tan(30) is irrational. But tan(45) is rational.

    • @GenUrobutcher
      @GenUrobutcher Місяць тому +12

      You only need one irregular to disprove something. But not even millions of positive reinforcement is enough to prove something.

    • @radiationpony8449
      @radiationpony8449 Місяць тому +14

      The point is, that this proof for the irrationality of 1deg should also prove that 45deg is irrational. As tan(45deg) is known to be rational, this shows that the proof is at best incomplete as it only shows that not all tangent values of integer degrees are rational but does not yet state that tan(1deg) is irrational. To finish the proof you should show that in order for tan(45deg) to be rational and tan(60deg) to be irrational that tan(1deg) must be irrational I.E. the sum of irrational numbers can be rational but the sum of rational numbers cannot be irrational.

    • @viktor-kolyadenko
      @viktor-kolyadenko Місяць тому

      @@radiationpony8449, We get an equation of degree 45 of the type P(x)/Q(x) = 1. The chances of getting whole roots from it are not very high.

    • @vertechua
      @vertechua Місяць тому

      ​@@GenUrobutcher That's something well said man!

    • @lameyeast7085
      @lameyeast7085 Місяць тому

      ​@@radiationpony8449 i think it only goes one way
      Like u can use tan 1° to assume tan 2° is rational(in the proof) cuz we get - (r+r)/(1- r*r) where r is rational, so the whole equation is rational
      However, u can't use that tan 1° irrational to prove that tan 2° is irrational cuz then u get - (ir+ir)/(1-ir*ir) where ir is irrational, in which case the equation CAN be rational (say (π+π)/(1-√(1+π)*√(1+π)) which is rational), unlike the first case where the eq can only be rational
      So the proof is correct, tho correct me if im wrong

  • @composerlab
    @composerlab 21 день тому

    i got an alternative proof -
    similarly i did by contradiction where i suppose tan1 is rational
    tan(1 deg) =p/q for some p,q are integers, q is nonzero and gcd(p,q)=1
    for simplicity, i converted to radians where tan(pi/180 rad) = p/q, hence tan(89pi/180) = q/p => qsin(pi/180) = psin(89pi/180) hence qsin(pi/180) - pcos(pi/180) = 0
    then i used r formula afterwards to convert LHS to a single sin expression… for sin = 0, the thing inside the sine function = k*pi for some integer k, hennce p/q = (1-180k)/180 * pi. since (1-180k)/180 is rational, for the entire expression to be rational, pi has to be rational which is contradictory

  • @Panqueroso12
    @Panqueroso12 2 місяці тому +3

    Theorem: tan(x) is an increasing in the first quadrant.
    Proof of thm: the derivative of tan(x) is 1/(cos(x))^2, which is always positive, so tan(x) is increasing.
    Now, we know that 0 < tan(1) because tan(x) is in the first quadrant. Also, from the previous theorem, tan(1) < tan(45), and so 0 < tan(1) < 1. So if tan(1) = a/b, then a = b tan(1). But a is some integer, and so tan(1) has to be some integer, as b is an integer as well. This is not possible because there is no integer strictly between 0 and 1.
    Edit: above, I assumed a/b to be a simplified fraction.

    • @Panqueroso12
      @Panqueroso12 2 місяці тому

      Now, time to watch your proof :D

    • @rohit71090
      @rohit71090 2 місяці тому +1

      Ummm hypothetically ... say a=2 and b=4 .... Why does tan(1) have to be an integer then ?
      tan(1) can be simply 0.5 which can be written as 2/4 or 1/2.

    • @Panqueroso12
      @Panqueroso12 2 місяці тому

      @@rohit71090 You missed the point of a proof by contradiction: IF tan(1) is rational, THEN tan(1) has to be an integer, according to my argument ;)
      I am not claiming that tan(1) is an integer as a result

    • @amazuri3069
      @amazuri3069 2 місяці тому +4

      As someone already said, your proof is flawed. Specifically, "So if tan(1) = a/b, then a = b tan(1). But a is some integer, and so tan(1) has to be some integer, as b is an integer as well." To see why this isn't true, we can just use a simple example. Let's say:
      tan(1) = 0.5
      a = 1
      b = 2
      Now we can rewrite your equations with these values:
      0.5 = 1/2
      1 = 2*0.5
      As you can see, just because our product of the multiplication is an integer, doesn't mean every part of the equation is an integer.

    • @Panqueroso12
      @Panqueroso12 2 місяці тому

      Also, it is important in my proof that a and b are coprimes, sorry for not mentioning ;)

  • @variousthings6470
    @variousthings6470 2 місяці тому +20

    5:43 I think you meant to say: "I'm not sure, I will leave it to the _historians_ to decide."

  • @dijitle
    @dijitle 2 місяці тому

    The way you pulled off that “weave” is legendary!

  • @Trulsbk
    @Trulsbk 15 днів тому

    For anyone interested, by Niven’s Theorem, tan(1)=tan(2pi/360) is an algebraic number of degree 24. This means that it is the solution of a polynomial of degree 24. So it is definitely not rational (rational numbers are of degree 1).

  • @CristianBaeza-rh7zq
    @CristianBaeza-rh7zq 2 місяці тому

    Cool!
    My approach was, assume tan(1) is rational, then 1 degree is constructible, then any integer valued angle is constructible, contradiction.

  • @myb701
    @myb701 2 місяці тому +2

    Like most ancient sources, the little information there's about Pythagoras makes studying him really fun!
    We're kindasure he did exist, even if he might have not been a "greater than life" figure that the Pythagoreans admired regardless, but since there's no writings of him left, it's all muddy, and it's hard to sift the propaganda and legend from reality.
    The original source did say that the Pythagorean that discovered irrational numbers later died from drowning. But everything else comes from later, very inconsistent sources, with the story going from the original, to mixing with an account of the Pythagorean that discovered the regular dodecahedron drowning at the sea, most stories don't even refer to Hippasus by name lol. The particular tale that Pythagoras himself executed Hippasus for his discovery is probably less than 50 years old.
    Hell, we aren't even sure that it was Hippasus who proved that Sqrt(2) is irrational, we're just as unsure of that as we are of Pythagoras proving the Pythagorean Theorem, or if one of his students/succesors did.

    • @PhilipHaseldine
      @PhilipHaseldine 2 місяці тому

      Like Jesus, although he was not famous for maths (unless you count the feeding of the five thousand and dividing up a small amount of food)🤣

  • @llchan
    @llchan 2 місяці тому +32

    @MindYourDecisions This is Larry Chan who emailed you this problem. Thanks for taking it up.
    By the way, looking at the comments, some people seem to be confused because tan 45 is rational and they misunderstood your argument and thought you've also proved that tan 45 is irrational. In the original Japanese video (link in your description), the math teacher doubles the angle instead of adding 1 degree at a time, resulting in the following chain: tan 1 rational => tan 2 rational => tan 4 rational => tan 8 rational => tan 16 rational => tan 32 rational => tan 64 rational => tan (64-4)=tan 60 rational. This is a contradiction because tan 60=sqrt(3). That may clear up some of the confusions that people have.

    • @7636kei
      @7636kei 2 місяці тому +1

      Oof, looks like the solution given in the original video (as you described, anyway) was similar to what I came up with:
      1/ notice that if tan(a) and tan(b) are rational, due to how the tangent of sum/difference of angle formula works, tan(a+b) _and_ tan (a-b) are bound to be rational too
      2/ assuming tan(1°) _is_ rational, the chain of consequences would be:
      if tan(1°) is rational -> tan(1° + 1°) would be rational -> tan(2° + 2°) would be rational -> tan(4° + 4°) would be rational -> tan(8° + 8°) would be rational -> tan(16° + 16°) would be rational -> tan(32° - 2°) would be rational -> sqrt(3)/3 would be rational (oof!)

    • @davidhowe6905
      @davidhowe6905 2 місяці тому +3

      Thanks for suggesting the problem!

    • @cannot-handle-handles
      @cannot-handle-handles 2 місяці тому +5

      Great comment; it should be pinned! I also thought it would be more elegant to either double the angle or argue that tan(5°) = tan(2° + 3°), tan(10°) = tan(5° + 5°), and so on.

    • @randomdude9135
      @randomdude9135 Місяць тому

      I also proved this by doubling the argument!!! Except I stopped at tan(32-2) to arrive at a contradiction 😊

  • @DaneBrooke
    @DaneBrooke Місяць тому

    Sine and cosine of 1 degree are algebraic, but contain surds; Possibly the surds cancel when dividing sine by cosine. Watch this gripping video to find out!

  • @pianoplayer281
    @pianoplayer281 2 місяці тому

    Consider a right angle triangle with side lenghts 1-x, \sqrt{2x-x^2} and \sqrt{1+x}. The angle is 1 degree. Then tan1=\frac{\sqrt{x}\sqrt{2-x}}{1-x} and whether x is rational or not, the expresion for tan1 will be irrational.

    • @snc6344
      @snc6344 Місяць тому

      this isn't a right triangle, and even if it was, the angles wouldn't be consistent for all values of x

  • @maruthasalamoorthiviswanat153
    @maruthasalamoorthiviswanat153 2 місяці тому

    Excellent question and excellent solution

  • @japan.mathematics
    @japan.mathematics Місяць тому +2

    日本でとても有名。話題になった入試問題。

  • @amankamath6076
    @amankamath6076 5 днів тому

    Could we use approximation?
    Say 1° = pi/180 rad
    And we know tan(1) = sin(1)/cos(1)
    Then sin(pi/180) ≈ pi/180
    & cos (pi/180) ≈ 1
    Then tan(pi/180) ≈ pi/180 which isn't rational.

  • @PoppySuzumi1223
    @PoppySuzumi1223 2 місяці тому +28

    Very smart proof by contradiction.

  • @cheesetasty1646
    @cheesetasty1646 2 місяці тому +1

    Intuitively, since tan of 1 degree is essentially a random real number, the probability that it is rational is zero since the set of irrational numbers is uncountably infinite, while rational numbers are countably infinite.
    *For this to be more rigorous, you would have to show that tan(x) being rational is independent of x being rational

    • @PhilipHaseldine
      @PhilipHaseldine 2 місяці тому

      Hmmm maybe I leaned on this in my belief that it was irrational before he showed the proof, not sure, thanks....

    • @Straight_Talk
      @Straight_Talk 2 місяці тому +2

      There's a problem with the proof. It's logic "proves" that the tan of any angle is irrational.
      However, tan 45 = 1.
      More fundamentally, trigonometric ratios represent one side of a right triangle divided by another, which is a fraction.
      Which suggests that at least some trigonometric ratios must be rational.
      Presumably where neither the numerator nor denominator in the ratio (fraction) are either irrational or have infinitely many decimal places.

    • @cheesetasty1646
      @cheesetasty1646 2 місяці тому

      @@Straight_Talk I’m not saying tan(x) is always irrational, I’m saying that since tan(1) has no special value, it may as well just be some random number.

    • @Straight_Talk
      @Straight_Talk 2 місяці тому

      @@cheesetasty1646 That doesn't relate to my point.

  • @abdulreyhan9760
    @abdulreyhan9760 Місяць тому

    After watching ur every video my heart says ," I love you ". ❤❤❤

  • @bandana_girl6507
    @bandana_girl6507 Місяць тому

    I would have actually gone about it using facts about geometric construction:
    Straight edge and compass can be used to construct any number which combines the operations +, -, *, and / with square roots (of which rational numbers are a subset).
    For a given angle, its tangent is the length of a line segment perpendicular to one leg at 1 unit from the apex and with the other end at the intersection with the angle.
    The constructable regular polygons have a number of sides that is a power of 2 and any number of distinct Fermat primes.
    Given that to get tan(1°) you have to construct a 1° angle, from which you could construct a 360-gon, if tan(1°) were constructible (not just rational), 360 would have to be of this form.
    However, its prime factorization is 2*2*2*3*3*5, in which 3 is repeated. Since tan(1°) is non-constructible, it is irrational. Note: it is origami-constructible, though, thanks to 3 and 5 both being Fermat primes and angle trisection being possible with origami

  • @Physmathematicain
    @Physmathematicain 2 місяці тому

    Really nice proof😊

  • @gamerzkhargoshy505
    @gamerzkhargoshy505 Місяць тому +1

    I HAVE SEPARATE TRICKIER APPROACH 1DEGREE IS PIE/180 RADIANS SO TAN(1DEGREE)=TAN(PIE/180)=PIE/180 SINCE PIE/180 IS VERY SMALL WE CAN WRITE TAN(PIE/180)=PIE/180 AND AS IT IT CONTAINS PIE WHICH IS IRRATIONAL NO THERFORE IT IS IRRATIONAL NO .

  • @_grigoryta
    @_grigoryta 7 годин тому

    A lot more simple solution
    tan 1° = sin 1° / cos 1° . which can be equal to a/b where a and b are integer. and since sin 1° is between 0 and 1 being closer to 0 while cos 1° is the same but being closer to 1 - they are not integer therefore tan 1° is irrational
    UPD: I realized I haven't converted to radians - just replace 1° with Pi/180 and it still works

  • @yb3604
    @yb3604 14 днів тому

    nice one laddie

  • @MPSmaruj
    @MPSmaruj Місяць тому +1

    That's how Pythagoras got away with sentencing his opposition to death -- he convinced the entire world he has never real to begin with.

  • @SergeyKorytnik
    @SergeyKorytnik 8 днів тому

    Now the question is whether tan(1 degree) algebraic or transcendental?

    • @yinjohn23
      @yinjohn23 6 днів тому +1

      It is algebraic. The same reasoning works. tan(60x) is a rational function r(x) (with rational coefficients) in terms of tan(x). Now tan(1 degree) is the solution to r(x) = sqrt(3). Thus, x is algebraic.

  • @chrishobein3742
    @chrishobein3742 2 місяці тому

    This is interesting. When I first heard this question, I thought tan (1°) had to be rational:
    Assume we have a triangle with angles 1°, 89° and 90° and the cathetes a and b. Any other triangle with the same angles would be similar to our assumed triangle, which means for any triangle with above angles, there is a factor k, such as that its cathetes are k*a and k*b. So tan (1°) would be ka/kb (assuming a is the cathete across from the 1° angle). The k's cancel out, leaving a/b.
    I thought there had to be intergers or at least rational numbers a,b that would construct a right triangle with a 1° angle. But I guess, after watching your proof, it is impossible to construct a right triangle with a 1° angle and rational sides a and b.

    • @PhilipHaseldine
      @PhilipHaseldine 2 місяці тому

      I thought it was irrational but I wouldn't have been able to prove it

  • @bernhartschmieder9401
    @bernhartschmieder9401 6 днів тому

    I think you gotta change the edition style or the editor because it's very confusing that what you say and what he writes are different things and one has to guess, referring to the beginning.

  • @IsYitzach
    @IsYitzach Місяць тому

    You could have stopped at tan(15 degrees). Many people are saying to stop at tan(30 degrees)=sqrt(3)/3. But tan(15 degrees)=2-sqrt(3) happens sooner. This also avoids tan(45 degrees) which is 1 and rational.

    • @zmaj12321
      @zmaj12321 23 дні тому

      There is no reason why tan(45) needs to be avoided.

  • @mattheww4862
    @mattheww4862 2 місяці тому

    This is a nice systematic proof. A less elegant/rigorous idea, could we express tan x as a taylor series expansion, replace x with pi/180 (since 1 degree is pi/180 radians)? The resulting series has powers of pi. Given pi is transcendental then presumbly this infinite sum should be irrational.

    • @Anonymous-df8it
      @Anonymous-df8it 2 місяці тому +1

      Replace all instances of pi/180 with pi/4...

  • @davidh.4649
    @davidh.4649 2 місяці тому +1

    I wasn't able to answer the question but I do know one thing. You proved that tan 1° is irrational! Pythagoras is coming for you Presh! 😂

  • @davidpederson2905
    @davidpederson2905 16 днів тому

    I learned today (listening to the audio repeatedly, and Google searches) what a "blackboard bold symbol" is. For me a serendipity moment. Spoiler: its the double line on a letter for emphasis.

  • @byronwatkins2565
    @byronwatkins2565 2 місяці тому

    The part that always confused me was that pi is defined to be the ratio circumference/diameter; this seems to make pi rational by definition. Eventually, I was forced to figure out for myself that circumference and diameter cannot simultaneously be rational.

  • @nesgoof3412
    @nesgoof3412 2 місяці тому

    It's fun to see how Presh is slowly sliding into a bit more personal and humoristic approach in his videos.

  • @Hiroaki1990
    @Hiroaki1990 Місяць тому

    That problem and “Proof that π is greater than 3.05 (University of Tokyo in 2003)” are most well-known as math problems of Japanese university entrance exams.

  • @watchmakerful
    @watchmakerful 2 місяці тому +2

    It's enough to go up to 30* (tan 30* = 1/√3 is irrational).

    • @justlikeyourfathersaid
      @justlikeyourfathersaid Місяць тому

      But extending this logic it will imply that tg(45)=1 is irrational.
      The only thing I can find that really proves this is Nivens theorem. And that’s wayyyyyy too complex for a school question

    • @zmaj12321
      @zmaj12321 23 дні тому +1

      @@justlikeyourfathersaid The proof demonstrated in this video does not imply than tan(45) is irrational. The proof merely shows that tan(1) and tan(60) are irrational. It does not actually make any claim about the values in between.

  • @FUZxxl
    @FUZxxl Місяць тому

    If tan(1°) was rational, you could use the ratio to construct a regular 360-gon. 360 is not of the form 2^a × (2^b + 1) for (2^b + 1) prime, but only such regular polygons are constructible as shownw by Gauß. Hence tan(1°) is not rational.

  • @lapaget1
    @lapaget1 Місяць тому

    Fortunately, we know that tan(45°) equals 1 which is an integer and a rational. It then shows that tan(44°)=tan(45°-1°)=(tan(45°)-tan(1°)/(1+tan(45°).tan(1°)) is also a rational, etc., down to tan(1°) is a rational, which is the initial assumption.
    But as tan(15°)=2-sqrt(3) which is an irrational, it contradicts tan(15°) being a rational. So tan(14°)=tan(15°-1°) is irrational, down to tan(1°) is irrational after all.

  • @heresjohny996
    @heresjohny996 Місяць тому

    You made a verbal error at 3:44 stating, "therefore sqrt(b) must be rational"

  • @Nikioko
    @Nikioko Місяць тому

    The question is whether there is a right-angled triangle whose legs are natural and form angles of 1° and 89°.

  • @pokrec
    @pokrec 3 дні тому

    What if you stop not on 60 degrees, but on 45 degrees? How would you know that you should iterate until 60 degrees? I know, just finding one irrational tangens in this chain does the job, contrary, there is another conclusion: if tan 1 deg. is rational, all tangenses of all integral numbers of degrees are rational. Did I answer my question?On the other hand you could stop on 30 degrees, that has also irrational tangent

  • @TransNeingerian
    @TransNeingerian 8 днів тому +1

    So does this mean tan(1°) is ~1/60 from being a rational number?

  • @MrTomyCJ
    @MrTomyCJ 3 дні тому

    When asked for a random number, always say it's irrational, you have a 100% chance of being right!

  • @unshuuLEMON324
    @unshuuLEMON324 4 дні тому +1

    日本で有名な伝説の京大入試が海外の人に紹介されてて嬉しい

  • @spaceyote7174
    @spaceyote7174 2 місяці тому

    I went for a completely different route and expanded out tan as sin/cos and then sin and cos in their full exponential form, then after some algebra showed that the result is a complex fraction. I *think* that works? Do I get some points at least?

  • @lexiu6036
    @lexiu6036 Місяць тому

    1. check for tan of 2, 4, 8, 16, and 32, they all would be rational (assuming tan(1) is rational)
    2. calculate the value of tan(32-2), it also should be rational (again, according to the assumption)
    3. tan(30) is 1/sqrt(3) which is known to be irrational, which makes a contradiction.
    qed.

  • @thecatofnineswords
    @thecatofnineswords 2 місяці тому

    At 3:49, how is this true? How can you say there are an odd or even number of factors of p on either side?

    • @PhilipHaseldine
      @PhilipHaseldine 2 місяці тому

      squares need 2 of the same thing multiplied together. 2 is an even number.

  • @ralphwang1434
    @ralphwang1434 2 місяці тому

    I had a different proof: If tan(1 deg) was rational, we could (with compass and straightedge) construct an angle of 1 deg, which would allow us to construct an angle of 20 deg, which is previously known to be impossible. Therefore tan(1 deg) is irrational.
    Kinda the same concept as what was presented but a different base case

  • @nikhilsood9501
    @nikhilsood9501 2 місяці тому

    The word play was great.

  • @jamesdelapena5648
    @jamesdelapena5648 2 місяці тому

    Isn't it enough to show the following? (Seems simpler, more straightforward)::
    since tan(x)=sin(x)/cos(x)... we know that sin(1 deg) is not an integer and cos(1 deg) is not an integer, thus tan(1 deg) cannot be rational. We know that Sine(x) and cosine(x) only have integer values for x=0,90,180,270,360... (x in degrees) by the unit circle definition of sine and cosine.

    • @faustobarbuto
      @faustobarbuto Місяць тому

      Not sure if I really got your point, but 3/8 and 7/8 are not integers, but (3/8)/(7/8) = 3/7 is rational.

    • @jamesdelapena5648
      @jamesdelapena5648 Місяць тому

      @@faustobarbuto Oh yeah, you're right. In fact, pi / pi = 1 is rational as well.... I must've been half-asleep when I posted this, haha. Thanks for pointing out the logical error on my part!

    • @faustobarbuto
      @faustobarbuto Місяць тому

      @@jamesdelapena5648 Actually, I made a mistake. I forgot to add the word "rational" to the end of my reply. I took for granted it was implicit, sorry. Now it is correct.

  • @purplemittens825
    @purplemittens825 Місяць тому

    Would you be able to say tan 1° is irrational because tan 1° = sin 1° / cos 1° and since neither of those are rational, then following the formula that a/b must be integers, tan 1° is irrational?

    • @nilusingh377
      @nilusingh377 Місяць тому

      You have to prove that sin1 or cos1 is irrational.

  • @kdno421
    @kdno421 2 місяці тому

    @5:47 says doesnt want to go off on a tangent, then comes back to the tangent in question.

  • @smylesg
    @smylesg 2 місяці тому +1

    4:55 No Chinese people were harmed in the proving of this theorem.

  • @nilusingh377
    @nilusingh377 Місяць тому

    SOLUTION 1
    We can use induction here.
    Let prove that tanx is always rational for all x.
    The basic step is to prove that tan1 is rational.
    Here, let us suppose that tan1 is rational.
    Let tanx be rational.
    We prove that tan(x+1) is rational. Also, tan(x+1)= tanx+tan1/1-tanxtan1 which is in rational/rational form. This gives that tan(x+1) is rational.
    Hence from principal of mathematical induction, tanx is always rational.
    Now, consider tan30=1/√3, which is indeed an irrational Number. Hence a contradiction arises. This is because of our supposition that tan1 is rational.
    Hence we conclude that tan1 is irrational.
    SOLUTION 2
    We know that tanx=x for small angles(in radians).
    1degree=π/180
    Tan1=tanπ/180=π/180.
    Since π is irrational, hence π/180 which is tan1 is also irrational.

  • @ალექსანდრეოთხოზორია

    bro this is so beautifull i am crying😍😍 i would never solve this tho

  • @silvionorberto7794
    @silvionorberto7794 2 місяці тому

    Hello Presh
    If all Tangents from 1 degrre to 60 are irrational.
    What happens with the Tangent of 45 degrees??????

    • @cannot-handle-handles
      @cannot-handle-handles 2 місяці тому

      The notation in the video is misleading. For example, it suggests "tan(45°) rational => tan(46°) rational", when what is actually used is "tan(45°) rational AND tan(1°) rational => tan(46°) rational".

    • @Tulanir1
      @Tulanir1 2 місяці тому +1

      He didn't say that all tangents from 1° to 60° are irrational. He said that IF tan(1°) is rational, then tan(60°) is rational, which is a contradiction, so tan(1°) must be irrational.

    • @ercfis
      @ercfis Місяць тому

      You cannote use this solution to prove tan 45 is irrational, cause (irrational*irrational) and irrational + irrational can be rational numbers!

  • @ThePeterDislikeShow
    @ThePeterDislikeShow 2 місяці тому

    I'm thinking of using half and 1/3 angle formulas and get an algebraic expression for tan(1 deg) and then using a proof similar to proving sqrt(2) is irrational.

  • @drelijahmikail3916
    @drelijahmikail3916 2 місяці тому

    is a and b and a^2 or b^2 assumsed to be inrreducibe or indvisible? if b = 4x and a = 2y ....

  • @deept3215
    @deept3215 2 місяці тому

    I somehow totally misread the question assuming it was asking if tan(1°) could be expressed with radicals and ended up proving it.

  • @Pootycat8359
    @Pootycat8359 Місяць тому

    3:56 Ahhh! The infamous words from my old calculus text: "The proof is left as an exercise for the student."

    • @Pootycat8359
      @Pootycat8359 Місяць тому

      I'm an ENGINEER! Gimme "Simpson's Rule," gimme "Newton's Method," gimme a number, accurate to within a few percent!

  • @cauchym9883
    @cauchym9883 2 місяці тому +4

    The proof should perhaps also address that the denominator does not become 0 at any step, i.e. tan(alpha)*tan(alpha +1) != 1 for any natural number alpha. Otherwise the fraction would not be a rational number anymore.

    • @Anonymous-df8it
      @Anonymous-df8it 2 місяці тому +1

      @@Planetyyyy tan(1°)*tan(89°)?

    • @Planetyyyy
      @Planetyyyy 2 місяці тому

      @@Anonymous-df8it 🤦‍♂️my calculator was in radians. I knew that property for sine and cosine, it seems obvious to me now that it would work for sin/cos as well.

    • @Anonymous-df8it
      @Anonymous-df8it 2 місяці тому +1

      @@Planetyyyy Why are you using the facepalm emoji in response to me? Did I make a fool out of myself? Also, I've noticed that you've deleted your comment...

    • @Planetyyyy
      @Planetyyyy 2 місяці тому +1

      @@Anonymous-df8it I am facepalming my own stupidity

  • @vishalmishra3046
    @vishalmishra3046 2 місяці тому

    *More General Theorem*
    All rational numbers are Algebraic numbers and No transcendental number is rational number.
    All 6 trigonometric functions (sin, cos, tan and their inverse) are exact-value computable to an algebraic number if the angle is an integer multiple of 3 degrees. For all other integer multiples of 1 degree, the result is transcendental and not exact value computable (no real radical exact-value expression).
    So, tan 1 degree is not exact-value computable to a real-radical expression like tan 3 or 6 or 9 degrees. So, tan 1 degree is transcendental and therefore cannot be rational.

    • @vishalmishra3046
      @vishalmishra3046 2 місяці тому

      This can be deeply generalized - e.g. tan π/7 and tan π/9 are both transcendental but for any integer n, tan of n π/D is algebraic and exact-value computable if D = 2^32 - 1 = 4,294,967,295, which I think is pretty awesome if you ever tried to calculate its exact value expression for sin, cos or tan 2π/D (n=2).

  • @professorhaystacks6606
    @professorhaystacks6606 9 днів тому

    Are we allowed to accept that tan(60 degrees) = sqrt(3) without proving it? We'd need some justification from the class's set-up for that. Maybe we need to start with Euclid's postulates.

  • @satrajitghosh8162
    @satrajitghosh8162 2 місяці тому

    Let tan 1 ° be rational.
    Hereby tan 3 °
    = (3 tan 1° - tan ^ 3 (1°))
    /( 1 - 3 tan ^2 (1°)) would be rational
    Extension of this argument gives
    tan (9 °) would also be rational
    Hence tan (18°) would also be rational.
    But sin (18°) = (√ 5 - 1)/4
    Hereby cos (18°) = √ ( 10 - 2 √ 5)/4
    tan (18°) = ( √ 5 - 1) /√ ( 10 - 2 √ 5)
    this is irrational

  • @cdmcfall
    @cdmcfall 2 місяці тому

    Curious question: Prime numbers and perfect squares are mutually exclusive, so { ℙ } ⊆ { k } : { k } = {{ ℝ } \ { n^2 } ∧ n ∈ { ℤ }}). Wouldn't the proof involving { k } also prove that { ℙ } ∉ { ℚ }, making a proof exclusively for the set of prime numbers redundant?

  • @ercfis
    @ercfis Місяць тому

    For someone interested:
    You cannote use this solution to prove tan 45 is irrational, cause (irrational*irrational) and irrational + irrational can be rational numbers!

  • @santripta
    @santripta Місяць тому +1

    trivial. small angle approximation. sin 1 = 0. 0/cos 1 = 0. 0 is rational. hence, tan 1 = 0 is rational. qed

  • @dfs-comedy
    @dfs-comedy 2 місяці тому

    OK. Here's an extended question to which I don't know the answer. Is tan (a/b °) where a and b are integers ever rational except for the trivial cases of 0 and multiples of 45? I'd love to see someone answer that.
    EDIT: The Wikipedia entry on Niven's Theorem says that in fact tan(a/b °) is rational only for multiples of 45 degrees.

  • @Zabka6364
    @Zabka6364 2 місяці тому +1

    But tan(45°)=1, which is rational, and we can express it as tan(44° + 1°) and so on to tan(1°), can't we? Doesn't it proves that tan(1°) is rational? Please explain

    • @okaro6595
      @okaro6595 2 місяці тому +1

      No. One contradiction is enough to prove the assumption false.

    • @zaelgreen1670
      @zaelgreen1670 2 місяці тому +8

      If you add, subtract, multiply, or divide two known rational numbers, the result will be rational. The converse is not true. Just because the result of an operation is rational does not mean that the inputs were rational. For example, sqrt(2)sqrt(2) =2. Also, pi + (1-pi) = 1. We know that tan(45°) is rational, so if we could show that either tan(44°) or tan(1°) was rational, we could prove the other was also. In this case, they are both irrational.

    • @ronald3836
      @ronald3836 2 місяці тому +2

      No it does not. If a,b are rational, then c = (a+b)/(1-ab) is rational too. But if c is rational, that does not mean that a and b are rational.
      Just like b being rational means that b² is rational, but b² being rational does not mean that b is rational.

    • @beyondFOX
      @beyondFOX 2 місяці тому

      The contradiction is caused by "proving" something that is wrong (in this case that tan(60°) is rational. That tan(45°) is rational even though the shown "proof" isn't is not relevant to the argument. If assuming that tan(45°) is rational would lead to a similar contradiction there would be a real paradox.

    • @OzielAlvesCavalcante
      @OzielAlvesCavalcante 2 місяці тому

      Read zsoltnagy5654 comment

  • @debayanchatterjee9444
    @debayanchatterjee9444 2 місяці тому

    Can we use Taylor's series expansion , it give pi terms which indicates irrational

  • @EvidLekan
    @EvidLekan Місяць тому

    It is evident tangent of 1° is irrational if one understands the impossibility of certain constructions using only a straightedge and compass. Constructing a 1° angle is impossible with these tools, as certain angles are not constructible (see Gauss-Wantzel theorem). Consequently, their trigonometric ratios, such as sine, cosine, and tangent, are also non-constructible. Since all rational numbers are constructible, proving that a 1° angle is not constructible (spoiler: it is not, as it would require the trisection of any rational angle) leads to the conclusion that the tangent of 1° is irrational. A background in undergraduate-level geometry is recommended to fully understand this argument.

  • @gustavoabate6242
    @gustavoabate6242 2 місяці тому +2

    P.T.: sqrt(69)
    Me: sqrt(nice)

  • @ragingfred
    @ragingfred 2 місяці тому

    Could a continuous function be rational for some inputs and irrational for others?

  • @revaneshdoni7746
    @revaneshdoni7746 11 днів тому

    Well easier way is of limits, Tanx= Sinx/cosx , Tan1°= sin1°/cos1° very 1° (π/180) is very small angle therefore, sin(π/180) is just π/180 and cos of small angle is just 1. So π/180/1 is irrational hence Tan 1° is irrational.

  • @maneeshaliyanapatabendy1481
    @maneeshaliyanapatabendy1481 Місяць тому

    this video is like the Cars animated movie trilogy
    part 1 - math
    part 2 - math lore, the tragic origin of irrational numbers and the tyranny of Pythagorus
    part 3 - back to math

  • @ttakotube
    @ttakotube Місяць тому

    Well, integer+integer over (1-integer *integer) could be in the first case (tan1deg + tan1deg….) 2 over 1-1 if tan1deg is equal to 1. (We know tan 1deg is not equal to 1) I just want to pinpoint, that as a general rule you can not state, that this must be an integer, whatewer integers You are chosing… So I think it is just not true in general.

  • @Iomhar
    @Iomhar 2 місяці тому +126

    Skip the first 6 minutes of the video because it has nothing to do with the problem in question.

    • @Stephen_The_Waxing_Lyricist
      @Stephen_The_Waxing_Lyricist 2 місяці тому +40

      I disagree, as the first 6 minutes includes the proof of why root 3 is irrational, which is needed for the final proof

    • @universalphilosophy8081
      @universalphilosophy8081 2 місяці тому +18

      So you are telling that first 6 mins is irrational ? 😂😂😂

    • @zzzaphod8507
      @zzzaphod8507 2 місяці тому +5

      @@universalphilosophy8081 At least the first sqrt(35) minutes, anyway

    • @thomaskolar90
      @thomaskolar90 2 місяці тому +1

      It isn't, it provides a result tyat is used later on (and also provides a simpler example for a proof of irrationality by contradiction, which is why it's good that it's first)

    • @DavidDavid-yp3ln
      @DavidDavid-yp3ln 2 місяці тому +7

      I think the first 6 minutes provide a great context for the problem and the solution. It's not only about Maths but about logic and reasoning.

  • @theproofessayist8441
    @theproofessayist8441 Місяць тому

    is this basically a method of descent or ascent with proof by contradiction?

  • @pcmendes1973
    @pcmendes1973 Годину тому

    How about 1° =pi/180, which is irrational. Since tan 1° equals a Taylor series of form a_n * 1°^n, it’s also irrational