3つ目の条件式を変形すると、
$$
\frac{(a_{n+1}-2a_n)(a_{n+1}-2a_n-1)}{a_{n+1}a_n}=0
$$
となる。よって、$a_{n+1}=2a_n$ または $a_{n+1}=2a_n+1$ が成り立つ。$a_1=1$ であるから、帰納的に $a_n$ の各項は正の整数である。
さらに、$a_2=2,3$、$a_3=4,5,6,7$ のように $a_n$ の各項としてありうる値を求めていくと、帰納的に任意の $n$ について $a_n$ は $2^{n-1}$ 以上 $2^n-1$ 以下のすべての整数値をとることがわかる。したがって、正の整数 $m$ について $a_N=m$ である時、$N$ および $a_2,a_3,a_4,......,a_{N-1}$ は一意に定まる。
さて、$2^{N-1}\leq2020\leq2^N-1$ を満たす $N$ を求めると、$N=11$ であるから$\fbox{アイ}=11$ である。
また、これにより $a_{11}=2020,a_{10}=1010,a_9=505,a_8=252,a_7=126$ がわかる。したがって$\fbox{ウエオ}=126$ である。
この問題を解いた人はこんな問題も解いています