trigonometry like you've never seen it

🌟🌟To try everything Brilliant has to offer-free-for a full 30 days, visit brilliant.org/michaelpenn for 20% off your annual premium subscription.🌟🌟
🌟Support the channel🌟
Patreon: / michaelpennmath
Channel Membership: / @michaelpennmath
Merch: teespring.com/stores/michael-...
My amazon shop: www.amazon.com/shop/michaelpenn
🟢 Discord: / discord
🌟my other channels🌟
mathmajor: / @mathmajor
pennpav podcast: / @thepennpavpodcast7878
🌟My Links🌟
Personal Website: www.michael-penn.net
Instagram: / melp2718
Twitter: / michaelpennmath
Randolph College Math: www.randolphcollege.edu/mathem...
Research Gate profile: www.researchgate.net/profile/...
Google Scholar profile: scholar.google.com/citations?...
🌟How I make Thumbnails🌟
Canva: partner.canva.com/c/3036853/6...
Color Pallet: coolors.co/?ref=61d217df7d705...
🌟Suggest a problem🌟
forms.gle/ea7Pw7HcKePGB4my5

Пікірлер: 235

  • @owensthethird
    @owensthethird23 күн бұрын

    I drew a unit piggy and subsequently defined the coswine function

  • @samueldeandrade8535

    @samueldeandrade8535

    23 күн бұрын

    Hahahahahaha.

  • @sethdurais2477

    @sethdurais2477

    23 күн бұрын

    *click* Noice!

  • @5alpha23

    @5alpha23

    23 күн бұрын

    that actually made me giggle, haha

  • @jeffreyjdesir

    @jeffreyjdesir

    23 күн бұрын

    good one!🍹

  • @kruksog

    @kruksog

    23 күн бұрын

    Swine/coswine is the hamgent (a reach, I know. I'm sorry😅)

  • @zh84
    @zh8423 күн бұрын

    Fun fact: x²ª + y²ª = 1 for a positive integer has no rational solutions when a > 1 other than (±1, 0) and (0, ±1). For if it did, put both terms over the lowest common denominator, multiply out by that, and you have a counterexample to Fermat's Last Theorem. So all the squircles make their way through the everywhere-dense set of points which have both coordinates rational, without touching a single one of them!

  • @Zartymil

    @Zartymil

    23 күн бұрын

    This blows my mind

  • @aniruddhvasishta8334

    @aniruddhvasishta8334

    23 күн бұрын

    That's a crazy fact, wow!

  • @pelledanasten1615

    @pelledanasten1615

    23 күн бұрын

    What if gcd=1?

  • @samwalko

    @samwalko

    23 күн бұрын

    ​@@pelledanasten1615 Then the least common denominator is the product of the denominators, if i understand your question correctly.

  • @aniruddhvasishta8334

    @aniruddhvasishta8334

    22 күн бұрын

    @@samwalko I think he got lcm and gcd mixed up

  • @lurkmoar3926
    @lurkmoar392622 күн бұрын

    Hi Michael, The higher dimensional analogues of the 👉interiors👈 of squircles are called "superballs" and have been studied by Rush (myself) and Sloane, "An improvement to the Minkowski-Hiawka bound for packing superballs", Mathematika, June 1987, Volume34, Issue 1, pp 8-18 and by Elkies, Odlyzko and Rush (again myself) "On the packing densities of superballs and other bodies", Invent Math, December 1991, Volume 105, pp 613-639. I am a subscriber and I enjoy your lectures. 👍

  • @godofmath1039
    @godofmath103923 күн бұрын

    Squircle sounds like an awesome Pokémon name ngl

  • @thomasblackwell9507

    @thomasblackwell9507

    22 күн бұрын

    CHARMANDER AGREES!!!

  • @user-en5vj6vr2u

    @user-en5vj6vr2u

    22 күн бұрын

    No arent you just thinking of squirtle???

  • @godofmath1039

    @godofmath1039

    22 күн бұрын

    @@user-en5vj6vr2u Yes. I was thinking exactly of Squirtle. However, Squircle sounds like what you'd get if you'd evolved a Squirtle alongside Porygon, which would be awesome

  • @skyper8779
    @skyper877923 күн бұрын

    mistake at 22:43 in dU. It is Beta(1/4, 1/4), the final value is Gamma^2(1/4)/2Gamma(1/2) = 3.70814

  • @user-gs6lp9ko1c

    @user-gs6lp9ko1c

    23 күн бұрын

    Ah yes! That's it!

  • @emanuellandeholm5657

    @emanuellandeholm5657

    23 күн бұрын

    Yes, it's Beta(1/4, 1/4). He got the numerical approximation correct tho. Python 3.12.3 (main, Apr 23 2024, 09:16:07) [GCC 13.2.1 20240417] on linux Type "help", "copyright", "credits" or "license" for more information. >>> from scipy.special import beta >>> 1/2 * beta(1/4, 1/4) 3.708149354602744

  • @NStripleseven

    @NStripleseven

    23 күн бұрын

    Doesn’t look like it. The beta function (described in the correct form in the video) would have to be evaluated at (5/4, 5/4) to look like the integral we have. Though the resulting denominator would be gamma(5/2), not gamma(1/2).

  • @edvink8766

    @edvink8766

    23 күн бұрын

    @@NStripleseven Michael made a mistake with the change of variables from u to x. Where he wrote 5/4 in the integrant, it should've been 1/4 instead. The resulting expression is what the original comment above said. Michael's final expression doesn't even evaluate to the correct answer.

  • @gregsarnecki7581

    @gregsarnecki7581

    23 күн бұрын

    Furthermore, since Gamma^2(1/4) = (2.π^1.5)/AGM(rt2/2,1), so rho = π/AGM(rt2/2,1), providing a nice relationship between rho and π: π/rho = AGM(rt2/2,1)

  • @sbares
    @sbares23 күн бұрын

    Interestingly, it is known that Gamma(1/4) and pi are algebraically independent, so it follows that rho is transcendental.

  • @hybmnzz2658

    @hybmnzz2658

    22 күн бұрын

    Where does this come from?

  • @onionbroisbestwaifu5067

    @onionbroisbestwaifu5067

    22 күн бұрын

    @@hybmnzz2658From “Modular Functions and Transcendence Questions” by Yuri Nesterenko, 1996.

  • @sbares

    @sbares

    22 күн бұрын

    @@hybmnzz2658 Modular forms of all places. I don't know the details, but apparently there is a theorem (Nesterenko's theorem) that for any z in the upper half plane, there is a set of three algebraically independent numbers among E2(z), E4(z), E6(z) (Eisenstein series) and q (=exp(2pi i z)). Setting z=i, we have E6(i)=0, so the other three must be algebraically independent. Their values are E2(i) = 3/pi E4(i) = 3Gamma(1/4)^8/(2pi)^6 and of course q(i) = exp(-2pi).

  • @PillarArt

    @PillarArt

    22 күн бұрын

    sup Queen's Uni 🍁

  • @sbares

    @sbares

    22 күн бұрын

    @@PillarArt ??

  • @sucroseboy4940
    @sucroseboy494023 күн бұрын

    I was honestly shocked to see that this video had come out just now. Yesterday I spent a few hours, attempting to define the basic trigonometric functions for the squircle. Didn’t know other people had thought about this problem as well, although I’ll admit that isn’t the craziest idea in the world.

  • @lunaticluna9071

    @lunaticluna9071

    22 күн бұрын

    theres a whole book on the topic: "Squigonometry: The Study of Imperfect Circles"

  • @sucroseboy4940

    @sucroseboy4940

    22 күн бұрын

    @@lunaticluna9071 Yes I saw that. I didn’t know that before seeing this video, so I had a difficult time trying to figure it out on my own. I only managed to approximate the cosquine, as I’m not skilled enough to derive the formula myself

  • @arthurfraco2970

    @arthurfraco2970

    15 күн бұрын

    I also was looking for something like that to model my data. Now that I found it I am afraid of using it and having to explain to peiple 😂

  • @bloom16night
    @bloom16night21 күн бұрын

    "pi" formula for arbitrary n is rho = Г(1/2n)^2 / (n Г(1/n)) and it does approaches 4 as n->inf 😊

  • @davidemasi__

    @davidemasi__

    17 күн бұрын

    Do you know any proof of the fact it converges to 4?

  • @WasickiG

    @WasickiG

    16 күн бұрын

    @@davidemasi__ That appears to be equivalent to 4 - ζ(2)/n² + ζ(3)/n³ - 9ζ(4)/(16n⁴) + k ζ(5)/n⁵ ∓ … You only have to prove this holds :-)

  • @user-lr9ue4ro3i
    @user-lr9ue4ro3i23 күн бұрын

    22:49 I think it should be 1/4-1

  • @oscarlama
    @oscarlama22 күн бұрын

    you can parametrize the segment from 0 to pi/2 rad of any squircle xⁿ+yⁿ=1 as (cosª(t),sinª(t)) where a=2/n. Any other value of the angle results in at least one complex value, but you can cover the four quadrands with combinations of absolute values of the parameter functions. So x⁴+y⁴=1 first quadrant can be parametrized as (|cos(t)|½,|sin(t)|½), the second as (-|cos(t)|½,|sin(t)|½), the third as (-|cos(t)|½,-|sin(t)|½) and the fourth as (|cos(t)|½,-|sin(t)|½).

  • @filbranden
    @filbranden23 күн бұрын

    My first instinct was that x=√cos(t) and y=√sin(t) would solve x⁴+y⁴=1 and would serve as a definition for the squircle, but then was surprised to see that the equivalent of π wouldn't match. I suspect the step of "taking" the definitions x'=-y³ and y'=x³ is what rules out the square root of the original trig functions to match the new functions, which is an interesting development.

  • @__christopher__

    @__christopher__

    22 күн бұрын

    Well, the square roots only work for positive numbers (we don't want to have complex values for x and y), but then, the quircle is clearly symmetric, therefore the sign of the cosine times the square root of the absolute value of the cosine, and the sign of the sine times the square root of the absolute value of the sine should work quite fine, and indeed, every solution has to be some reparameterization of that. Indeed, I suspect the sign and absolute value make it non-analytic without appropriate reparameterization. Now we can try to calculate the derivatives of that, then we get (in the positive quadrant) x'(t) = -sin(t)/(2 sqrt(cos(t))) = -y^2/(2x), which looks quite different from the x'=-y^3 in the video. Note however that the differential equations in the video don't give a constant speed on the curve, since x'^2 + y'^2 = y^6 + y6, which clearly isn't constant. Therefore there is no reason to assume that the periodicity of the function tells us anything about the circumference of the curve. Now the fact that the number is between pi and 4 may be suggestive, but note that also the area of the unit circle is pi, and the area of the outer square is 4, so it could just as well be the area of the squircle. Or something completely different, of course.

  • @chessematics
    @chessematics23 күн бұрын

    Time to introduce poqueuepine

  • @Durglass

    @Durglass

    23 күн бұрын

    What

  • @OpRaven-62

    @OpRaven-62

    22 күн бұрын

    I'm assuming it's a joke, as the last word would be roughly pronounced like "po-cue-pine" or, in other words, "porcupine", an animal with spikes on it's back. ​@@Durglass

  • @coryschwartz1570

    @coryschwartz1570

    15 күн бұрын

    Time is a flat squircle

  • @chloefisher1838
    @chloefisher183823 күн бұрын

    Shouldn't the integral around 24:00 be of x^(1/4 - 1) (1-x)^(1/4-1) not 5/4?

  • @krisbrandenberger544

    @krisbrandenberger544

    20 күн бұрын

    Yes

  • @haldanesghost
    @haldanesghost15 күн бұрын

    “The squine “ I fucking lost it 😂

  • @e.s.r5809
    @e.s.r580922 күн бұрын

    I *should* be revising fluid dynamics, but 'squine and cosquine' was the nerdiest reason I've ever laughed myself incapacitated.

  • @giorgiobarchiesi5003
    @giorgiobarchiesi500323 күн бұрын

    Showing that all squircles with n > 1 never pass through points having rational coordinates would prove the Fermat’s theorem for even powers, right?

  • @Nolrai12
    @Nolrai1223 күн бұрын

    You forgot to link the book!

  • @ingiford175
    @ingiford17522 күн бұрын

    First time I saw something like that was in a sci fi book about what was riddle an equation for a square (Piers Anthony) back in the 80's. The answer was take the equation for a circle, and instead of 2nd power it would be 2*n power, and let n go to infinity, and the shape will approach a square.

  • @florentvaladier5099
    @florentvaladier509923 күн бұрын

    It should be 1/4 - 1 instead of 5/4 - 1 to have -3/4

  • @sylowlover
    @sylowlover23 күн бұрын

    My favourite way to define a squircle is to take a polar definition of a square and circle, i.e. r=1 and r=sec(theta), and average them, giving r=1/2+sec(theta)/2, bounded between -pi/4 and pi/4, and extending to the other 4 sides. This will however not be smooth.

  • @strangelaw6384

    @strangelaw6384

    14 күн бұрын

    is there a way of treating that smoothening such that it is like taking a limit?

  • @benheideveld4617
    @benheideveld461715 күн бұрын

    Beautiful episode!!

  • @rocky171986
    @rocky17198623 күн бұрын

    It should be gamma(5/2) in the denominator

  • @user-gs6lp9ko1c

    @user-gs6lp9ko1c

    23 күн бұрын

    Yes, and that results in rho = 0.3090..., which makes the arguement that it should be between pi and 4 problematic! Edit: Some folks pointed out the error was made at 22:43, where the exponents should be 1/4 -1.

  • @krisbrandenberger544

    @krisbrandenberger544

    20 күн бұрын

    No, the denominator is correct. The numerator should be (Gamma(1/4))².

  • @get2113
    @get211322 күн бұрын

    All solutions to the linear system are given by a matrix exponential. That should cover all solutions of |x|^a + |y|^a = 1, 1

  • @MooImABunny
    @MooImABunny22 күн бұрын

    a different parameterization of the curve would be x(s) = ±√cos(s), y(s) = ±√sin(s) This means the squine and cosquine functions are just remappings of these sqrt trig functions. There is some mapping s = g(t) so that sq(t) = √sin(g(t)) csq(t) = √cos(g(t))

  • @Czeckie
    @Czeckie22 күн бұрын

    -3/4 is not equal to 5/4-1

  • @Ben-wv7ht
    @Ben-wv7ht18 күн бұрын

    Will you do a video about lemniscatic trigonometric functions ? I love your way of introducing functions that are not usually taugth at school !

  • @alexeylvov6304
    @alexeylvov630423 күн бұрын

    A cross section of a sq-ube with x+y+z = 0 is a circle: {x^4+y*4+z^4 = 1, x + y + z = 0} => x^2 + y^2 + z^2 = const.

  • @orionspur
    @orionspur23 күн бұрын

    Pearls before squine?

  • @GameJam230
    @GameJam23022 күн бұрын

    Squigonometry is my new favorite math unit

  • @BryndanMeyerholtTheRealDeal
    @BryndanMeyerholtTheRealDeal16 күн бұрын

    I wonder what the squine and cosquine, as well as the other four functions (tan, csc, sec, cot) but for the squircle, look like?

  • @crimsnblade8555
    @crimsnblade855512 күн бұрын

    Crazy, that's exactly what I was thinking about a few days ago, was thinking of doing a line integral on a squircle and find the limit as it approaches a square, so I needed to parameterize it

  • @schmitzbeats6102
    @schmitzbeats610223 күн бұрын

    Ever since I learned about the squircle I wondered about the squine and cosquine.

  • @mza3764
    @mza376420 күн бұрын

    Thank you Michael for making this video, i sent the suggetion to your email more than a year ago, and I am happy that you finally found the time to look at it.

  • @mza3764

    @mza3764

    20 күн бұрын

    Please make a video about how this is related to fractional derivatives

  • @vukapic7403
    @vukapic740315 күн бұрын

    0:13 can you say which math magazine you found this in? Sounds like a collection of quite fun publishing content to get a hold off!

  • @august3101
    @august310116 күн бұрын

    Use the Jacobian elliptic function sn(u,m) with period K(Elliptic integral of first kind) with m= (say) 0.99 Use sn to replace sin and shifted sn(by K/4 ?) to replace cos . Then plot cn+i*sn with the understanding (1,0) and (0,1) are scaled differently (K>2*pi). Gives nice squarish squig.

  • @YuanAurion
    @YuanAurion23 күн бұрын

    I feel like the squircle family should include going downwards from x^2n+y^2n=1, with some sort of deflated circle between n=1 and .5, a diamond at n=.5 with rho_0.5=4sqrt2, to gaunt diamonds below .5 and finishing with a + shaped thingy at n=0 with rho_0=2.

  • @davidemasi__
    @davidemasi__17 күн бұрын

    Definitely the most interesting video I've seen in a while

  • @TedHopp
    @TedHopp20 күн бұрын

    One way to think about the scaling of the sine and cosine parameterization is that the value of the parameter equals the path length along the curve. The same idea can be used to define a natural value for rho, rather than arguing by analogy to the "role" of π/2 in standard trigonometry.

  • @divyakumar8147
    @divyakumar814719 күн бұрын

    it was fun thanks prof

  • @StuartSimon
    @StuartSimon17 күн бұрын

    I actually found another video that defines the generating object as the square with vertices at (+-1, +-1) taken in all combinations. The interesting thing is that the ratio of squine to cosquine is actually the tangent for all angles; no "squangent" function need be defined.

  • @user-wp1uw8fv6y
    @user-wp1uw8fv6y22 күн бұрын

    For anyone who didn't get the condition "dx/dt = -y^3 and dy/dt =x^3", let me add more description here. The relation is come from 'extension of angle'. A parameter t is the generalized angle on an arbitrary curve, which is double area of a region made by the curve, x-axis, and a line from (0, 0) to (x, y). The differential form is "dt = x dy - y dx" [*], representing 'double area of a triangle' made by a line from (0, 0) to (x, y) and a vector (dx, dy). For trigonometric functions, they are defined by a unit circle, "x^2 + y ^2 = 1" so that "x dx + y dy = 0". Using [*] above, we get "dx/dt = -y" and "dy/dt = x", where t means 'ordinary angle'. Next, for hyperbolic functions, basic curve is now changed to "x^2 - y ^2 = 1" so that "x dx - y dy = 0". In the same way, we get "dx/dt = y" and "dy/dt = x", where t now implies 'hyperbolic angle'. Following that logic, squigonometric functions can be defined by "x^4 + y^4 = 1" and [*], and it derives the differential equation in the first line, based on the parameter t ― 'squircle-angle'.

  • @Alan-zf2tt
    @Alan-zf2tt23 күн бұрын

    Fantastic! I am glad Michael put it in ordinary speak rather than professional math researcher speak what with Γ and Β functions knocking about. Plus a bit of real analysis (complex analysis too?) when the integrand has a denominator tending to ∞ as absolute value of t tends to 1 And that is also a good place to start 🙂

  • @jewishjewom12ify
    @jewishjewom12ify22 күн бұрын

    If you take for N>=1, the curves x^2 + y^(2N) =1 and put cos_N, sin_N to be the x and y coordinates, you get another version of trigonometry, this time with sin_N’=cos_N. Sin_N can also be described as the unique solution to the ODE y’’ = -N y^(2N-1) with y(0)=0 and y’(0)=1. I’m currently leveraging properties of these functions to solve problems in high dimensional sub-Riemannian geometry for my PhD thesis.

  • @purplerpenguin
    @purplerpenguin17 күн бұрын

    Are there any actual use cases for squircles or squigonometry?

  • @m9l0m6nmelkior7
    @m9l0m6nmelkior722 күн бұрын

    I'd say it could be interesting to look at the "squirclexponential" : sqexp(z) = csqt(z/i)+isquirt(z/i) ? or would there be a problem with that…

  • @Chris-op7yt
    @Chris-op7yt22 күн бұрын

    since you can have a circle with exact area of one or two etc., either there's something wrong with PI or how we use it, or it's not irrational after all.

  • @fupengmou3317
    @fupengmou331716 күн бұрын

    the coefficients in the Mclaurin at 15:50 also show up in the expansion of a similarly defined functions, sm, which originates from the curve x^3+y^3=1. The coefficient x, x^9 and x^13 is exactly the same for this sq and that sm, but there is a difference in x^5 term. By the way, in the expansion of sm, the coefficient in the term x^17 is 189611/56576000, I don't know if this is also the same for sq here. If they match, maybe this is a good place to dig.

  • @lurkmoar3926
    @lurkmoar392621 күн бұрын

    By the way, |x|^(1/2) + |y|^(1/2) = 1 defines a non-convex closed curve around the origin whose length is 2(2 + 2^(1/2) ArcSinh(1) ) corresponding to 2 Pi, the circumference of a circle. The quantity corresponding to Pi is half that, or 2 + 2^(1/2) ArcSinh(1), which is about 3.246450480, surprisingly close to genuine Pi.

  • @Pablo360able
    @Pablo360able22 күн бұрын

    The denominator in the rho integral is raised to the 3/4, so how do you come to (1-x)^(5/4-1)? Should it not be (1-x)^(1/4-1)? Where does the extra 1-x come from?

  • @reinerwilhelms-tricarico344
    @reinerwilhelms-tricarico34423 күн бұрын

    This was very instructive. It's quite surprising that these functions hadn't been defined long ago, like in the 18th century. It reminds a bit of the famous Jacobi elliptic functions sn(t) and cn(t) , which all come from the elliptic integrals. Not too long ago I wasn't really aware how hard the problem is to compute the exact circumference of an ellipse, when it's so easy to do for a circle. I wonder if you could sometime make a similar presentation about cn(t) and sn(t). It's important stuff, for instance for exactly computing the duration of oscillation of a simple pendulum, and not just for the small amplitude approximation - Because that's where you need elliptic integrals.

  • @lunaticluna9071

    @lunaticluna9071

    22 күн бұрын

    they're actually related , see "Squigonometry: The Study of Imperfect Circles"

  • @Icenri
    @Icenri23 күн бұрын

    Please now do elliptical squares. Science needs rectangular trigonometry, will explain later!

  • @samueldeandrade8535

    @samueldeandrade8535

    23 күн бұрын

    Hahahahahahaha.

  • @LewisBavin
    @LewisBavin23 күн бұрын

    Where's the Squangent

  • @sucroseboy4940

    @sucroseboy4940

    23 күн бұрын

    That would just be squine/cosquine

  • @spacespark6922

    @spacespark6922

    22 күн бұрын

    Or the sequant

  • @HisZotness

    @HisZotness

    17 күн бұрын

    ​@@spacespark6922Squeecant? 😂

  • @AleksyGrabovski
    @AleksyGrabovski22 күн бұрын

    In a limit this will give us rectangular trigonometry, which sounds like an oxymoron but here it is...

  • @user-et9ub3dc3j
    @user-et9ub3dc3j23 күн бұрын

    Reminds me of an article (Mathematical Recreations?) in Scientific American from back in the 1960s that examined general values of n. However, it did not use the term sqircle. Rather, it concerned itself with the curvature at the intersection with the coordinate axes. ~~~~Arthur Ogawa

  • @mohammedfarhaan9410
    @mohammedfarhaan941022 күн бұрын

    hey so i had two ideas: 1. could we similarly define the properties of squiggles with replacing n with rational, irrational and complex numbers to x^n +y^n=1 2. could we somehow relate this to fourier series?

  • @joelproko
    @joelproko22 күн бұрын

    Rather than limiting ourselves to x^(2n)+y^(2n)=1, we can get a continuous deformation by using abs(x)^q+abs(y)^q=1, where q is any positive real number (2>q>1 has curves that bulge out less at 45° than a circle, q=1 is a square, 0

  • @SeekingTheLoveThatGodMeans7648
    @SeekingTheLoveThatGodMeans764819 күн бұрын

    I asked Wolfram Alpha to draw graph x=(sqrt(abs(sin(t)))*sgn(sin(t))), y=(sqrt(abs(cos(t)))*sgn(cos(t))) for t=-pi to pi and got something that kind of looks like a squircle. But of course it isn't your same x^4 + y^4 = 1 squircle. (How close is it, though? I wasn't able to get WA to show them on the same graph.)

  • @tomholroyd7519
    @tomholroyd751922 күн бұрын

    I'm not sure I'm ready for a hyperbolic squircle. Horrorcycle maybe?

  • @CatherineKimport
    @CatherineKimport23 күн бұрын

    I can't decide which part of my brain this video makes happier, the math nerd part or the word nerd part

  • @trumanburbank6899
    @trumanburbank689912 күн бұрын

    Very cool video. How about a rectangularish ellipse? A rectipse?, lol.

  • @giuseppepapari7419
    @giuseppepapari741916 күн бұрын

    25:00 I do not get this point. Did we prove that t plays the role of arc length?

  • @tomholroyd7519
    @tomholroyd751922 күн бұрын

    Calling Matt Parker! We found somebody who can say "cosquine" with a straight face!!

  • @VideoFusco
    @VideoFusco23 күн бұрын

    I'm probably missing something, but I feel like this video is more complicated than it needs to be. If t always represents the angle in radians that is formed in O then, alongside the fundamental relation csq(t)^4+sqn(t)^4=1, it can be written that sqn(t)/csq(t) =sin(t)/cos(t). These are just two equations in the two unknowns csq and sqn which allow us to express the cosquine and squine functions through the cosine and sine functions.

  • @SmithnWesson
    @SmithnWesson5 күн бұрын

    Wow. Nice. If g is a generator of a multiplicative group, then perhaps (g^k + g^(-k)) / 2 could be thought of as cos(k) on the group. But cosine on a multiplicative group is a weird thing to even think about. Perhaps, for example, think about the cyclic group mod 7. Or cyclic group mod 11. Then what is the cosine on those groups? And what is pi on that group? And what is sqrt(-1) on that group?

  • @FoodNerds
    @FoodNerds16 күн бұрын

    Mr. Penn when you described the squircle I immediately thought of Apple 🍎 products and how Jobs designed product with this kind of shape. Q: Would an iPhone be an example of a 3 dimensional rectangil - or would it be cirtangle? In other words a rectangle with curved corners.

  • @angeldude101
    @angeldude10123 күн бұрын

    Needing to add 1 just so you could subtract 1 in the integral is reminding me of why I think the pi function should be more common than the gamma functions.

  • @amirharoush5210
    @amirharoush521018 күн бұрын

    the coefficients related (up to alternating sign and factorial) to OEIS A153301

  • @amirharoush5210

    @amirharoush5210

    18 күн бұрын

    although, I did found recurrence relation, but couldn't solve it (because of m+1 term) f(n,m)=(m+1)f(n-1,m+1)+(2n-m+2)f(n-1,m-3) f(0,1)=1

  • @Necrozene
    @Necrozene23 күн бұрын

    If that is a blue square, then I am a pink squircle. lol

  • @robmahurin5411
    @robmahurin541120 күн бұрын

    I wanted `t` to be a sort of an arc length parameter, but it isn't. If you define a little distance `ds = √(dx^2 + dy^2)`, the speed with the parameter `ds/dt` is pretty close to unity on the straight segments, but drops by at least 15% in the corners. As the squircles get square-ier, the discrepancy in the curvy part gets more extreme, but the curvy part occupies less of the shape overall. The period in `t` approaches the perimeter of the shape as the shape approaches a square, but the period in `t` is only equal to the perimeter of the shape for the circle. I also wanted `t` to be some kind of an angle parameter, but it isn't that either. Only for the circle itself is the period in `t` independent of the size of the shape. For the squircles, making the shape bigger (by e.g. choosing (1.1,0) instead of (1,0) for the initial condition) makes the period in `t` shorter, so that the same "squangle" takes you more of the way around the bigger shape. Given these two misinterpretations, the relationship between the period in `t` for the high-order "unit squircles" and the perimeter of the shape feels like a coincidence or a conspiracy. Why is it "natural" for the period in `t` to approach the perimeter of the square?

  • @mehdimabed4125
    @mehdimabed412521 күн бұрын

    It's funny this video comes out now, I'm currently focusing on superellipses, and in fact I struggle for some weeks now finding the coordinates of the intersection points of a striaght line and a superellipse, does anyone has an idea ? Thanks :)

  • @kinoseidon
    @kinoseidon22 күн бұрын

    For the sake of completeness, what are the first five terms of the Taylor series for the cosquine function?

  • @timgchannel3328
    @timgchannel332822 күн бұрын

    What is the difference between a squircle and a squarish superelipse?

  • @curtiswfranks
    @curtiswfranks5 күн бұрын

    All of these are intimately connected to the Lₚ-norms and, thus, common non-Euclideän geometries.

  • @gwalla
    @gwalla20 күн бұрын

    It seems like the 2n in the definition of the squircle is unnecessary. If you define it as xᵐ+yᵐ=1 then all that really changes is the true circle case is at m=2 instead of n=1, and you can just use 2 as your lower bound for m. I was wondering why you were giving it a positive lower bound at all, since you still get well-defined shapes at lower m until you hit m=0: as m gets smaller, you eventually get rotated square with a diagonal of length 2 at m=1 (n=1/2), then below that you get tetracuspids (the m=0 case is impossible because x⁰+y⁰=1 obviously has no solutions). But then I realized that this technique wouldn't work on those because they have sharp corners, so the squigonometric functions would not be differentiable everywhere. If you limit it to circles and above, you don't have to deal with discontinuities until you get to the limit as n approaches infinity, which is itself fortunately trivial to define without any need for calculus at all.

  • @ezrakornfeld8436
    @ezrakornfeld843611 күн бұрын

    I thought this was geometry but you called that pink rectangle a square!

  • @ikatako38
    @ikatako3816 күн бұрын

    Right at the beginning in the top left of the board he missed the u in squigonometry and it’s bothering me 😭

  • @blue5659
    @blue565917 күн бұрын

    At 24:00 shouldn't it be 5/2, not 1/2?

  • @Kapomafioso
    @Kapomafioso23 күн бұрын

    Why can't we just use this parameterization? x(t) = sqrt(|cos t|) sign(cos t) y(t) = sqrt(|sin t|) sign(sin t) It satisfies the system of differential equations (you can check that x' x^3 + y' y^3 = 0) and it parameterizes the squircle x^4 + y^4 = 1

  • @neonlines1156

    @neonlines1156

    23 күн бұрын

    How did you come up with that???

  • @Kapomafioso

    @Kapomafioso

    23 күн бұрын

    @@neonlines1156 if you know that cos and sin satisfy cos^2+sin^2=1, then what satisfies (...)^4+(...)^4=1? An obvious choice is sqrt(cos) and sqrt(sin), at least in the interval of the argument between 0,pi/2. The absolute values and signs are just to make it parameterize the full unit squircle.

  • @almostme80

    @almostme80

    23 күн бұрын

    @@Kapomafioso very clever!

  • @Kapomafioso

    @Kapomafioso

    23 күн бұрын

    @@almostme80 thanks...I think what Michael was getting at (but didn't say explicitly) is, that while you can easily make up some parameterization, it might not be analytic (and mine, indeed, can't possibly work as analytic functions that would describe the whole squircle). You can see that immediately from the absolute values and signs, but also the series expansion for my y(t) features t^1/2 as the first term...

  • @frobeniusfg

    @frobeniusfg

    23 күн бұрын

    This parametrisation is not natural (in a sense of differential geometry) as t is not the arclength of the curve.

  • @sukursukur3617
    @sukursukur361711 күн бұрын

    Is there a mathematical expression of that: How is a square different from a circle?

  • @giuseppepapari7419
    @giuseppepapari741916 күн бұрын

    12:48 should be 3csq(t)^2sq(t), no cube

  • @Chiborino
    @Chiborino22 күн бұрын

    I don't think I've ever hated a word more than I hate "cosquine," it just does not feel good to hear or say

  • @JanJannink
    @JanJannink22 күн бұрын

    A missed opportunity to define the squeacant and the cosqueacant !

  • @shruggzdastr8-facedclown
    @shruggzdastr8-facedclown22 күн бұрын

    Matt Parker covered the squircle on his Stand-Up Maths channel a year or two ago

  • @ricardoguzman5014
    @ricardoguzman501423 күн бұрын

    As n-->∞ and n an even whole number, the graph of x^n +y^n=1 approaches a square.

  • @sicko_the_ew
    @sicko_the_ew20 күн бұрын

    That relation looks to me like the Commutator? (As in Lie Algebras.) So this whole construct might be deeply interconnected with that topic? Just a thought. I'm at a point where I can do some pattern recognition, but still hit an out-of-depth error anywhere beyond that. Anyway, my ears are standing straight up as I watch this. :-)

  • @scottmiller2591
    @scottmiller259123 күн бұрын

    The once and future king, the superellipse, has entered the chat.

  • @AlvinFS27

    @AlvinFS27

    21 күн бұрын

    Also the superhyperbolic

  • @wyboo2019
    @wyboo201923 күн бұрын

    havent finished the video, but my silly and probably-not-very elegant solution was to: 1. convert x^4+y^4=1 to polar coordinates 2. solve for r 3. convert to parameterization in the normal way (r cos(t), r sin(t))

  • @wolliwolfsen291
    @wolliwolfsen29122 күн бұрын

    24:01 Why is z+w=1/2 when both are 5/4?

  • @thierrypauwels
    @thierrypauwels21 күн бұрын

    Is there no way to generalise this, at least in the first quadrant, to real powers rather than just even integer powers ?

  • @massimo888888
    @massimo88888822 күн бұрын

    What if n

  • @racheline_nya
    @racheline_nya17 күн бұрын

    i'm so confused at 22:46... i think there's a mistake you start from integrating du/(1-u^4)^(3/4), which is equal to (1-u^4)^(-3/4)*du. so substituting x=u^4, we see that we're integrating (1-x)^(-3/4)*du, and then substituting du=(constant)*x^(-3/4)*dx, we see that we're integrating (1-x)^(-3/4)*x^(-3/4)*dx. -3/4 is 1/4-1, not 5/4-1, so you should get 1/2*B(1/4,1/4), which is 1/2*Γ(1/4)^2/Γ(1/2). in fact, you correctly got Γ(1/2) in the denominator, and even explained that it's a quarter plus a quarter, but in the numerator you didn't use the quarters and instead used 5/4. you can check out an approximation to these squigonometric things at www.desmos.com/calculator/ur3fpdxm2i, though i computed the coefficients of the taylor series in google sheets (i was too lazy to write python code and too curious about whether i could do it in google sheets) so the precision may be slightly limited by that.

  • @talberger4305
    @talberger430523 күн бұрын

    24:01 gamma of 2.5 not 0.5

  • @mikeholt2112

    @mikeholt2112

    23 күн бұрын

    Both z and w are 1/4 so the denominator is correct but the numerator should read gamma(1/4)^2. Final calc of 3.708 is correct. Typo

  • @PawelS_77
    @PawelS_7722 күн бұрын

    I think we're missing the point here, because (at least this is how I understand it) the trig functions should be defined as functions of angle, not some arbitrary parameter. So the "value of pi" in this case should be the same as the normal value of pi, because angles work the same regardless of the shape of the object in question. Unless we're talking about the length of the object, which is a different thing (for a unit circle the length is the same as the full angle, but not for a squircle).

  • @pietrocoletti3995
    @pietrocoletti399522 күн бұрын

    I actually prefer to use σ, where σ=2ρ

  • @corscheid
    @corscheid22 күн бұрын

    COSQUINE and SQUINE I'm dead 😂

  • @trueriver1950
    @trueriver195023 күн бұрын

    Exactly what is the motivation for this?

  • @sucroseboy4940

    @sucroseboy4940

    23 күн бұрын

    I don’t think there is any. Perhaps it’s helpful in the same way as circular trig, if for some reason you’re working with squircles a lot

  • @lexyeevee

    @lexyeevee

    23 күн бұрын

    it's interesting

  • @krisbrandenberger544
    @krisbrandenberger54420 күн бұрын

    Hey, Michael! @ 20:03 Should be sq^4(z), not sq^4(t).

  • @allmight801
    @allmight80123 күн бұрын

    Let's say you have two vectors AB and AC where A B C are coordinates of points in space. If you have those two vectors for example AB=(1,2,3) and AC=(2,3,4) can you find the points A B and C?

  • @maxhagenauer24

    @maxhagenauer24

    23 күн бұрын

    Not really because vectors can start anywhere. The for example means you go over 1 on the x-axis, over 2 on the y-axis, and over 3 on the z-axis. But you can start it at any point you want because it doesn’t matter where a vector is, it's just some magnitude and direction being applied but it doesn't matter where it's being applied.

  • @abhinavanand9032

    @abhinavanand9032

    23 күн бұрын

    No because you have only two equations

  • @rexmar1245

    @rexmar1245

    23 күн бұрын

    I think you can't. You have a 9 variables vs 6 equations sistem. Infinite values satisfie that.

  • @arnavchandraker9425
    @arnavchandraker942522 күн бұрын

    Next video on reclipse would.......

  • @alanspyglass3304
    @alanspyglass330423 күн бұрын

    Is the selection of x' and y' going to be unique?