The reasoning is in the linked article, but let me try to explain it again briefly.
Given four random points, label A, B, and C as the ones defining the max area triangle, and D as the fourth. Let A' B' C' be the triangle having A, B, and C as its edge midpoints, with four times the area. Then by our labeling, D is inside A' B' C' and forms a convex quadrilateral iff it is not also in ABC. The area of the remaining subset of A' B' C' is 3/4 of the whole.
0xDE
npub1p5…z4d3n
2026-05-31 07:24:30 UTC
in reply to nevent1q…h2jv
Author Public Key
npub1p5zwqctkgq05ck6cm8v2mn48q9zwssfns7ks533njxt6aac865ssnz4d3nSeen on
wss://relay.momostr.pinkPublished at
2026-05-31 07:24:30 UTCEvent JSON
{
"id": "cc850bf977c910fd6e759270785c0f9abd2988d9061ef20cd6458e09fc5038ca",
"pubkey": "0d04e06176401f4c5b58d9d8adcea70144e8413387ad0a46339197aef707d521",
"created_at": 1780212270,
"kind": 1,
"tags": [
[
"e",
"8b9bbc9c3bd46cf17e65f2a5993ed2e3eb17589cb459cdc58adeffe9794f75d9",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"0d04e06176401f4c5b58d9d8adcea70144e8413387ad0a46339197aef707d521"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"51ed77e97c786e947a69b9ead20cfe77485ea5a74ceca7dc2ad443552f7d0dce",
"",
"root",
"0d04e06176401f4c5b58d9d8adcea70144e8413387ad0a46339197aef707d521"
],
[
"proxy",
"https://mathstodon.xyz/@11011110/116667991361603490",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/11011110/statuses/116667991361603490",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/11011110/statuses/116667991361603490",
"pink.momostr"
],
[
"-"
]
],
"content": "The reasoning is in the linked article, but let me try to explain it again briefly.\n\nGiven four random points, label A, B, and C as the ones defining the max area triangle, and D as the fourth. Let A' B' C' be the triangle having A, B, and C as its edge midpoints, with four times the area. Then by our labeling, D is inside A' B' C' and forms a convex quadrilateral iff it is not also in ABC. The area of the remaining subset of A' B' C' is 3/4 of the whole.",
"sig": "d7f66c4031a616da9f2a5e1c6907ae6d9329768d8d3a2b4e1c82e3ed1b69843bd33130a091c1a5c7e123ffc05258f63b84ce467be0c73659c2ac79674c80ce2d"
}