Why hyperbolic functions are actually really nice

Sdílet
Vložit
  • čas přidán 26. 06. 2024
  • Keep exploring at ► brilliant.org/TreforBazett. Get started for free for 30 days - and the first 200 people get 20% off an annual premium subscription!
    Today we unpack everything to do with hyperbolic functions. In calculus we often see an analytic definition of hyperbolic cosine and hyperbolic sin expressed as exponential functions. But why? Analytically, this is just asking for the even and odd components of e^x. However, we can connect this geometrically to hyperbolas, and specifically to the area enclosed by a hyperbola.
    0:00 Even and Odd Functions
    2:24 Analytic Definition of cosh and sinh
    3:19 Graphic cosh and sinh
    3:53 Taylor series and derivatives
    5:12 Hyperbolas
    6:42 Defining trig functions geometrically
    9:22 Defining hyperbolic trig functions geometrically
    10:45 The geometric and analytic definitions are the same
    14:03 Euler's Equation
    15:06 Brilliant.org/TreforBazett
    Check out my MATH MERCH line in collaboration with Beautiful Equations
    ►beautifulequations.net/pages/...
    COURSE PLAYLISTS:
    ►DISCRETE MATH: • Discrete Math (Full Co...
    ►LINEAR ALGEBRA: • Linear Algebra (Full C...
    ►CALCULUS I: • Calculus I (Limits, De...
    ► CALCULUS II: • Calculus II (Integrati...
    ►MULTIVARIABLE CALCULUS (Calc III): • Calculus III: Multivar...
    ►VECTOR CALCULUS (Calc IV) • Calculus IV: Vector Ca...
    ►DIFFERENTIAL EQUATIONS: • Ordinary Differential ...
    ►LAPLACE TRANSFORM: • Laplace Transforms and...
    ►GAME THEORY: • Game Theory
    OTHER PLAYLISTS:
    ► Learning Math Series
    • 5 Tips To Make Math Pr...
    ►Cool Math Series:
    • Cool Math Series
    BECOME A MEMBER:
    ►Join: / @drtrefor
    MATH BOOKS I LOVE (affilliate link):
    ► www.amazon.com/shop/treforbazett
    SOCIALS:
    ►Twitter (math based): / treforbazett
    ►Instagram (photography based): / treforphotography

Komentáře • 185

  • @kasiphia
    @kasiphia Před 8 měsíci +263

    In school we are rarely ever taught the connection between the hyperbola and sinh(x), etc...Very interesting.

    • @DrTrefor
      @DrTrefor  Před 8 měsíci +42

      It’s so weird to be omitted!

    • @carultch
      @carultch Před 8 měsíci +4

      @@DrTrefor I first stumbled on the term, when my textbook used the Gateway Arch in St Louis as an "example" of a parabola, with a fine print note that it's really a hyperbolic cosine. Playing with my graphing calculator, I attempted every combination of hyperbolas and cosines I could think of, like 1/cos(x) and cos(1/x), and couldn't find anything resembling it. Eventually learning it for real, I figured out on my own what properties hyperbolics have in common with standard trig, and could connect the dots on at least that part of its namesake.

    • @FranFerioli
      @FranFerioli Před 8 měsíci +5

      @@DrTrefor "It’s so weird to be omitted!" It seems they do it on purpose to make math boring...

    • @kasiphia
      @kasiphia Před 7 měsíci +8

      @@DrTrefor I think it's the fact that we never learn the area approach you showed in terms of relating cos and sin to the unit circle, which makes it unnatural to think of the hyperbolic parametrizations cosh and sinh in the same way.

    • @Bolpat
      @Bolpat Před 7 měsíci +2

      In my case, in school we are [never] ever taught the hyperbola and sinh(x), etc...

  • @jamesmnguyen
    @jamesmnguyen Před 7 měsíci +72

    I always thought hyperbolic functions were just some weird made up versions of regular trig functions. I didn't realize how intuitive and natural they are.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci +2

      In some regards, the hyperbolic functions are more natural than the circular functions ('circular' is a more appropriate adjective to use than 'trigonometric').

  • @qubex
    @qubex Před 8 měsíci +142

    Cool integration trick somebody taught me: if you’re integrating some gnarly function over some interval that symmetrically straddles zero (say, between -1 and +1), split the integrand into even and odd functions and see if the even function is more amenable to analysis. This is because the contributions of the odd function will cancel out and can be ignored. EDITED TO CORRECT ERROR THAT WAS POINTED OUT.

    • @DrTrefor
      @DrTrefor  Před 8 měsíci +16

      Love that trick

    • @ethanbottomley-mason8447
      @ethanbottomley-mason8447 Před 8 měsíci +8

      It is the other way. The integral of an odd function over a symmetric domain is 0, not an even function.

    • @qubex
      @qubex Před 8 měsíci +4

      @@ethanbottomley-mason8447 You’re right, my bad, I corrected it. Thanks for pointing it out.

    • @oqardZ
      @oqardZ Před 7 měsíci +1

      You still have an error.

    • @qubex
      @qubex Před 7 měsíci +4

      @@oqardZ Can you rephrase it appropriately please?

  • @Jurgan6
    @Jurgan6 Před měsícem +4

    Love it. I'm currently working on my dissertation, which heavily involves the complex exponential function, and cosh seemed to appear out of nowhere. This helps make sense of it, especially how cosh and sinh come from the real part in the same way cos and sin are in the imaginary part.

  • @nicholascooper843
    @nicholascooper843 Před 8 měsíci +33

    I've somehow managed to never have a class on hyperbolic functions even though they show up occasionally. This video is mind blowing and really puts together so many disparate puzzle pieces for me. Truly incredible work!

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +2

      Glad it was helpful!

  • @Carpirinha
    @Carpirinha Před měsícem +4

    It's these kinds of videos that make mathematics actually interesting.

  • @chrisgreen_1729
    @chrisgreen_1729 Před 8 měsíci +79

    This really is a superb introduction to hyperbolic functions. All of the key ideas in 15 minutes explained perfectly!

    • @DrTrefor
      @DrTrefor  Před 8 měsíci +8

      Glad you think so!

    • @MathPhysicsEngineering
      @MathPhysicsEngineering Před 7 měsíci

      I also made a video on the subject but with detailed computations of the integral. Check the video on my channel for more details:
      video title: "he Geometric Definition of the Hyperbolic Functions, and Derivation of their Formulas"

    • @ernestoherreralegorreta137
      @ernestoherreralegorreta137 Před 7 měsíci +2

      True. Best intro to the topic I've ever seen.

  • @andrewbekhiet
    @andrewbekhiet Před 5 měsíci +4

    Wow I'm in my first engineering year and even the professors never explained it like that
    Really appreciate the amount of work you've put in this video!

  • @Ninja20704
    @Ninja20704 Před 8 měsíci +19

    Thank you for this video. Hyperbolic trigo is not even taught in schools where I live so most people don’t even know they exist even until they graduate from high school.
    The complex relation between the regular and hyperbolic trigo functions also explains the similarity between their derivative properties, and their taylor series.
    The taylor series for sinx and cosx have that alternating factor. The hyperbolic functions have the exact same terms just without the alternating.

  • @kimjong-du3180
    @kimjong-du3180 Před 7 měsíci +7

    That's really, really awesome. I was wondering recently why these functions were called "hyperbolic". The analogy with circle and sin and cos is great!

  • @strangeWaters
    @strangeWaters Před 7 měsíci +8

    If you want a further generalization, look at geometric algebra. It explains how you can interpret i as an oriented area, and generalize the exponential to operate on oriented planes in 3d space. This provides a nice encoding of rotations (quaternions).

  • @lordforlorn5694
    @lordforlorn5694 Před 7 měsíci +12

    This is crazy! We were never taught that in school. It makes so much sense

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +7

      It’s weird how hyperbolic functions are taught imo!

  • @wargreymon2024
    @wargreymon2024 Před 8 měsíci +2

    Like that approach starting with odd and even function, easily one of the best video on hyperbolic functions

  • @birjeetbrahma3952
    @birjeetbrahma3952 Před 8 měsíci +3

    The way you speak every topic is really heartwarming.😊

  • @arbodox
    @arbodox Před 7 měsíci +2

    This is such a clear explanation of hyperbolic functions! What a perfect timing too, since I was wondering about them after my multivariable calculus professor briefly mentioned them in lecture a few days back, but never bothered to go over them in detail since they were irrelevant.

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +1

      Glad it was helpful!

  • @robot7338
    @robot7338 Před 7 měsíci +2

    The way i first found hyperbolics was when i was curious on what cos(ix) was, so i used the maclaurin expansion and found it wasthis cool, and surprisingly real valued, mix of e^x and e^-x. It was only much later when i realised that was infact cosh(x). I love hyperbolic functions man

  • @mnada72
    @mnada72 Před 7 měsíci +2

    That was amazing connection. Thank you

  • @joeeeee8738
    @joeeeee8738 Před 8 měsíci +2

    Great video! I want more videos continuing explaining this now!

  • @Dr.Cassio_Esteves
    @Dr.Cassio_Esteves Před 7 měsíci +3

    That's by far the best explanation of hyperbolic functions I have ever seen.
    All the others seemed ad hoc. The properties were proved, but it was never explained why the functions were considered in the first place.
    Everything in your video was very well motivated, thank you.

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +4

      That''s exactly what I was going for, thank you!

  • @UzunKamis
    @UzunKamis Před 7 měsíci +2

    Very nice presentation, thank you.

  • @pacotaco1246
    @pacotaco1246 Před 7 měsíci +4

    I like them because they're like circular trig functions, but stretchy!

  • @General12th
    @General12th Před 7 měsíci +1

    Hi Dr. Bazett!
    So cool!

  • @TimVT971
    @TimVT971 Před 7 měsíci +3

    4:40 in to the video. So cool to see the Taylor series expansion with sinh and cosh pointed out. I realized that if you take the derivative of any term in the expansion, you get the term to the left of it. It makes the derivative obvious. Blew me away. Thanks!

  • @philstoh7874
    @philstoh7874 Před 8 měsíci +9

    At 2:18, i think it would have been relevant to mention that this decomposition is unique, especially for the part with taylor series. Aside of that, good video, like always

  • @AsBi1
    @AsBi1 Před 19 dny

    very helpful

  • @bbigboy01
    @bbigboy01 Před 7 měsíci +1

    Great presentation. You may want to expand this presentation to include RF transmission line theory, and the associated hyperbolic function utilization to solve those equations.

  • @MichaelRothwell1
    @MichaelRothwell1 Před 7 měsíci +2

    Very nice indeed! I wasn't aware of the geometric definition of the hyperbolic functions. Whilst the use of areas to define the trig functions is not quite so natural as using angles, the analogous result for the hyperbolic functions is really quite satisfying.
    It's worth noting that angles can't work to parameterise the hyperbolic functions as they aren't periodic, so we need a parameter than can go off to infinity without repeating points on the curve. Angles don't work for this, but areas fit the bill perfectly.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci +1

      Angles are not a useful quantity, but arclength still is, and the two are equal when it comes to circles.

  • @fangjames8223
    @fangjames8223 Před 7 měsíci +1

    excellent video❤

  • @spaceshipastro
    @spaceshipastro Před 2 měsíci

    great vid!

  • @AMADEOSAM
    @AMADEOSAM Před 7 měsíci

    Thanks! Good explanation …

  • @heheboaii9221
    @heheboaii9221 Před 7 měsíci +2

    U could also have talked about the explicit formula for the inverses
    of Cosh and Sinh !

  • @nohaxjustxmod-sfs3984
    @nohaxjustxmod-sfs3984 Před 7 měsíci

    lovely video!

  • @guilhermepanarellirangel6663
    @guilhermepanarellirangel6663 Před 7 měsíci +1

    Most beautiful math explanation

  • @namanjain5700
    @namanjain5700 Před 7 měsíci +1

    Love you Prof!⭐

  • @pygmalionsrobot1896
    @pygmalionsrobot1896 Před 7 měsíci

    Superb !! 👍

  • @carlosmiguelsoto3853
    @carlosmiguelsoto3853 Před 7 měsíci

    Calculating the area of A directly is relatively easy as well. Just parametrize the points in the area as r(cosh(t), sinh(t)) with r in [0, 1] and t in [0, a], then the jacobian is r(cosh(t) * sinh'(t) - sinh(t) * cosh'(t)) which happens to cancel to just r, so integrating f(r, t) = r in the rectangle [0, 1] x [0, a] we get a/2

  • @forthrightgambitia1032
    @forthrightgambitia1032 Před 8 měsíci +2

    In UK further maths A level we learn Osborn's rule where the hyperbolic trig functions act the same way as normal trig functions in terms of identities etc. In the ultimate part you basically justified why this is so. It even now makes sense why you have yo flip the sign of the product of two sines as it is i^2.

  • @tedbagg2825
    @tedbagg2825 Před 7 měsíci +1

    Less known is that lχ| is alctually the arc length of the hyperbola from (1,0) to (cosh χ, sinh χ) when the ty-plane has the geometry of special relativity wherein, given t > y, the time elapsed along the line segment from (0, 0) to (t, y) is the square root of t^2 - y^2 (with time unit and light speed both set to 1 for simplicity). Hyperbolic angles are largely analogous in this context to circular angles in Euclidean geometry.

  • @aashsyed1277
    @aashsyed1277 Před 8 měsíci +4

    Amazing and the best introduction to Hyperbolic I was thinking about hyperbolic functions a day before or so and this video came out! Coincidence ?

  • @Dakkidaze
    @Dakkidaze Před 7 měsíci +1

    I mean hyperbolic functions are called sinh/cosh has to have a reason and there has to be a connection between sin/cos and sinh/cosh. This video helped me understand it. 👍

  • @mrbananahead2005
    @mrbananahead2005 Před 7 měsíci

    What’s really interesting is that you can change the hyperbolic version of Euler’s formula into a two-dimensional analogue to the formula by using j, so that e^jx = coshx + jsinhx, where j^2 = 1 (instead of -1). It results in the split-complex plane, which has some weird geometry, like distance being equal to the square root of x^2 *minus* y^2

  • @pythonsob5271
    @pythonsob5271 Před 5 měsíci

    Sir please come up with a series on Numerical methods for ODE & PDE.

  • @MrPoornakumar
    @MrPoornakumar Před 7 měsíci

    Excellent.

  • @urluberlu2757
    @urluberlu2757 Před 7 měsíci +1

    Subscribed 👍

  • @vasilisasergienko242
    @vasilisasergienko242 Před 8 měsíci +6

    We finished Hyperbolic functions in A Level Further Math and this video is exactly what I needed. The visuals are so much help as well as the plethora of analogies with other topics, thank you so much🥹🥹🥹

    • @DrTrefor
      @DrTrefor  Před 8 měsíci +2

      Glad it helped!

    • @andrewharrison8436
      @andrewharrison8436 Před 8 měsíci

      As someone with A levels 55 years in my past I remember the words Cosh and Sinh and hyperbolic functions. Perhaps (no defiinitely) had I watched this video back then the dust would not have settled so thickly on my memory.
      So my congratulations on being young enough to have timely access to this resource.

  • @peasant8246
    @peasant8246 Před 3 měsíci +1

    You are a great math sorcerer.

  • @lucykitsune4619
    @lucykitsune4619 Před 7 měsíci +2

    I can't believe I finally got an explanation about what the actual fuck a sinh(x) is months after I was supposed to write an exam over it at uni by it randomly stumbling into my youtube feed

  • @dr28kumar
    @dr28kumar Před 5 měsíci

    Thanks

  • @geraltofrivia9424
    @geraltofrivia9424 Před 7 měsíci +1

    I wish I could give 2 thumbs up to that great video. Such great content!

  • @GregThatcher
    @GregThatcher Před 7 měsíci +1

    Thanks!

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +1

      hey thanks so much!

  • @italophile2437
    @italophile2437 Před 7 měsíci

    Enjoyed the math, but also - what a great T-shirt!

    • @DrTrefor
      @DrTrefor  Před 7 měsíci

      Thank you! Merch link in description lol

  • @priyankrajvansh8428
    @priyankrajvansh8428 Před 8 měsíci +9

    Hello sir, been subscriber to your channel since sometime..love the content..thanks for uploading.. Lots of love and appreciation from india 🇮🇳

  • @danielc.martin1574
    @danielc.martin1574 Před 8 měsíci +1

    Great!

  • @johanolander777
    @johanolander777 Před 7 měsíci +1

    Cool, like this video already and i haven' t even see all of it:)

  • @goddess_ofchaos
    @goddess_ofchaos Před 4 měsíci

    where was this when I was in my first year of astrophysics TvT still I really enjoyed this video

  • @user-di6pq7ef7p
    @user-di6pq7ef7p Před 5 měsíci +1

    That's the most beautiful thing about mathematics, isn't it?

  • @jishnup1205
    @jishnup1205 Před 7 měsíci

    Make a playlist about complux analysis please😢

  • @priyankrajvansh8428
    @priyankrajvansh8428 Před 8 měsíci +5

    Also sir, considering that youre a maths professor.. Could you please make a video on statistics for machine learning

    • @DrTrefor
      @DrTrefor  Před 8 měsíci +2

      That’s not really my area but I’m interested…

    • @priyankrajvansh8428
      @priyankrajvansh8428 Před 8 měsíci

      @@DrTrefor me too sir, and I'm sure with your style of teaching,with such clear explanation and beautiful animations.. People would love it!

  • @timotejbernat462
    @timotejbernat462 Před 8 měsíci +5

    12:17 variable “t” is introduced out of nowhere and gets substituted for as though it was x later, is that a mistake, should that be x instead?

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +1

      Oh yes, thank you! I forgot whether my dummy variable of integration was t or x, it doesn’t matter as long as it is all x or all t.

  • @muskyoxes
    @muskyoxes Před 7 měsíci +1

    If we habitually moved close to light speed, this would be so intuitive

  • @dikzzdikzz5703
    @dikzzdikzz5703 Před 6 měsíci

    What is the aplication to create the video?

  • @cosmicvoidtree
    @cosmicvoidtree Před 7 měsíci

    14:28. One little thing I want to point out is that we don’t know yet that this is necessarily true, for example, cosh(ix) could have an imaginary component which would make this comparison faulty. The statement made is in fact true and you can figure that out by representing sin and cos in terms of the exponential or by looking at the tailor series of the functions. Point is, statement is right but the reasoning given is faulty. Otherwise the video is great and gives a good intro to hyperbolic trig

  • @micayahritchie7158
    @micayahritchie7158 Před 8 měsíci +1

    For special relativity this is a God sent

  • @Bolpat
    @Bolpat Před 7 měsíci +3

    It’s really worth mentioning that e^(ix) = cos x + i sin x is not a definition. I honestly dislike e^x notation in complex numbers because #PowersAreComplicated in complex numbers (for exponents that aren’t natural numbers). Fact of the matter is, what is meant is the application of the exponential function exp, defined as exp(x) = 1 + x + x²/2! + x³/3! + …; this definition works fine on complex inputs as well. The powers in this series are not complicated, it’s just repeated multiplication. In my Analysis I class, we have exp(ix) = cos x + i sin x by definition, because sin and cos were defined by this equation: cos x = Re(exp(ix)) and sin x = Im(exp(ix)).

    • @ddognine
      @ddognine Před 7 měsíci

      Actually, that is not correct. Open up just about any calculus text, and it will state that any "proof" of Euler's identity is not accurate. Rather, it is a definition motivated by the series expansions of sinx, cosx, and e^x with x = i*theta.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci +1

      I strongly agree! I wish more mathematics educators on CZcams took note of this.

  • @MiroslawHorbal
    @MiroslawHorbal Před 7 měsíci +1

    Alright. The correspondence between hyperbolic and trigonometric functions when multiplying x by i was very cool. I was not aware of that fact, but your explanation makes it seem so trivial.
    The problem is... I watched this video at 1am and should be going to bed. Now Im sitting here with a notebook playing around with these functions.
    Why do you do this to us mathematics!?

  • @berryesseen
    @berryesseen Před 7 měsíci

    12:32 t should be cosh(a). From-to notation was a little bit messy. x = 1 to cosh(a) applies to both terms.

  • @nanamacapagal8342
    @nanamacapagal8342 Před 7 měsíci +3

    Note: this video starts with the analytic definition and proves that it works with the geometric one. But it's possible to go the other way around!
    Let's start with cosh(a) and sinh(a). We know nothing about them other than these:
    - The point (cosh(a), sinh(a)) is on the hyperbola x² - y² = 1.
    - The area traced out by this certain region is a/2.
    Notice that just through the geometric definition it's already possible to deduce a few identities.
    First: that cosh(a) is even and sinh(a) is odd. Just flip the area upside down. The x-coordinate stays put, and the y-coordinate is negated.
    And the other important one: cosh²(a) - sinh²(a) = 1.
    (cosh(a), sinh(a)) is a point on the hyperbola, so it should satisfy x² - y² = 1 by definition.
    The next step is to verify the integral stuff. It's the same process in the video, except we get stuck here:
    (1/2)cosh(a)sqrt(cosh²(a)-1) + (1/2)ln|cosh(a) + sqrt(cosh²(a)-1)| - (1/2)cosh(a)sinh(a)
    If there is a god then this better be equal to a/2.
    Here we can use an identity from earlier, just rewritten a little:
    cosh²(a) - 1 = sinh²(a)
    Then the above result simplifies and cancels into
    (1/2)ln|cosh(a) + sinh(a)| = a/2.
    A little more algebra and we get
    cosh(a) + sinh(a) = e^a.
    Here we can use our other identities: cosh is even and sinh is odd. We're forced straight into the analytic definition:
    cosh(a) = (1/2)(e^a + e^(-a))
    sinh(a) = (1/2)(e^a - e^(-a))
    Oh. And before you get suspicious about the whole cosh(ix) = cos(x) thing, plug in ix into the definition of cosh.
    Then cos(x) can be written as
    (1/2)(e^ix + e^(-ix)), and sin(x) as
    (1/2)(e^ix - e^(-ix)).
    Euler's identity makes things work out nicely in the end.
    Which means cos(x) = 2 has a solution, and it's i*arcosh(2).
    And also means that sinh(i*2pi) = 0.
    Not sure if it's possible to take the derivative of cosh(x) and sinh(x) without first finding the analytic formulas but considering it's possible with cos(x) and sin(x) I assume it requires some squeeze theorem

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +2

      Love this!

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci

      This is a flawed analysis. In actuality, it is not possible to derive analytic formulae for cos and sin from the geometric definition alone, which is why formal proofs involving cos and sin use their analytical definitions and not geometric definitions. You can derive the geometric definition from the analytical definition, but not the other way around. This is not a coincidence: if you start with the axioms of Euclidean geometry, deriving the axioms of real analysis is impossible, but you can derive all of the axioms of Euclidean geometry from the axioms of real analysis. Geometry is grounded in analysis.

    • @YouTube_username_not_found
      @YouTube_username_not_found Před 20 dny

      @@angelmendez-rivera351 Hi Angelmendez ! 😃We meet again! Hopefully we will have a good conversation!
      I sincerely think there is something wrong with your conclusion. Let's think about it:
      The sine and cosine functions have clear geometric definitions which makes them have a certain behaviour. To each value of the angle, there will correspond a pair of values that we call cos(a) and sin(a) and those would be the coordinates of a point on a unit circle. Those values are unique! So cosine and sine are well defined functions, whatever their values at a given angle might be. If we could somehow find the relations between the values then we could have a chance to derive the analytic properties of these functions from those relations.
      Also, could you please give an example of a formal proof involving these functions that require their analytic expressions? (I am assuming this means their taylor series expressions??) .
      >> "if you start with the axioms of Euclidean geometry, deriving the axioms of real analysis is impossible,"
      But are we really using only the Euclidean geometry axioms? Aren't we assuming something else in our geometric definitions? We are giving measures to line segments and angles using real numbers. I am not sure at all if this is allowed by the Euclidean axioms.

    • @YouTube_username_not_found
      @YouTube_username_not_found Před 19 dny

      ​@@angelmendez-rivera351 This reply is about another topic.
      There is something about the euclidean axioms that bothers me 🧐.
      A point is not defined at all nor is it associated with any property, so how are we supposed to prove that the space has the topological properties we expect it to have; How do we know it is connected? How do we know it is complete? How do we know it is flat so that the pythagrean theoem holds? What does flat even mean??
      How do we then define the other stuff , the straight lines and the right angles?
      A lot of questions , I know 😅 . Please bare with me. I hope you find them interesting as I do.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 19 dny

      @@CZcams_username_not_found *The sine and cosine functions have clear geometric definitions which makes them have a certain behaviour. To each value of the angle, there will correspond a pair of values that we call cos(a) and sin(a), and those would be the coordinates of a point on a unit circle. Those values are unique!*
      The problem is that this definition is flawed, because the parametrization of a circle is not unique at all. In fact, there exist infinitely many, and there is not a particularly intuitive list of criteria you can obtain solely from geometric concepts to uniquely pick put cos and sin out of all possible parametrizations. For example, consider f(t) = (1 - t^2)/(1 + t^2) and g(t) = (2t)/(1 + t^2). For all real t, it follows that f(t)^2 + g(t)^2 = 1. It also follows that f(0) = 1, and g(0) = 0.
      *So cos and sin are well-defined functions, whatever their values at a given angle might be.*
      They are well-defined as long as you include analytical concepts in the otherwise geometric definition. There is no purely geometric definition which makes the functions well-defined for all real numbers.
      *Also, could you please give an example of a formal proof involving these functions that require their analytic expressions?*
      If you were to prove that cos and sin are periodic functions, then you would need to either have it be part of the definition itself (which would mean you are already including an analytic concept in the otherwise geometric definition), or you would need to prove the functional-differential equation f'(x) = f(x + π/2) holds for both f = cos and f = sin, and this would require real analysis to do.
      *But are we really only using the Euclidean geometry axioms? Aren't we assuming something else in our geometric definitions? We are giving measures to line segments and angles using real numbers. I am not sure at all if this is allowed by the Euclidean axioms.*
      Well, you can have things like isomorphisms between geometric structures and subsets of real numbers, so algebra with real numbers is allowed to a limited extent. In fact, the Ancient Greeks were doing this with only compass and straightedge, limiting themselves to the so-called "constructible numbers." This was long before analytical geometry was widespread. It was, however, extremely limited, and it definitely did not have the number-theoretic power that analytical geometry has. And analytical geometry requires real analysis.

  • @YasiruChandira
    @YasiruChandira Před 7 měsíci

    Professor , in 6:14 , x = sec(theeta) and y = tan(theeta) isn't it ?

  • @SalmonSushi47
    @SalmonSushi47 Před 7 měsíci +1

    Your new Subscriber

  • @cihant5438
    @cihant5438 Před 7 měsíci

    what kinds of tools do you use to generate such plots/videos?

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +1

      This is all just Desmos

  • @matokurin
    @matokurin Před 7 měsíci

    Great

  • @pavelperina7629
    @pavelperina7629 Před 5 měsíci

    I wonder about their practical application, one is free hanging wire or rope (not a chain bridge), other is pursuit curve. Third is Mercator projection I think. But I never used these function in my live and they seem to be on every scientific calculator and even some advanced slide rules. All I know is they are solution to some differential equations where second derivate is the same as function. For sine it's 4th derivative and for e^x first one. But all youtube videos are about abstract concepts or identities. There must be some motivation why they exists.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci

      The fact that you have never used these functions in your life says absolutely nothing about how many applications they have. Also, this video explains precisely why these functions exist.

  • @dohduhdah
    @dohduhdah Před 7 měsíci

    Thanks for the interesting video! Is there any way to visually verify the equation "cosh(i x) = cos(x)" in desmos? I know desmos doesn't have complex numbers, but you can just augment desmos by adding any required operation, like multiplying complex numbers m(P,Q) = (P.x Q.x - P.y Q.y, P.x Q.y + P.y Q.x).

    • @Keldor314
      @Keldor314 Před 7 měsíci

      Intuitively, we might notice that when we compare the equations of the circle and the hyperbola, x^2 + y^2 = 1 and x^2 - y^2 = 1, that changing the y^2 from positive to negative is the same as multiplying y by i. Think of what this means if we consider a "circle" on C^2, where x^2 + y^2 = 1 for a pair of *complex* numbers x and y. We can see that the cross section across the real components of x and y of this hypercircle is a circle, and the cross section with real x and imaginary y makes a hyperbola. Thus, if our trigonometric functions extend from normal circles over R^2 to complex circles on C^2 in an intuitive fashion, we should expect this sort of identity to fall out.

    • @dohduhdah
      @dohduhdah Před 7 měsíci

      @@Keldor314 Hmmm, I think it becomes rather complicated to visualize functions from C^2 to C. But I've noticed that I can verify the equation visually by plotting both cos(x+iy) and cosh(x+iy) at wolfram alpha, restricting attention to the real part of both plots and verifying that the cross section with the X=0 plane for cosh(x+iy) matches up with the cross section with the Y=0 plane for cos(x+iy), which seems to confirm the identity cos(x)=cosh(ix).

  • @vizdracviz
    @vizdracviz Před 7 měsíci +1

    At 6:15, x=tan(theta) and y = sec(theta) gives x²-y²=-1. You said it the other way around.

    • @DrTrefor
      @DrTrefor  Před 7 měsíci +1

      Oh right, thank you!

  • @hkhademian
    @hkhademian Před 6 měsíci

    Hi, I do not get 14:30 argument. like how 2+3 == 4+1 can result to 2=4 and 3=1 !!!

  • @sgiri2012
    @sgiri2012 Před 6 měsíci

    Let me just ask one question ?
    Why don't we take the other part of the hyperbola to define the hyperbolic sine and hyperbolic cosine function ? Is the results the exact same as you obtained by considering the other part of the function?

    • @carultch
      @carultch Před 4 měsíci

      Hyperbolic cosine comes from the x-position of the point on the unit hyperbola. Hyperbolic sine comes from the y-position of the same point. This is for a hyperbola that opens to the left and right, on the standard x-y plane.

  • @dddhhj8709
    @dddhhj8709 Před 8 měsíci +3

    started sounding like Fourier series

    • @DrTrefor
      @DrTrefor  Před 8 měsíci +4

      Fourier series is the end boss:D

  • @EricPham-gr8pg
    @EricPham-gr8pg Před 7 měsíci

    This is where I think we need slow down , really slow down just like Fourier and Laplace transformer

  • @thomasolson7447
    @thomasolson7447 Před 7 měsíci

    sec^2(θ)-tan^2(θ)=1
    That is cooler than what you have. It leads to the cone you see in my thumbnail. Which can probably be used to do physics. I don't know if it would be better, but I'm pretty sure it can measure change in energy levels.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci

      The functions cosh and sinh are much more convenient to work with than sec and tan.

    • @thomasolson7447
      @thomasolson7447 Před 5 měsíci

      @@angelmendez-rivera351 have you noticed that the sum of sec(arctan(x)) and tan(arctan(x)) is quadratic? If x is a complex number, you're in C^2 territory. If you're working in 3d, that's C^3. I've seen people do CZcams videos on C^2 with magnetism and relativity stuff.

  • @abcdef2069
    @abcdef2069 Před 6 měsíci

    at 9:35 what does a in cosh(a) sinh(a) geometrically represent? i still dont get it. a is not an angle, but an area?
    examples of conversation
    A. in circle, i found an enemy, rotate your gun 30 degrees, then you get the enemy
    B. in hyperbola, i found the enemy, change your WEIRD area to 3.7/2 then you find an enemy? before you measure the required area, you will be probably already dead by the enemy or you will be 100 years old. is it possible to assess "a" as a function of vertices or foci and etc

  • @shazullahyusufzai5704
    @shazullahyusufzai5704 Před 8 měsíci +2

    Dear Dr could you please proof lambert w function formula w(xe^x)=x

  • @MathPhysicsEngineering
    @MathPhysicsEngineering Před 7 měsíci

    I also made a video on the subject but with detailed computations of the integral. Check the video on my channel for more details:
    video title: "he Geometric Definition of the Hyperbolic Functions, and Derivation of their Formulas"

  • @philipoakley5498
    @philipoakley5498 Před 7 měsíci +1

    And the "Hyper-Fourier" transform for all this. Maybe another video?

  • @melonenlord2723
    @melonenlord2723 Před 7 měsíci

    12:30 i think there is a t instead of a x, else i dont understand :D

  • @aarohibhavsar1520
    @aarohibhavsar1520 Před 7 měsíci

    6:12
    Tried plugging it in and it's -1.
    So you had it backwards. x should be sec theta and y should be tan theta.

  • @DarkBoo007
    @DarkBoo007 Před 8 měsíci +1

    I NEVER learned this in school. I had to research this independently... I don't know why they omit the derivations smh

  • @joeaverage8329
    @joeaverage8329 Před 3 měsíci

    Something feels so circular about this and many other video that does similar things with Hyperbolic trig. Is it circular logic?

  • @larsdebrabander3613
    @larsdebrabander3613 Před 8 měsíci +2

    Is there also something like parabolic trig functions?

    • @angeldude101
      @angeldude101 Před 8 měsíci +4

      Why _YES! INDEED!_
      While ultimately unnecessary, I'm going to quickly define a symbol j such that j² = 1 (1 satisfies this equation, but much like how i isn't ℝeal, j doesn't have to be either.) Much like Euler's formula,
      exp(jϕ) = cosh(jϕ) + sinh(jϕ) = cosh(ϕ) + jsinh(ϕ)
      And as a refresher:
      exp(iϕ) = cosh(iϕ) + sinh(iϕ) = cos(ϕ) + isin(ϕ)
      Now that we're refreshed on the similarities of their structures, lets now define ε such that ε² = 0 (again, it need not be ℝeal even if their is a ℝeal number that satisfies it).
      Here, it's easiest to use the Taylor series exp(εϕ) = 1 + εϕ + ε²ϕ²/2 + ... Since ε² = 0, every term past that is 0 leaving us with
      exp(εϕ) = cosh(εϕ) + sinh(εϕ) = 1 + εϕ
      Yup. Parabolic cosine is the constant _1,_ and parabolic sine is the identity function. Wrap your head around _that._ Then again, if they should make sense if you consider the small-angle approximation. ε can be thought of as an angle (hyperbolic or elliptic) that's infinitesimally small.
      The main thing that makes it questionably "parabolic" is that its "unit circle" isn't actually a parabola, but rather a pair of vertical lines as x² = 1. This can be found using the conjugate formula for the magnitude of a complex number, generalized to a hyperbolic or dual number (the official names for multiples of j and ε added to ℝeal numbers).
      |x + yi|² = (x + yi)(x - yi) = x² - i²y² = x² + y²
      |x + yj|² = (x + yj)(x - yj) = x² - j²y² = x² - y²
      |x + yε|² = (x + yε)(x - yε) = x² - ε²y² = x²

    • @kasiphia
      @kasiphia Před 7 měsíci +2

      @@angeldude101 Wow, I can't believe I've never thought of this before. That's amazing.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci

      @@angeldude101 I would argue that the equation not being a parabola makes those functions not parabolic at all.

    • @angeldude101
      @angeldude101 Před 5 měsíci

      @@angelmendez-rivera351 They're more "flat trig" than "parabolic trig", but some might argue they could be called the latter.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 5 měsíci

      @@angeldude101 Calling it flat trigonometry makes far more sense. I cannot get behind calling it parabolic trigonometry.

  • @norencezyron.bedasua
    @norencezyron.bedasua Před 7 měsíci

    I love your shirt.

    • @DrTrefor
      @DrTrefor  Před 7 měsíci

      Thanks! Merch link in description lol

  • @84degreesnorth88
    @84degreesnorth88 Před 5 měsíci

    I just changed my major from Finance to Maths!!

  • @timothyhutapea8323
    @timothyhutapea8323 Před 7 měsíci

    Holy moly that was some sexy af math

  • @TheLukeLsd
    @TheLukeLsd Před 7 měsíci +1

    Muito bom. Tô pensando em fazer meu TCC em funções trigonométricas de números complexos e suas relações com funções trigonométricas hiperbólicas.

  • @mahamoodkuniyil9330
    @mahamoodkuniyil9330 Před 21 hodinou

    If you could be more explicit towards the end of the proof. I.e. subtracting the area of hyperbola from the triangle...

  • @PiotrWieczorek
    @PiotrWieczorek Před 7 měsíci

    Can we call y=x a parabolic sine, and y=x² a parabolic cosine? 🤔

    • @abebuckingham8198
      @abebuckingham8198 Před 7 měsíci

      I believe the parabolic cosine is the constant function 1.

  • @elvinshoolbraid84
    @elvinshoolbraid84 Před 8 měsíci

    So that’s where that function from this week’s tutorial comes from 😅

    • @DrTrefor
      @DrTrefor  Před 8 měsíci

      I should rename this channel “stuff I wanted to do in tutorial but didn’t want a revolt”:D

  • @thatomofolo452
    @thatomofolo452 Před 8 měsíci

    Yesss🎉

  • @blankj5250
    @blankj5250 Před 5 měsíci

    Could you teach me where you bought that fucking beautiful T-shirt?

    • @DrTrefor
      @DrTrefor  Před 5 měsíci

      Haha it’s my merch link in description!

  • @billcook4768
    @billcook4768 Před 7 měsíci +1

    Remember folks, radians, not degrees.

  • @oraz.
    @oraz. Před 7 měsíci

    The complex part seemed like the biggest deal

  • @zhigangxu2007
    @zhigangxu2007 Před 7 měsíci

    Thanks for your video! You slow down your speech. You are running now! Just speak in a normal speed as a lecturer would do in his classroom.