Is this a triangle? - eviltoast

I would have asked this on a math community but I couldn’t find an active one.

In a spherical geometry, great circles are “straight lines”. As such, a triangle can have two or even three right angles to it.

But what if you go the long way around the back of the sphere? Is that still a triangle?

(Edit:) I guess it’s a triangle! Fair enough; I can’t think of what else you would call it. Thanks, everyone.

    • Thavron@lemmy.ca
      link
      fedilink
      arrow-up
      21
      ·
      3 months ago

      I am pleased to see that there is a section on Lovecraft in that article. He really loved his non-Euclidian geometry

        • Thavron@lemmy.ca
          link
          fedilink
          arrow-up
          16
          arrow-down
          3
          ·
          3 months ago

          This inevitably comes up every time he is mentioned. Yes, he was very racist, even for the time. That mainly came forth from the fact that he was a very socially disturbed and scared person. Which isn’t an excuse, nu i think we should be able to appreciate the amazing writing and the influence he has had on the literary (horror) landscape without just focusing on the fact that he was racist.

  • Treczoks@lemmy.world
    link
    fedilink
    arrow-up
    60
    ·
    3 months ago

    The wonders of non-Euclidian geometry. Yes, this is a triangle, but as it exists in a non-Euclidian space, some rules you learned about in school which mostly teach Euclidian geometry, don’t apply.

  • Urist@lemmy.ml
    link
    fedilink
    English
    arrow-up
    30
    ·
    edit-2
    3 months ago

    It is a triangle. The abstraction of lines in non-Euclidean geometry are geodesics and just like three lines form a triangle, so do the geodesics. If you walked along the earth’s surface from the equator to the North Pole and back, taking 90 degrees angles every time, you will have felt that you made a triangle by walking straight in three directions.

    The reason the angle sum can be more than 180 degrees is that the sphere has a positive curvature. If you want one with negative curvature and less than 180 degrees angle sum, try to make one on the side of the hole on a torus (look up its curvature if my explanation was lacking).

    EDIT: Picture for reference:

  • zkfcfbzr@lemmy.world
    link
    fedilink
    English
    arrow-up
    27
    ·
    3 months ago

    Would the southern shape here also qualify as a triangle?

    What if you went the short way instead of the long way, creating the spherical triangle people usually use - then is the “outside” portion of the triangle itself another triangle?

      • RightHandOfIkaros@lemmy.world
        link
        fedilink
        English
        arrow-up
        21
        ·
        edit-2
        3 months ago

        If a shape has 3 corners and 4 edges, it is incomplete or open and therefore not a shape yet but a collection of edges (or possibly, two triangles that share an edge).

        A shape with 4 corners and 3 edges is not possible. An edge cannot have a corner in the middle of it, that would make it two edges.

        • towerful@programming.dev
          link
          fedilink
          arrow-up
          2
          ·
          3 months ago

          I felt like adding something about the specific case of 180° between edges and a vertice.
          Makes sense.
          And I guess too many vertices means an open set of edges (ie not close, this not a shape).
          I was kinda hoping for a strange edge case, like a mobius strip or Klein bottle.

          I guess a mobius strip is a 2d representation of a 1d paradigm. And a klein bottle is a 3d representation of a 2d paradigm.
          It would be too much to ask of a 1d representation of a ??d paradigm.

      • ByteJunk@lemmy.world
        link
        fedilink
        arrow-up
        5
        ·
        3 months ago

        Why the down votes? Bro asking a question and being legit curious, don’t be hating on someone that’s looking to challenge what they know just because it’s trivial to you.

        • towerful@programming.dev
          link
          fedilink
          arrow-up
          4
          ·
          3 months ago

          I feel my comment adds to the discussion and wants more details.
          But it was too simply phrased.
          I guess the details of such a question should be obvious. And if you need the details, the question doesn’t actually add the the discussion… It just seems idiotic!

          I felt like there might be a really cool scenario where a vertice isn’t considered a vertice.
          Like, there actually might be some case on a 2d plane “where actually” applies.
          I’m fine being wrong

      • bionicjoey@lemmy.ca
        link
        fedilink
        arrow-up
        10
        ·
        3 months ago

        If you were to walk this route along the surface of the earth, you would walk in perfectly straight lines apart from the three turns.

        • I_Has_A_Hat@lemmy.world
          link
          fedilink
          arrow-up
          1
          arrow-down
          4
          ·
          3 months ago

          No such thing. Even if you were walking on a surface with no change in elevation, the acceleration due to gravity would cause your path to be curved as it followed the curvature of the planet.

          • Farid@startrek.website
            link
            fedilink
            arrow-up
            9
            ·
            edit-2
            3 months ago

            Curved relative to what?

            Edit: Nvm, I understood what you mean. But I think it’s a pedantic take. They obviously mean it in the context of the surface of the sphere.

      • november@lemmy.vgOP
        link
        fedilink
        English
        arrow-up
        7
        arrow-down
        2
        ·
        3 months ago

        They’re not curved; the space they’re embedded in is curved.

        • Azzu@lemm.ee
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          3 months ago

          Well that depends on your definition of curved… If I look at this image from a 3 dimensional coordinate system that includes the sphere, the edges are definitely curved. Of course, if you look at this from the coordinate system “surface of the sphere” then I would agree with you. There are 2 ways to look at this and decide if it is a triangle, and the bro you responded to didn’t understand this and needs it explained.

          • bdonvr@thelemmy.club
            link
            fedilink
            arrow-up
            5
            ·
            3 months ago

            I don’t think this is relevant. Using your first definition there is no possible way to walk in a straight line on a sphere. While true in that context I don’t think it’s what most people are meaning by “straight line”.

            • Azzu@lemm.ee
              link
              fedilink
              arrow-up
              2
              ·
              edit-2
              3 months ago

              But it’s absolutely clear that the first definition is meant by the person that is being responded to. That is why the clarification is needed. This is not about “most people”, but this specific one person in this specific comment thread. “It doesn’t matter that the edges are curved?” is only said by someone that thinks in the first definition, not in the second.

  • murtaza64@programming.dev
    link
    fedilink
    arrow-up
    15
    arrow-down
    1
    ·
    3 months ago

    Just noticed in euclidean geometry, for any two line segments touching at a point there is exactly one triangle you can draw, i.e. a triangle is uniquely described by any two of its legs. In spherical geometry, there are two choices for the third leg!

  • FuglyDuck@lemmy.world
    link
    fedilink
    English
    arrow-up
    14
    ·
    3 months ago

    There’s an entire field of science projecting shapes from the surface of a sphere onto a planar surface going back centuries.

    Suffice it to say, I don’t know you’d have to talk to a map-nerd.

    • november@lemmy.vgOP
      link
      fedilink
      English
      arrow-up
      13
      ·
      3 months ago

      I was reading Matt Parker’s new trigonometry book and they made some remark about triangles in spherical geometry and I went “wait, what if you did this”

    • frezik@midwest.social
      link
      fedilink
      arrow-up
      3
      ·
      3 months ago

      There’s a theory about Alice in Wonderland that Lewis Carroll was satirizing the absurdity of the increasingly abstract mathematics that was popping up at the time. Now, I don’t think that theory holds weight–Alice in Wonderland doesn’t need to be anything other than a whimsical children’s book–but he did apparently write some things along those lines. This post is a pretty good example of something that would throw him into a rage.

  • HexesofVexes@lemmy.world
    link
    fedilink
    arrow-up
    9
    ·
    3 months ago

    Spherical geometry - good times…

    Yep, it’s a triangle. You can also make one with three right angles on a sphere!

  • tonyn@lemmy.ml
    link
    fedilink
    arrow-up
    13
    arrow-down
    7
    ·
    3 months ago

    The term you are looking for to describe such a shape is technically “spherical polygon”. Triangles are impossible in speherical geometry since the sum of the angles would always be greater than 180°.

    • Blóðbók@slrpnk.net
      link
      fedilink
      arrow-up
      41
      ·
      3 months ago

      There is no rule that the angles of a triangle add to 180 degrees. It only holds true in Euclidean geometry, which this is not.

      • SkyNTP@lemmy.ml
        link
        fedilink
        arrow-up
        2
        arrow-down
        1
        ·
        3 months ago

        There is no rule that the angles of a triangle add to 180 degrees.

        I think this is debatable. If it was not, then the answer to OP’s question would be obvious, and this thread would be uninteresting. The words we use carry a lot of unwritten baggage.

        • bdonvr@thelemmy.club
          link
          fedilink
          arrow-up
          4
          ·
          edit-2
          3 months ago

          I think OP clearly has an inkling of non-euclidian to even ask what they did, so I’m not sure euclidian rules are relevant to the discussion. It seems they know of it but non-euclidian geometry is not intuitive so this isn’t obvious to most.

        • Urist@lemmy.ml
          link
          fedilink
          English
          arrow-up
          3
          ·
          3 months ago

          The answer is obvious. Depending on the curvature of the object the triangles have higher or lower than 180 degrees angle sums. Flat space just happens to have 0 curvature.