Periodic continued fractions and Jacobi symbols (Q2907098)

Let \(x= [a_0,\dots, a_{r-1},\overline{b_0,\dots, b_{l-1}}]\) be an infinite periodic regular continued fraction where the period length \(l\) is chosen as small as possible, and let \({m_k\over n_k}= [a_0,\dots, a_{r-1}, b_0,\dots, b_k]\) for \(k\geq 0\) be convergents for \(x\). Let \(L= dl\) be even with a suitable divisor \(d\) of \(8\) or \(12\). Then for the Jacobi symbol \((\div)\) the author proves the periodicity \(({m_{k+L}\over n_{k+l}})= ({m_k\over n_k})\) for all \(k\geq 0\). He treated the case \(r= 0\) of a purely periodic \(x\) in a previous paper [Int. J. Number Theory 7, No. 6, 1543--1555 (2011; Zbl 1237.11003)], and this result is used in his proof for the general case.