a^n-b^n展开式的推导