Question 20A 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?$\dfrac13(2000)$$2000(\sqrt2-1)$$2000(2-\sqrt2)$$1000$$1000\sqrt2$