Tom Ritchford on Nostr: But you would have to know Pythagoras' Theorem to exhibit this triangle and say it ...

But you would have to know Pythagoras' Theorem to exhibit this triangle and say it was right-angled: you couldn't do it by measuring.

Also, checking all pairs of numbers in [10000, 20000] to see if their sum is a square is arduous, when only about 0.011% of these pairs are Pythagorean: https://github.com/rec/test/blob/master/python/squares.py