展开 约瑟夫问题公式推法