MathTrain
MathTrain
  • Видео 2
  • Просмотров 238 074
How High Schoolers Proved Pythagoras Using Just Trig! (and some other stuff)
How did two high school students prove the Pythagorean Theorem using only trigonometry?
This is a summary of the proof described in the article by The Guardian: "US teens say they have new proof for 2,000-year-old mathematical theorem: New Orleans students Calcea Johnson and Ne’Kiya Jackson recently presented their findings on the Pythagorean theorem"
0:00 Math News
1:14 Proof Preview
2:00 The Proof
5:54 Final Thoughts
Guardian article: www.theguardian.com/us-news/2023/mar/24/new-orleans-pythagoras-theorem-trigonometry-prove
WWLTV report: ruclips.net/video/Ka1k4i1ueNU/видео.html
AMS abstract: meetings.ams.org/math/spring2023se/meetingapp.cgi/Paper/23621
Просмотров: 206 045

Видео

A New Way to Measure Sets! (How to build a strictly monotone measure) #SoME2 #3b1b
Просмотров 32 тыс.2 года назад
*List of corrections/clarifications (including "clopen", "topologist", and "measure") below* This is a summary of about a year or two of my own personal math research. It is not complete overview, nor does it constitute peer-reviewed research. I am a teacher by trade, not a professional mathematician. This is just a fun intro to my research to see if people are interested. I also do claim to ha...

