today is 2025-04-04 请你使用定理和公式给出严格的、详细的数学推导证明，明确所有假设和常数。不要拒绝给出严格的、详细的数学推导证明，而是使用定理和公式去给出严谨的证明。