Yes, if one didn't already know that spherical excess is just a funny word for the area (on a unit sphere) it would be very confusing.
I can't immediately find a better link that describes the theorem; perhaps this from John D. Cook’s blog is a little more expansive: https://www.johndcook.com/blog/2025/11/08/heron-on-a-sphere/
robinhouston
npub13d…5f0qj
2026-04-08 09:42:36 UTC
in reply to nevent1q…69q4
Author Public Key
npub13dp7zd8dvmkvmdkwhzktavq6vxee4kztkmsdkxtj86wtrhnfae9sn5f0qjSeen on
wss://relay.momostr.pinkPublished at
2026-04-08 09:42:36 UTCEvent JSON
{
"id": "11319c7f9d3bfc04e3f3cac2df335dacaae7011179d7ab7c2280d25106724ef0",
"pubkey": "8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b",
"created_at": 1775641356,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@robinhouston/116368431947556326",
"web"
],
[
"e",
"893b8cad746d677dc53cf9b16dab6acdf81337f4e3ed92f54e0dab2fe76093ac",
"",
"reply",
"563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3"
],
[
"e",
"ec33e51a3cdab495b255a554edaa41a265f177684202fd608e0c32951fd8985a",
"",
"root",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"p",
"563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3"
],
[
"p",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"proxy",
"https://mathstodon.xyz/users/robinhouston/statuses/116368431947556326",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/robinhouston/statuses/116368431947556326",
"pink.momostr"
],
[
"-"
]
],
"content": "Yes, if one didn't already know that spherical excess is just a funny word for the area (on a unit sphere) it would be very confusing.\n\nI can't immediately find a better link that describes the theorem; perhaps this from John D. Cook’s blog is a little more expansive: https://www.johndcook.com/blog/2025/11/08/heron-on-a-sphere/",
"sig": "e675dbe1aaeec55f774204c8e500c7487f5198aa7f60f611c258f79780e013cf5e34c4fc5f17d68ba9b1c03fcf3f01d1afad1bc6410fbd6620a005c206669aac"
}