Комментарии

  • @kirkb2665
    @kirkb2665 Месяц назад

    Is a Trigonometric Proof Possible for the Theorem of Pythagoras? Michael de Villiers RUMEUS, University of Stellenbosch CONCLUDING COMMENTS To get back to the original question of whether a trigonometric proof for the theorem of Pythagoras is possible, the answer is unfortunately twofold: yes and no. 1) Yes, if we restrict the domain to positive acute angles, any valid similarity proof can be translated into a corresponding trigonometric one, or alternatively, we could use an approach like that of Zimba (2009) or Luzia (2015). 2) No, if we strictly adhere to the unit circle definitions of the trigonometric ratios as analytic functions, since that would lead to a circularity.

  • @writerightmathnation9481
    @writerightmathnation9481 3 месяца назад

    You misused the terminology. “Clopen” doesn’t mean what you indicated.

  • @bumblingbiped5966
    @bumblingbiped5966 3 месяца назад

    My understanding is that the young ladies each did separate proofs on their own. They did not come up with one proof in collaboration. The methodologies were completely different. Only one of the proofs is illustrated in this video.

  • @ferlywahyu342
    @ferlywahyu342 3 месяца назад

    She like hypasus and godel i think

  • @kirkb2665
    @kirkb2665 4 месяца назад

    Jackson's proof is an exact copy of a proof originally made by B. F. Yanney and J. A. Calderhead in 1896 which can be found at cut-the-knot, proof 60. Johnsons's proof can be found in many Calculus textbooks and is a "geometric series" that was already a proof of the pythagorean theorem. She just added an extra triangle.

  • @Taigan_HSE
    @Taigan_HSE 4 месяца назад

    One thing I wonder: is it a problem that this proof fails in the special case where alpha=45°? In that case 2*alpha is a right angle and the sides X and Z never intersect.

  • @kirkb2665
    @kirkb2665 4 месяца назад

    This is the "waffle cone" part of their proof: (I can't post a link.) Search: "math.stackexchange Is this series representation of the hypotenuse symmetric with respect to the sides of a right triangle?"

  • @MochaMela
    @MochaMela 4 месяца назад

    Jaykee the Wolf: No. They used calculus to find out the limit results for u and v. Luis: true. but good work, still. Jaykee the Wolf: not really. just like einstein ripped off maxwell's theory to shape the theory of special relativity, a little of the same is going on here.

  • @derciferreira2523
    @derciferreira2523 4 месяца назад

    I cant believe that nobody thought about this before. It´s amazing!

  • @yellowlynx
    @yellowlynx 4 месяца назад

    To summarize in three words - ingenious, simple and elegant - the highest level in mathematics.

  • @GlorifiedTruth
    @GlorifiedTruth 4 месяца назад

    .Yay! Thanks for doing this. It took me two passes through, but I get it. These gals claim not to be math whizzes, but clearly they are.

  • @superalpha
    @superalpha 5 месяцев назад

    FYI: They each came up with 2 separate trigonometric proofs on their own.

  • @pjc_deleon7290
    @pjc_deleon7290 5 месяцев назад

    what a beautiful proof, so elegant

  • @alanganek8078
    @alanganek8078 5 месяцев назад

    The 60 minute coverage said that they each discovered an independent proof and showed a drawing of some of the second proof. Please look at that one. Interested how that one works.

  • @Sstevewong36
    @Sstevewong36 5 месяцев назад

    nothing special

  • @unclerhombus
    @unclerhombus 5 месяцев назад

    Why hasn’t their paper been released yet?

  • @MichaRabiej
    @MichaRabiej 5 месяцев назад

    How this uses trigonometry? It basically uses similarity of triangles and "scaling factors". Also a cocept of infinite constructions such as this does not really fit Euclidean geometry.

  • @swampwiz
    @swampwiz 5 месяцев назад

    This is an interesting proof, but no more interesting than any other Pythagorean Theorem proof. OK, it uses the Law of Sines (big whoop), but it also uses the theorem of infinite geometric series, so it's not "just by trigonometry". But of course, the whole reason that the media is going so bonkers over it is because of the DEI agenda; if a white male had figured this out, would the media cover it?

    • @kirkb2665
      @kirkb2665 4 месяца назад

      Jackson's proof is an exact copy of a proof originally made by B. F. Yanney and J. A. Calderhead in 1896 which can be found at cut-the-knot, proof 60. Johnson's proof can be found in many Calculus textbooks and is a "geometric series" that was already a proof of the Pythagorean theorem. She just added an extra triangle.

  • @Luigimenta
    @Luigimenta 5 месяцев назад

    Questa cosa non solo è fichissima, e non (almeno apparentemente) tautologica. In matematica e geometria si dice anche "elegante". Ma soprattutto è molto greca, molto pitagorica, molto egizia per come immaginiamo quel mondo, che ancora non amava scrivere tutto, e la cui vita media era molto breve. In altre parole, è possibile che Johnson e Jackson, più brave delle sorelle Williams, abbiano trovato l'origine del Teorema di Pitagora, la sua dimostrazione che in realtà costituisce la sua intuizione logico matematica.

  • @kickinghorse2405
    @kickinghorse2405 5 месяцев назад

    Cool! 😎 #'s dude! (. . . and dude-ettes! :)

  • @calicoesblue4703
    @calicoesblue4703 5 месяцев назад

    Nice💯💯💯

  • @CharIie83
    @CharIie83 5 месяцев назад

    interesting

  • @tenzinlhakpa1672
    @tenzinlhakpa1672 5 месяцев назад

    That’s pure genius ❤

  • @Jhowson4
    @Jhowson4 5 месяцев назад

    If the pathagorean theorm is proved, does it then become the law of Pythagoras?

  • @jeremiahbeber9181
    @jeremiahbeber9181 5 месяцев назад

    This proof only works if the triangle is not isosceles. If a=b, then r=1 and the geometric series doesn’t converge.

    • @mzg147
      @mzg147 5 месяцев назад

      You don't need the staircase at all if a=b. As 2α = 90°, by the definition of sine, sin(2α) = 1. Either way, the formula sin(2α) = 2ab/(a²+b²) holds. The rest of the proof after the staircase remains unchanged. I'm sure in the original paper this was explained thoroughly.

  • @UrMahmKnows
    @UrMahmKnows 5 месяцев назад

    I looked in a endless circle, lol, for this. Thank you for finding it.

  • @shoot4thesingle
    @shoot4thesingle 5 месяцев назад

    have you ever heard of the name ZIMBA? Go do some research!

  • @toto-yf8tc
    @toto-yf8tc 5 месяцев назад

    There is absolutely no need of trigonometry in this proof. The orthogonal rectangle with one side being 2a is homotethic to the original one with scale 2a/b so no need to use any trigonometry. Then once you have X and Z you can see Z^2 = X^2+c^2 proving the Pythagorean theorem without using the sin(2 alpha).

    • @kirkb2665
      @kirkb2665 4 месяца назад

      Jackson's proof is an exact copy of a proof originally made by B. F. Yanney and J. A. Calderhead in 1896 which can be found at cut-the-knot, proof 60. Johnsons's proof can be found in many Calculus textbooks and is a "geometric series" that was already proof of the pythagorean theorem. She just added an extra triangle.

  • @TheRevAlokSingh
    @TheRevAlokSingh 5 месяцев назад

    can you add ‘nonstandard analysis’ to the description?

  • @AllisterSanchez
    @AllisterSanchez 6 месяцев назад

    Very clever proof... But, I'm not sure the usage of the geometric series makes it a purely trigonometric solution.

  • @davidgagen9856
    @davidgagen9856 9 месяцев назад

    Limit theory...sum to infinity...."using only trig!" Hardly.

  • @samueldeandrade8535
    @samueldeandrade8535 10 месяцев назад

    Where's this guy? Did he stop making videos?

    • @MathTrain1
      @MathTrain1 6 месяцев назад

      Haha I still exist but life has gotten in the way of video making

    • @samueldeandrade8535
      @samueldeandrade8535 6 месяцев назад

      @@MathTrain1 owun. That's ... little sad. Well, I hope you are ok. Big hug from Brasil.

    • @purplenanite
      @purplenanite 6 месяцев назад

      @@MathTrain1 best of luck!

  • @ТимофейГорчаков-ч2г
    @ТимофейГорчаков-ч2г 11 месяцев назад

    The idea and visual is intresting, but in the end of the day it feels frustrating, that the subject of the topic came out to be just specific subsets of plane. I think 3rd question should be the 1st one. Only after dealing with it other questions has meaning. The definition is pretty poor. Feels like it useful only in the cases when there is no special intrigue about sets. If the set contains countable number of points it's already fails. But it's just my aesthetic of feeling math. Considering the title of the video.

  • @TheChoralist
    @TheChoralist Год назад

    I'm gonna say what no one will. I see a lot of assholes in this comment section who are trying to pretend to be soooooo smart and are so bothered by the fact two teenage black girls have discovered something so beautiful and great so some of y'all just have to try and disprove it or belittle it in any way u can and it's really pathetic!!😂😂 kudos to these young queens and may they go far far far beyond the stars in life and ignore haters trying to pull them down!! I myself cannot wait for that official peer reviewed paper to come out published to shut the lot of you tiny dick incels down!!!

    • @kirkb2665
      @kirkb2665 5 месяцев назад

      If they had claimed that they made "a proof for the Pythagorean theorem with an exception for isosceles triangles" that would be an acceptable claim. There are literally hundreds of proofs of the Pythagorean theory. Stating that they made a "proof using just trigonometry" is false. So you can call people assholes if you like, but their claim is false.

  • @broccoloodle
    @broccoloodle Год назад

    Too many flaws. Will update this comment once I finish my exam this week

    • @MathTrain1
      @MathTrain1 11 месяцев назад

      You done yet?

    • @broccoloodle
      @broccoloodle 11 месяцев назад

      @@MathTrain1 before 06:00 02:56 - A contains all points of B does not necessarily mean A is larger than B. One example is B = (0, 1) and A = (-inf, +inf), these two are homeomorphic then equal. Even if B = (0, 1), A = [0, 1], there is also a bijection between A and B 05:33 - f(x) must be continuous to conclude that f(x_0) = lim_{x -> x_0} f(x) 05:40 - you have not proved that area is preserved under translation/rotation, and area is additive (area(A cup B) = area(A) + area(B) with A B disjoint)

    • @broccoloodle
      @broccoloodle 11 месяцев назад

      @@MathTrain1 Just watched the whole video, and the idea is very interesting. The first term corresponding to omega^2 recovers the usual Lebesgue measure. I think this idea will be useful when we need to subtract infinity from infinity (in the usual analysis sense)

    • @broccoloodle
      @broccoloodle 10 месяцев назад

      @@MathTrain1 fyi, this construction I believe is a special case of Hausdorff outer measure.

  • @atimholt
    @atimholt Год назад

    I was hoping you'd mention fractional dimensions. I've pondered over the concepts you've presented here before, though I never took it anywhere.

  • @perle.1715
    @perle.1715 Год назад

    just noticed that the constant term of your polynomial is exactly baez's so-called "euler-schanuel characteristic"! fascinating stuff!!

  • @MindYourDecisions
    @MindYourDecisions Год назад

    Wonderful video. No one is talking about the excellent pencil animations. Amazing work.

  • @Tumbolisu
    @Tumbolisu Год назад

    Right before you showed your first take on μ, I immediately started thinking about the same idea. However, instead of using the letter ω to differentiate between different dimensional parts, I simply thought of an infinitely long vector where the nth element is for the nth dimension. (With the count starting at zero, of course.) So what you call 20ω²+5ω+1, I would call (1, 5, 20, 0, 0, 0, ...). To compare two vectors, you just use a lexicographic ordering. The multiplication of two polynomials is the only non-obvious thing here. Two vectors can be multiplied by calculating the outer product and then summing up elements along the minor diagonals. I wonder if there is an established operation for that? Other than that, this vector representation does not open up any further questions about derivates, integrals, fractal dimensions, etc. I can't really see how those would work or what they would mean anyway, tbh.

    • @angeldude101
      @angeldude101 5 месяцев назад

      Well, polynomials are vectors! Really the only difference beyond how they're usually visualised is that polynomials have specific multiplication rules that don't apply to other types of vectors, though they don't conflict with them being vectors either.

  • @jaafars.mahdawi6911
    @jaafars.mahdawi6911 Год назад

    Math is all about creativity and this video does just that! Keep it up, my friend!

  • @MayankKumar-so6sr
    @MayankKumar-so6sr Год назад

    I was a little confused with the example of circle at 17:48 (might have to re-watch this a few times and experiment myself a little bit) with 2 points not included... because I understand that is we are including a circle with it's circumference, the circumference when opened up into a line segment, it would have a open hole on one end and closed one on other but when closed it would have no hole since the closed end would overlap with closed one hence completing the circumference, but I still cannot wrap my head around how would I do it if I was not including the circumference like you did at 17:48. But you did intrigue my brain and at the end I do agree with the way this formula works... I might come back to this video again and spend a couple of hours sketching and scribbling things around on a pad.... Though the most important thing I might have taken from this is my brain at this point at least works like a topologist, cos it feels like when we are trying to add area and circumference and the points together what we are doing is we are removing any additional points or like that we might have counted twice... like we do when we are counting items in a Venn diagram, we add the number of elements in both sets and subtract the elements common in both to get the count of a union of both sets.... And this approach of sets the my brain prefers to take is what makes me think that I might be thinking like a topologist... Though I am pretty sure I am no way as good an intellectual as an actual topologist.... But thanks a tonne again for this video.

  • @HoSza1
    @HoSza1 Год назад

    It's most simple to use the law of cosines (LoC) directly to prove the Pythagorean theorem, if someone wants a purely trigonometric way. LoC itself has a trigonometric proof itself, check the Wikipedia article for it: the proof does not use the sin²x+cos²x=1 identity anywhere, so it is not circular. Why they thought then trigonometric proofs were impossible? Or am I missing something? Someone please enlighten me!

    • @mzg147
      @mzg147 5 месяцев назад

      law of cosines is basically a generalization of the Pythagorean theorem, so i don't think it counts

  • @alomirk2812
    @alomirk2812 Год назад

    what about weird and undefined behavior like the se of all rational point between (0,0) and (1,1) or lines from infinityor you have the line from 0 to 1 and remove the points which are 1/2^n

    • @lake5044
      @lake5044 Год назад

      Very interesting questions... I was just thinking, how does this affect the sizes of infinities. The finite number of points is clearly enumerable, while the omega's are not. How do we write w*w as a line with w length, vs w*w as a square with length 1. Same for squares, w*w*w as an infinite plane vs a cube of sides 1. And can we even compare the half plane x>0 with the whole plane? I'd argue that it's impossible since translations shouldn't affect area but translation will inevitably affect any half plane "area".

    • @Azyo64
      @Azyo64 Год назад

      Good question about the size and proprieties of infinities. The set of all rationals Q in countably infinite, while ω is uncountably infinite (it is equivalent to the real numbers R), so ω > Q. In that sense, the set of all rationals are all points and no 1D line ω. Say C is a countable infinity, then the polynomial for Q would be p(ω) = C. (countably infinite points) Also, ω represent a line segment of size 1, so an infinite line could be measured with a countably infinite number of these: p(ω) = Cω. It is also important to distinguish between a measure of length (here ω) and an amount of something (C or U maybe for a uncountable infinity). There are case where they could be considered equal (or equivalent) but that would not always be the case. You could for example take an infinite line defined by p(ω) = Uω, then warp the line into a square of side length 1 so that every point is covered by the line. But you could just as well warp it into a rectangle of 1 x 2, or even a square. As long as U is not defined in term of the measure ω, then Uω has arguably no other measure the Uω and its dimension is undefined. (ω was created specifically to define the size and dimensionality.)

  • @L13832
    @L13832 Год назад

    This proof is purely trigonometric which is impressive.

    • @kirkb2665
      @kirkb2665 5 месяцев назад

      It isn't purely trigonometric as it relies on series which isn't trig.

  • @petrkdn8224
    @petrkdn8224 Год назад

    the way i think about it, if they are the same, why need to specify if the boundries are closed or open? when it doesnt change anything? thats like saying A is blue, and B is yellow, tell me which is larger? neither, they are the same, the colour doesnt affect it. This is why i say A is larger than B

  • @asherjohnson633
    @asherjohnson633 Год назад

    My question is, how. How could it be that that some of the most brilliant minds of the past could not figure it out, while 2 brilliant high schoolers could?

    • @kirkb2665
      @kirkb2665 5 месяцев назад

      Because it's not what it claims to be. It's not "solely trig" and is really a geometric solution and limit theory with the veneer of trig.

  • @ddystopia8091
    @ddystopia8091 Год назад

    What about bijection? If there are continuously many points in A and B, then we could find a bijection from A to B...

  • @dansantos7307
    @dansantos7307 Год назад

    Suppose angle A and angle B are not known, then angle A = tan^-1(a/b) and angle B = tan^-1(b/a). So, then, c^2 = 2ab/sin2A = 2ab/sin2B.