A regular octagon is formed by cutting an isosceles right triangle from each of the corners of a square with sides of length $2000$.
What is the length of each side of the octagon?
Algebra, Geometry, International Mathematical Olympiads, Math contests, Puzzles, Brainteasers, Number Theory, Combinatorics, Logic, Paradox