这个条目给出了二次互反律的证明。
二次互反律的叙述.对于两个奇素数formula_1，formula_2。其中，formula_3是勒让德符号。
证明一.设formula_4是一个奇素数并且formula_5。对于每个formula_6，这样定义formula_7和formula_8：formula_9，其中formula_10，formula_11。通过分别考虑formula_12和formula_13的情况，易证每个formula_8都两两不等。