Sure. But from a practical point of view this is sufficient. My point was that with only that Pythagorean triple you can construct right angle of any size. Still workers use this without knowing the theorem behind. In Germany there is an own term 'Maurerdreieck' for that.
Paul Sutton (npub1zd9…dm0g) Ben Rolfe 🌳 (npub1dam…jmuv)
Herr Reis /
npub1s6…rlmku
2024-07-06 09:29:32
in reply to nevent1q…9f2e
Author Public Key
npub1s6drszsktgp24ycqtx8p34dn5tpdwa9ay08djxa4hp07l0mxqtrqdrlmkuPublished at
2024-07-06 09:29:32Event JSON
{
"id": "7642f51d553f9efb26127c373f6a4cdb50b839c47aeffc5a0eefe01f0f0edba0",
"pubkey": "869a380a165a02aa9300598e18d5b3a2c2d774bd23ced91bb5b85fefbf6602c6",
"created_at": 1720258172,
"kind": 1,
"tags": [
[
"p",
"6f76c4f5c0fa8791428b9e85a61c6eddfd23eb98bfe21db9ad1fe1c5bacf1405"
],
[
"proxy",
"https://mastodon.social/@Mr_GHARice/112738839573702203",
"web"
],
[
"p",
"a3a054a7080072b8903b01ebaef06bc4c40bc312d4dc5eaa1ac317948e4c2c15"
],
[
"e",
"adc4d548ef3f470492d9894cb9a196231d8d8d4796ee03a8c978f4b0c0f75df1",
"",
"reply"
],
[
"e",
"59551a4c249aecc133d68c04e09e9c234a1cc224cd1a4fc1591f50f0ce4bc67a",
"",
"root"
],
[
"p",
"134b17e28b8946e73ae7f5f1f4b10fe970b037f4d7035437009c13b7bf709036"
],
[
"p",
"869a380a165a02aa9300598e18d5b3a2c2d774bd23ced91bb5b85fefbf6602c6"
],
[
"proxy",
"https://mastodon.social/users/Mr_GHARice/statuses/112738839573702203",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/Mr_GHARice/statuses/112738839573702203",
"pink.momostr"
],
[
"expiration",
"1722850352"
]
],
"content": "Sure. But from a practical point of view this is sufficient. My point was that with only that Pythagorean triple you can construct right angle of any size. Still workers use this without knowing the theorem behind. In Germany there is an own term 'Maurerdreieck' for that.\n nostr:npub1zd930c5t39rwwwh87hclfvg0a9ctqdl56up4gdcqnsfm00msjqmq2rdm0g nostr:npub1damvfawql2rezs5tn6z6v8rwmh7j86uchl3pmwddrlsutwk0zszse7jmuv",
"sig": "0372758ab0f15664ee075d35b44f98e77923ebfcc5fff8389bddc459dad51a6cb716c8cc66025fa86148ebdbdad007a349e54838a9b675458459088c32e5f127"
}