問題文
実数列 $\lbrace a_n \rbrace_{n = 1, 2, \cdots 2024}$ が以下を満たしています.
・ $a_0 = 0$
・ $0 \leq a_n \leq n+1$
・ $a_{2024} = 2025$
このとき,
$$\sum_{n = 1}^{2024} \sqrt{{a_{n-1}}^2 + {a_{n}}^2 - a_{n-1}a_n - 2na_{n-1} + na_n + n^2}$$
には最小値が存在するため, 最小値を取るときの $a_{1000}$ の値を求めて下さい. ($a_{1000}$ の値は一意に定まります.)
解答形式
答えは, 互いに素な正整数 $a, b$ によって $\cfrac{b}{a}$ と表されるため, $a+b$ の値を解答して下さい.