Matt Peperell
matt@peperell.com
https://mathstodon.xyz/@mattp
https://mattp.co/mj2024
m > n > 0 { m,n ∈ ℕ }
a = 2mn
b = m2 - n2
c = m2 + n2
Known to Euclid
60
∣ abc
How might Euclid have proven this?
Can you prove the assertion that 60 ∣ abc
60 = 2 × 2 × 3 × 5
Spoiler...
By Matt Peperell
Primary interests: Linux, languages, bridge, vim. On the side: Ruby, javascript, mathematics