杨辉三角的一些性质和lucas定理