Post #2346199
2026-04-27 16:10 UTC
@mjd@mathstodon.xyz @dpiponi@mathstodon.xyz and sometimes, good notation almost immediately shows you what you could (or should) do.
Replies (1)
-
@mjd@mathstodon.xyz 2026-04-27 16:22
@tpfto@mathstodon.xyz @dpiponi@mathstodon.xyz Yes, exactly. Some expressions reveal real information even unevaluated. Many proofs contain a step that says “this yields the expression … which can be seen to be everywhere positive, therefore…”. Or for a concrete example, n³-6n²+11n-6 is always a multiple of 6 because it is equal to n(n-1)(n-2).