Because it's 2025, we're all thinking about the identity \[\Bigl(\sum_{i=0}^ni\Bigr)^2
=
\sum_{i=0}^ni^3\]
I'm now wondering how closely this is related to the similar (but in a way simpler) identity
\[
\Bigl(\int_{0}^nx\,dx\Bigr)^2
=
\int_{0}^nx^3\,dx
\]
Is the former a direct consequence of the latter?
robinhouston
npub13d…5f0qj
2025-01-08 11:37:16 UTC
Author Public Key
npub13dp7zd8dvmkvmdkwhzktavq6vxee4kztkmsdkxtj86wtrhnfae9sn5f0qjSeen on
wss://relay.momostr.pinkPublished at
2025-01-08 11:37:16 UTCEvent JSON
{
"id": "185dab280d26e73a0a1e1113bf92c9171a1d65c706bc2f6a39d2b3806a05b8be",
"pubkey": "8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b",
"created_at": 1736336236,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@robinhouston/113792531617333078",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/robinhouston/statuses/113792531617333078",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/robinhouston/statuses/113792531617333078",
"pink.momostr"
],
[
"-"
]
],
"content": "Because it's 2025, we're all thinking about the identity \\[\\Bigl(\\sum_{i=0}^ni\\Bigr)^2\n=\n\\sum_{i=0}^ni^3\\]\n\nI'm now wondering how closely this is related to the similar (but in a way simpler) identity\n\\[\n\\Bigl(\\int_{0}^nx\\,dx\\Bigr)^2\n=\n\\int_{0}^nx^3\\,dx\n\\]\n\nIs the former a direct consequence of the latter?",
"sig": "e3e3d4465d0b69aba1d92b838e40a4abdcda12eb08e6c5557946e7c86d3e920f45a968a20ecfea3c0b902e5b62bde288cd46c80ce86088ef4c966658a902f240"
}