• delirious_owl
            link
            fedilink
            arrow-up
            1
            ·
            edit-2
            4 months ago

            I don’t think that would work for just 4 lines? I think you have to have arcs, not straight lines

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

              It’s possible to have an equiangular quadrilateral, i.e. whose sides are geodesics (the analogue of “straight line” on a sphere). The Gauss-Bonnet theorem implies their total interior angle is greater than 2pi, so four right angles can’t work.

              Here’s an interactive demo of quadrilaterals on the sphere: https://geogebra.org/m/q83rUj8r

              Notice that each side is a segment of a great circle, i.e. a circle that divides the sphere in half. That’s what it means for a path to be a geodesic on the sphere.