高中数学联赛常用定理