Thales Proportionality Theorem

Поделиться
HTML-код
  • Опубликовано: 26 ноя 2024

Комментарии • 159

  • @blackpenredpen
    @blackpenredpen 3 года назад +30

    5:27 pro skater in the making!

  • @TJStellmach
    @TJStellmach 3 года назад +84

    I foresee a lot more comments saying "just use similar triangles," not understanding that we don't know the properties of similar triangles until we prove them (Thales' theorem being one way to do that). Notice that nowhere here do we even use the concepts of angles having _measures_ outside of perpendicularity and parallelism.

    • @goodplacetostop2973
      @goodplacetostop2973 3 года назад +5

      Thank you

    • @matchedimpedance
      @matchedimpedance 3 года назад +10

      No. He also uses the idea that the area of a triangle is always 1/2 base * height. We take that for granted but it is not a trivial matter.

    • @obnoxious2471
      @obnoxious2471 3 года назад

      @@goodplacetostop2973 are you an official account or just an active viewer?

    • @goodplacetostop2973
      @goodplacetostop2973 3 года назад +4

      @@obnoxious2471 An active viewer

    • @kumarsaurav8885
      @kumarsaurav8885 3 года назад +13

      For people having a sudden Cartesian style loss of faith in what they know, here’s a path to this proof from Euclid’s postulates:
      1) Define by the area of a rectangle the products of its sides.
      2) Show that the area of a parallelogram having the same base as a rectangle between a pair of its parallel sides is the same as that of a rectangle by showing that the two triangles so created are congruent.
      3) Extend 2 to any parallelograms between same parallel lines drawn on same bases.
      4) Show area of triangle is half the area of parallelogram drawn on its base.
      5) Use above to show area of a triangle is half the product of its base and height.
      We are now in a position to justify Michael’s proof.

  • @MathElite
    @MathElite 3 года назад +17

    That's a super interesting geometry problem.
    I never thought of proving that

  • @andreivila7607
    @andreivila7607 3 года назад +56

    I can sense an IMO geometry coming :) Hope it actually happens...

  • @AnkhArcRod
    @AnkhArcRod 3 года назад +10

    Neat! I always find it hard to imagine the constructions! In this case, there are obviously other ways to prove the identity...but constructions are mainstay of harder geometry problems!

  • @goodplacetostop2973
    @goodplacetostop2973 3 года назад +10

    5:26 Good Place To 🛹

  • @indubansal9398
    @indubansal9398 3 года назад +20

    Hi sir big fan of you and mathematics

  • @marouaniAymen
    @marouaniAymen 3 года назад +3

    I really liked the proof, it's more exciting than using similar triangles

  • @tobiaskorn9633
    @tobiaskorn9633 3 года назад +1

    I would construct the height of the triangle ABC with respect to the side A. Then I would call the angle between AB and the height Alpha, the angle between AC Beta and the intersection point from the height with DE as F and the intersection point with BC as G. Then I could write following equations:
    AD = AF / cos (Alpha)
    AB = AG / cos (Alpha)
    AC = AF / cos (Beta)
    AE = AG / cos (Beta)
    The by use of this equations it will be clear that AD/AB = AF/AG = AC/AE

    • @mrhatman675
      @mrhatman675 3 года назад

      Your proof is invalid cause tan cosin and sin actually originate from triangle similarity which is in turn proved by thales theorem

  • @lightyagami1752
    @lightyagami1752 Год назад +1

    To me using similarity makes this trivial. The similarity of ADE and ABC is more "obvious" than Thales so I'm not sure why it isn't natural to start with that.
    AB/AD = AC/AE
    (AD+DB)/AD = (AE+EC)/AE
    1 + DB/AD = 1 + EC/AE
    DB/AD = EC/AE
    AD/BD = AE/EC (QED)

  • @petersievert6830
    @petersievert6830 3 года назад +1

    Have the same problem, Michael. Not being that much into geometry, I often present my pupils problems from other fields, that I am more enthusiastic about ;-)

  • @captainsnake8515
    @captainsnake8515 3 года назад +1

    Glad your covering more geometry. I’ve been taking classes in advance combinatorics,and your other videos have already strengthened my algebra and NT, so geo is by far my worst topic. Can’t wait to see more!

  • @patrickpablo217
    @patrickpablo217 3 года назад

    Cool! You can use almost the exact same picture to prove the Triangle Areas Ladder Problem, and then use the Thales Proportionality Theorem itself to prove that the Triangle Areas Ladder Problem solution works for all triangles (right, acute, and obtuse) without needing to prove the cases separately.

  • @beegdigit9811
    @beegdigit9811 3 года назад +5

    5:27 vlogger Micheal

  • @diegoalbertoduransalas4806
    @diegoalbertoduransalas4806 3 года назад +1

    Great :))
    I just took up an Elementary Geometry book as well, hope to see more of these videos.
    Thank you :))

  • @_judge_me_not
    @_judge_me_not 3 года назад +2

    Just draw EF || BD
    Create parallelogram
    Prove ADE similar to ABC

  • @ilickcatnip
    @ilickcatnip 3 года назад +1

    In many textbooks in India this is actually called 'basic proportionality theorem' or simply BPT and idk why.

  • @stvp68
    @stvp68 3 года назад +2

    I’d like to see you look at Newton’s geometrical calculus proofs

  • @kultek
    @kultek 3 года назад

    Thank you. This helps me get a better insight into a lot of geometry proofs. Very elegant.

  • @ra-hu3lu
    @ra-hu3lu 3 года назад +2

    Continue your abstract algebra playlist and do advance abstract algebra

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

    Thank you for solution. It was very helpful for me.

  • @ПетрКурнев
    @ПетрКурнев 7 месяцев назад

    The proof is the best of the best 💥

  • @jackhandma1011
    @jackhandma1011 3 года назад +4

    Really cool. I always use similarity and didn't even know the proof 😂

  • @xspeedox
    @xspeedox 3 года назад +1

    Id derive from the sine theorem. Or similar triangles.

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

    can we always drop a perpendicular from any vertex of a trinagle to the base?

  • @goodplacetostop2973
    @goodplacetostop2973 3 года назад +12

    HOMEWORK : Let S be the set of integers that represent the number of intersections of some four distinct lines in the plane. List the elements of S in ascending order.
    SOURCE : 2010 Lexington Mathematical Tournament

    • @Kamyak
      @Kamyak 3 года назад +5

      Maximum no. of points of intersection will be 4(4-1)/2=6
      So S can contain only integers between 0 and 6 both inclusive
      0 points of intersection when all lines are parallel.
      1 when all lines are coincident.
      2 ( I think its not possible. If anyone knows then do tell)
      3 when three of the lines are parallel and fourth intersects all three parallel ones
      4 when there are two pairs of parallel lines.
      5 when two lines are parallel and remaining two are not parallel to any other.
      6 is maximum possible.
      So S={0,1,3,4,5,6}

    • @goodplacetostop2973
      @goodplacetostop2973 3 года назад +2

      @@Kamyak SOLUTION
      0: all four lines parallel;
      1. all four lines passing through the same point;
      3: three lines parallel, and the fourth passing through all of them (as a transversal);
      4: two pairs of parallel lines, forming a parallelogram;
      5: two parallel lines with two transversals that intersect off the parallel lines;
      6: four lines, no two parallel, no three passing through the same point.
      To see why we can’t have exactly two intersections, start by drawing two intersecting lines. If we draw a third line, it cannot intersect both lines in different places, or else we get 3 intersections, so it must either be parallel to one of the lines, or pass through the point of intersection of the first two. In the first case, we have two parallel lines and a transversal, but the fourth line will have to intersect one of the lines somewhere, giving more than 2 intersections. In the second case, the fourth line cannot pass through the point of intersection of the first three lines, or else we only have 1 intersection, but it can be parallel to at most one of the three lines, so we’ll get at least 2 more intersections with the first three, for a total of at least 3 intersections. Either way, it’s impossible to get exactly two, giving our answer.

    • @aadfg0
      @aadfg0 3 года назад

      @@Kamyak 0, 1, 3, 4, 5, 6 are easy to construct, but you cannot get 2. Define a~b if a, b are parallel. Since 1 equivalence class means 0 intersections and ≥3 equivalence classes means ≥3(3-1)/2 = 3 intersections, we must have 2 classes with sizes 3 and 1, giving 3 intersections, or 2 and 2, giving 4 intersections.

  • @goodplacetostart9099
    @goodplacetostart9099 3 года назад +1

    Good Place To Start at 5:27

  • @cernejr
    @cernejr 3 года назад +3

    Wow. Thales lived around 600BC. What would the Ancient Greeks think of us today?

    • @sharpnova2
      @sharpnova2 3 года назад

      they would see us as gods until they properly accustomed themselves to modern tech. then they would be similar to us

  • @mohammedelhouari6468
    @mohammedelhouari6468 3 года назад

    Fantastic. Congratulations !

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

    is it possible to prove it without using the concept of area? I think it would be a stronger proof.

  • @noahtaul
    @noahtaul 3 года назад +4

    In a lot of these problems it's not clear if you're going for exploration or just for the fastest (or most standard) proof possible. If the latter, you can say that ABC~ADE, so AB/AD=AC/AE, then subtracting 1 (since AB=AD+DB and AC=AE+EC) gives the answer.

    • @Kamyak
      @Kamyak 3 года назад +4

      Similarity of triangles is proved using BPT and congruency(of triangles not congruence modulo).

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

    isnt thales theorem more of paralels and secant lines? the segments between these paralels are proportional

  • @jamesfortune243
    @jamesfortune243 3 года назад +1

    Flip horizontally over vertical altitude to A, leaving original triangle there too. Trivial case or wolog as you've shown. Similar triangles ADE' and ABC' by parallel theorems. AD/AE' = (AD+ DB) / (AE' + E'C'). Cross multiply and solving gives desired result after comparison of lengths to original.

  • @xicufwm
    @xicufwm Год назад +1

    1000th like and I'm proud of it

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

    This proof is more difficult a¡ than it seems, as it would first require developing a theory about areas, which is very complicated, and the theory about lengths and proportions is much more fundamental.

  • @syedrehanfida
    @syedrehanfida 3 года назад

    Looking forward for more skating clips :)

  • @АндрейВасин-в7я
    @АндрейВасин-в7я 3 года назад

    Even though the proof is really elegant, it kinda have the same problem as most of the proofs of this simple elementary geometry facts. For this proof to be valid, you need to prove that area of rectangle is m*n. The standard proof that I know is dividing rectangle in small squares and taking limit for irrational sides. The standard proof of Thales Theorem is pretty much the same: you divide one segments into many smaller segments and take limit for irrational lengths. So this proof just uses the fact of similar complexity as it tries to prove.

  • @tomatrix7525
    @tomatrix7525 3 года назад

    Guys, similar triangles is a logical fallacy because we don’t know similar triangles at this level yet. It’s like using running to help you walk.

  • @laurynastruskauskas6586
    @laurynastruskauskas6586 3 года назад +1

    damn i actually want to get better at geometry too, nice to see that there might be some interesting geometry problems comming up, cant wait.

  • @curtiswfranks
    @curtiswfranks 3 года назад

    How did you draw such straight lines?

  • @MrRyanroberson1
    @MrRyanroberson1 3 года назад

    Definitely elegant

  • @prathmeshraut1616
    @prathmeshraut1616 3 года назад +2

    Nice video

  • @sharpmind2869
    @sharpmind2869 3 года назад +1

    This is the same proof as given in my 10th class maths book , nice video though. 😊😊

  • @joshuagiusti1280
    @joshuagiusti1280 3 года назад

    Are there infinitely many primes of the form n^2+1 where n is a natural number?

    • @aadfg0
      @aadfg0 3 года назад +1

      This is an open problem: en.wikipedia.org/wiki/Landau%27s_problems

  • @joshuagiusti1280
    @joshuagiusti1280 3 года назад +1

    Prove or disprove that for all natural number n bigger or equal to 5, 6^n+1 is composite.

    • @joshuagiusti1280
      @joshuagiusti1280 3 года назад

      Source: I don't know...

    • @sudeepsingh1298
      @sudeepsingh1298 3 года назад

      If n has an odd part(other than 1), the term is composite. As such , we only need to evaluate for n=2^q, where q is a natural no greater than/equal to 3. This is where I am stuck. Care to provide any hints?

    • @joshuagiusti1280
      @joshuagiusti1280 3 года назад

      @@sudeepsingh1298 You can use prove by induction. Also notice that if you use n=k+1 (k is a natural number) use Contradiction Proof, and use the form of all primes except 2 and 3 to prove that is impossible. That is, use the fact that all primes (other than 2 and 3) they're of the form 6m+1 or 6m-1 right after the Induction Hypothesis, but you'll get a contradiction.

    • @sudeepsingh1298
      @sudeepsingh1298 3 года назад

      @@joshuagiusti1280 How have you got a contradiction using induction? Can you provide the solution?

    • @TechToppers
      @TechToppers 3 года назад

      Hmm... For odd n, it can be factorized easily. For even *n* we have to do some work...

  • @sharpnova2
    @sharpnova2 3 года назад

    I'm a little concerned with your use of the triangle area formula here.

  • @opresopre
    @opresopre 3 года назад

    Neat proof!

  • @rendyadinata5534
    @rendyadinata5534 3 года назад +2

    Here is a much faster way (I think), since triangle ADE and ABC are similar , AD/(AD+DB)= AE/(AE+EC) => DB/AD +1= EC/AE+1 => AD/BD= AE/EC.

    • @TechToppers
      @TechToppers 3 года назад

      The ratios you are setting up requires Thales theorem for a proof.

  • @shashwatranjan7437
    @shashwatranjan7437 3 года назад

    Demn , in India you learn the proof in 10 grade (15yr olds) , didnt expected that u will make a video on it

  • @theguythatmakesyoumad3834
    @theguythatmakesyoumad3834 3 года назад

    Why not simply use similar triangles?

    • @lc1777
      @lc1777 3 года назад

      Because similar triangles are derifed from Thales theorem 😃

  • @kriswillems5661
    @kriswillems5661 3 года назад +3

    Sometimes it's difficult for an engineer to see what's going on in a mathematician's mind. If you scale up something the scale factor is equal in all directions and all measurement also scale up with the same factor. I am surprised this even needs proof.

    • @TJStellmach
      @TJStellmach 3 года назад +7

      This proof (or the equivalent proof about similar triangles) is how we know that this construction with parallel lines represents the kind of scaling you describe, and isn't, for example, some kind of optical illusion.

    • @segmentsAndCurves
      @segmentsAndCurves 3 года назад +5

      @Anton Melnyk I think similar triangles are proven by Thales Proportionality Theorem, not the other way around.

    • @HaiNguyen-qx3db
      @HaiNguyen-qx3db 3 года назад

      @@segmentsAndCurves And that is how we learn about criteria of similar triangles at grade 8 here

    • @segmentsAndCurves
      @segmentsAndCurves 3 года назад

      @Anton Melnyk Which axioms were you mention.

    • @Billlakeview
      @Billlakeview 3 года назад

      To me, the issue is about a broader problem in mathematics....to assume the least via postulates and be able to prove everything while moving from the most basic to the more complex. For example, in most high school geometry courses in the USA, parallelism is covered before congruent triangles requiring 2 postulates , one to conclude lines parallel and another to get conclusions given parallel lines. However, if you do congruent triangles first, you only need SAS to eventually prove the theorem that alternate interior angles congruent implies parallelism. BTW, SAS is enough to prove most of the other congruent triangles results like ASA and SSS. Doing Thales Prop theorem before the similarity theorems means you don’t have to make postulates on similarity. But if you are not trying to build a logical system based on the least number of assumptions, the argument can be made that it is more important to make more assumptions as long as they are based on generalizing experimental data. Sounds a lot like the argument of science and applied math vs pure mathematics....

  • @lc1777
    @lc1777 3 года назад

    Geometry is ridiculously difficult, how do you guess the constructions is beyond me

  • @xy9439
    @xy9439 3 года назад +10

    That pronunciation of "Thales", though

    • @nikitakipriyanov7260
      @nikitakipriyanov7260 3 года назад +1

      @@ManwithaCat In Russia we used to call him Фалес, which sounds, well, first sound is clearly like "F". Never knew its name starts with theta Θ. It's a pity teachers don't teach that stuff. "Thales" was so unusual to me so I even didn't recognized him until I saw a statement of the theorem.

    • @Myrus_MBG
      @Myrus_MBG 3 года назад +3

      Man with a Cat I personally pronounce it /tʰɑ.ləs/ just b/c I’m a little too obsessed with ancient languages in the PIE family. I also say /py.tʰa.ɡo.ɾas/ though, admittedly just to be slightly annoying to my teacher.

  • @Lukasz.Skowron
    @Lukasz.Skowron 3 года назад

    What if angle at A is obtuse? Isn't that proof only valid if A is acute?

    • @HaiNguyen-qx3db
      @HaiNguyen-qx3db 3 года назад

      Nah. The proof is still valid if A was acute.

    • @Lukasz.Skowron
      @Lukasz.Skowron 3 года назад

      @@HaiNguyen-qx3db Yes, but the altitudes would drop outside ABC. I know it works even though. But I think the proof would look slightly differently with different points etc.

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

    How is this man so cool on the skateboard yet still feels like a teacher when he rides it?

  • @lucho2868
    @lucho2868 3 года назад

    glad to see you found the way out the forest

  • @gordonstull1962
    @gordonstull1962 3 года назад

    That is cool... I can see something here that I didn't realize before, in that the pulling-force,(to pull-straight) can be plotted in a crystalline structure as a balanced closed-looped particle-flow. Is there a formula that could show a triangle building itself... like in the case of the RNA & DNA molecule? Would that even be possible? Love your videos...

  • @luna9200
    @luna9200 3 года назад

    Nice!

  • @ezequielangelucci1263
    @ezequielangelucci1263 3 года назад

    hi michael, in a lot of videos you finish it too fast and i cant see the board because the video ends with you in front of it
    can you in future videos wait one second to finish the video so i can stop and see?
    srry for my english

    • @ezequielangelucci1263
      @ezequielangelucci1263 3 года назад

      great video : D

    • @ezequielangelucci1263
      @ezequielangelucci1263 3 года назад

      en español: ¿podrías dejar un segundo con el pizarrón en la pantalla sin que te pongas en frente así se ve bien claro todo antes de que finalices el video? muchas veces no llego a leer lo que aparece y necesito ayuda visual ya que mi ingles no es muy bueno que digamos xD.

  • @jesusthroughmary
    @jesusthroughmary 3 года назад

    I would have labeled it DB to be consistent

  • @ApresSavant
    @ApresSavant 3 года назад +1

    Why such an unnecessarily convoluted route?
    If we know ABC, we know ADE is similar. So the ratio of AB/AD would be AC/AE too. Obviously also AB=AD+DB, and AC=AE+EC.
    Substituting in each we quickly see that (DB/AD +1) = (EC/AE +1), and reducing (cancelling the two ones and inverting), we have the desired ratio.

    • @TechToppers
      @TechToppers 3 года назад +2

      The proof that those ratios of similar triangles are equal comes from Thales theorem. He did it like to avoid circular reasoning.

    • @ApresSavant
      @ApresSavant 3 года назад +1

      But that in itself is circular reasoning, as the method he used required the area calculation, which is ultimately based upon squaring the triangle with a mated rotated similar triangle. The reality is that the similar triangles argument can be derived by so many other routes, and stands alone with results like Thales as corollaries..

    • @lc1777
      @lc1777 3 года назад

      @@ApresSavant can't you derive the area by concept of congruent triangles?

    • @TechToppers
      @TechToppers 3 года назад

      @@ApresSavant Area of a triangle comes from well known theorems and it really doesn't use similar triangles. If I'm wrong, do correct me mate.

  • @vanandreyambalong628
    @vanandreyambalong628 3 года назад +1

    First comment that didn't time travelled

  • @CM63_France
    @CM63_France 3 года назад

    Hi,
    For fun:
    2 "ok, great",
    1 "so let's may be go ahead and".

  • @markbracegirdle7110
    @markbracegirdle7110 2 года назад

    Can't you just say that △ADE is similar to △ABC? Then it follows immediately.

  • @Stelios2711
    @Stelios2711 3 года назад +1

    Nice, but the idea behind that proof was not motivated.

  • @taufiqutomo
    @taufiqutomo 3 года назад +1

    What's with these recently declassified videos? There is (or at least was) a secret mathematical society out there.

  • @Jimothy-723
    @Jimothy-723 2 года назад

    cool. now for your next trick:
    solve the Thales Theorem Arithmeticaly, and not Algibraically.

  • @srajanverma9064
    @srajanverma9064 3 года назад +1

    We learn this in grade 10th ( in India)

    • @segmentsAndCurves
      @segmentsAndCurves 3 года назад

      We learn this in grade 8th (in Vietnam)

    • @dariuschitu3254
      @dariuschitu3254 3 года назад

      We learn this in 6th grade (Romania)

    • @srajanverma9064
      @srajanverma9064 3 года назад

      If that is the case, why is this man, who generally deals with college physics or higher secondary maths or olympiads...teaching this!!

    • @dariuschitu3254
      @dariuschitu3254 3 года назад +1

      @@srajanverma9064 I think because it relates to much more complex topics (if you're using The Fundamental Theorem of Similarity), like Ceva's Th., Menelaus's Th., Van Aubel's Th., Theorem of the transversal, Steiner's Th., Carnot's Lemma, Stewart's Lemma etc.

    • @segmentsAndCurves
      @segmentsAndCurves 3 года назад

      @@dariuschitu3254 Indeed.

  • @egillandersson1780
    @egillandersson1780 3 года назад

    It is always a good idea to start with hippies 🧝‍♂️🧝‍♀️

  • @edan6758
    @edan6758 3 года назад +5

    In my secondary textbook they said:” Admitted, No prove” :))

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

    it can also be proved by showing the similarity between that small upper triangle and the big one.

  • @avyuktsinghraghuvanshi2498
    @avyuktsinghraghuvanshi2498 3 года назад

    pove that : 123456789123456789.......123456789 is neither a perfect square or a cube

  • @nickjackson3061
    @nickjackson3061 3 года назад +2

    Me who seen this and studied this proof in class 10th:- "Too easy"

    • @lc1777
      @lc1777 3 года назад

      Yeah yeah , you "read" this proof, you didn't derive it yourself, ofcourse if you read it , it will be easy

  • @ARKGAMING
    @ARKGAMING 3 года назад +1

    Should be quite easy with similar triangles from the corresponding angles based on the parrallel lines

    • @TJStellmach
      @TJStellmach 3 года назад +2

      Okay, then you need to prove at some point that that's a property of similar triangles. Thales' theorem is equivalent to that.

    • @dqrk0
      @dqrk0 3 года назад

      u cant prove any of the rules for similar triangles without using thales theorem, so u cant use it

  • @LearnwithTejeshwar
    @LearnwithTejeshwar 3 года назад

    This is our class 10th board exam most important question.

  • @AnmolTheMathSailor
    @AnmolTheMathSailor 3 года назад

    Hey sir big fan can I accept a heart from you 🙂

    • @srijanbhowmick9570
      @srijanbhowmick9570 3 года назад +2

      you can only accept the heart when he gives you the heart 🤣

    • @AnmolTheMathSailor
      @AnmolTheMathSailor 3 года назад

      @@srijanbhowmick9570 yup but he can even reply on 😪

  • @timetraveller2818
    @timetraveller2818 3 года назад +1

    hello present human you might notice that the publish date of this video is less than the time i commented so i have proven that i am time traveling
    Well ,you see there's people that think that this video was private
    Don't believe them!

    • @Kamyak
      @Kamyak 3 года назад +1

      Ya it's just that this video was hidden and obviously time travelling is not possible🙄😒😒
      Well I am commenting too before it was published

    • @timetraveller2818
      @timetraveller2818 3 года назад

      @@Kamyak bruh it's a joke

    • @reshmikuntichandra4535
      @reshmikuntichandra4535 3 года назад

      @@Kamyak Though it's a joke,time travel is hypothetically possible

    • @timetraveller2818
      @timetraveller2818 3 года назад

      @@reshmikuntichandra4535 yea time travelling to the future is possible.

  • @anishgupta3992
    @anishgupta3992 3 года назад +1

    the triangles are similar so AD/(AD + DB) = AE/(AE+EC). Multiply denominators and cancel to find AD*EC = BD*AE. Divide both sides by BD*EC to find AD/BD = AE/AC as required. Not sure why this video is so long.

    • @TJStellmach
      @TJStellmach 3 года назад +5

      The facts you're using about similar triangles are also a theorem that ultimately requires proof. Thales' theorem is essentially equivalent to that.

    • @anishgupta3992
      @anishgupta3992 3 года назад

      @@TJStellmach Thanks, though it is not at all clear to me beforehand where Thales' theorem fits in the order in which we develop elementary geometry. I'd have liked the uploader to mention this.

  • @trueriver1950
    @trueriver1950 3 года назад

    Too complicated.
    Triangles ABC and ADB are similar (three angles, parallel lines).
    Therefore the corresponding sides are proportional. Therefore the differences in corresponding sides are also proportional.

    • @TJStellmach
      @TJStellmach 3 года назад +4

      The thing we're trying to prove is one of the core _properties_ of similar triangles, so you're engaging in a circular argument by using the properties of similar triangles to prove it.