Maths Olympiad Prep

Library / /93 of 520

Number theory Difficulty 5.6 AIME, harder Prove it

8. Show that if aa and bb are odd integers and (a,b)=1(a, b)=1, then the following reciprocity law holds for the Jacobi symbol:
(ab)(ba)={(1)a12b12 if a<0 and b<0(1)a12b12 otherwise. \left(\frac{a}{|b|}\right)\left(\frac{b}{|a|}\right)=\left\{\begin{array}{ll} -(-1)^{\frac{a-1}{2} \frac{b-1}{2}} & \text { if } a<0 \text { and } b<0 \\ (-1)^{\frac{a-1}{2} \frac{b-1}{2}} & \text { otherwise. } \end{array}\right.

In problems 9159-15 we deal with the Kronecker symbol which is defined as follows. Let aa be a positive integer that is not a perfect square such that a0a \equiv 0 or 1(mod4)1(\bmod 4). We define
(a2)={1 if a1(mod8)1 if a5(mod8).(ap)= the Legendre symbol (ap) if p is an odd prime such that pa(an)=j=1r(apj)t, if (a,n)=1 and n=j=1rpjt is the prime factorization of n\begin{array}{l} \left(\frac{a}{2}\right)=\left\{\begin{aligned} 1 & \text { if } a \equiv 1(\bmod 8) \\ -1 & \text { if } a \equiv 5(\bmod 8) . \end{aligned}\right. \\ \left(\frac{a}{p}\right)=\text { the Legendre symbol }\left(\frac{a}{p}\right) \text { if } p \text { is an odd prime such that } p \nmid a \text {. } \\ \left(\frac{a}{n}\right)=\prod_{j=1}^{r}\left(\frac{a}{p_{j}}\right)^{t,} \text { if }(a, n)=1 \text { and } n=\prod_{j=1}^{r} p_{j}^{t} \text { is the prime factorization of } n \text {. } \end{array}

Solution

None

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.