题目大意: 给出n求sn,中括号代表向下取整. 为了方便表述,我们令a = (3k+6)!,b = (3k+7),令c = (a+1)/b也就是式子中的前半部分,d = a/b也就是式子中的后半部分. 观察c,d我们可以知道只有当c为整数时[c-[d]]为1,其他时候都是0,即只有当(a+1)%b==0时[c-[d]] == 1. 威尔逊定理告诉我们:当且仅当p为素数时:( p -1 )! ≡ -1 ( mod p ). 首先我们要介绍一个定理. 拉格朗日定理:群的子群的规模能被群的规模整除,我…
