MCP рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХрдиреЗрдХреНрдЯ рдХрд░реЗрдВ тЖТ

рдЧрдгрдирд╛ рджрд░реНрдЬ рдХрд░реЗрдВ

рд╕реВрддреНрд░ (рдлреЙрд░реНрдореВрд▓рд╛)

рд╕реВрддреНрд░ (рдлреЙрд░реНрдореВрд▓рд╛): рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдФрд░ рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреИрд▓рдХреБрд▓реЗрдЯрд░
Show calculation steps (1)
  1. Double factorial (real x)

    Double factorial (real x): рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдФрд░ рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреИрд▓рдХреБрд▓реЗрдЯрд░

    Even n: n*(n-2)*...*2; odd n: n*(n-2)*...*1; 0!!=1, (-1)!!=1. The closed form extends to real x.

рд╡рд┐рдЬреНрдЮрд╛рдкрди

рдкрд░рд┐рдгрд╛рдо

рдкрд░рд┐рдгрд╛рдо
120
рд╡рд┐рдзрд┐ рдЫреЛрдЯреЗ рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдХреЗ рд▓рд┐рдП рд╕рдЯреАрдХ рдЧреБрдгрдирдлрд▓; рдЕрдиреНрдпрдерд╛ рдЧрд╛рдорд╛ / log-gamma

рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ

рдпрд╣ рдЯреВрд▓ рдХрд┐рд╕реА рдорд╛рди x рдХреЗ рд▓рд┐рдП рдЪрд╛рд░ рдЖрдкрд╕ рдореЗрдВ рдЬреБрдбрд╝реА рд░рд╛рд╢рд┐рдпрд╛рдБ рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ: рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ x!, рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ x!!, рдФрд░ рдЗрди рджреЛрдиреЛрдВ рдХреЗ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд▓рдШреБрдЧрдгрдХ, рдпрд╛рдиреА ln(x!) рддрдерд╛ ln(x!!)ред рдмрд╕ Function рдбреНрд░реЙрдкрдбрд╛рдЙрди рд╕реЗ рд╡рд╛рдВрдЫрд┐рдд рд░рд╛рд╢рд┐ рдЪреБрдиреЗрдВ, x рдХрд╛ рдорд╛рди рджрд░реНрдЬ рдХрд░реЗрдВ рдФрд░ рдкрд░рд┐рдгрд╛рдо рджреЗрдЦ рд▓реЗрдВред рдпрд╣ рдЧрдгрд┐рдд рд╡рд┐рд╢реБрджреНрдз рд░реВрдк рд╕реЗ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ (рдЖрдпрд╛рдо рд░рд╣рд┐рдд) рд╣реИ, рдЗрд╕рд▓рд┐рдП рдЗрд╕рдореЗрдВ рдХрд┐рд╕реА рдЗрдХрд╛рдИ рдпрд╛ рд░реВрдкрд╛рдВрддрд░рдг рдХреА рдЬрд╝рд░реВрд░рдд рдирд╣реАрдВ рдкрдбрд╝рддреАред

рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ

рдХреЛрдИ рдПрдХ рдлрд▓рди рдЪреБрдиреЗрдВ (x!, ln(x!), x!! рдпрд╛ ln(x!!)), рдЪрд░ x рдореЗрдВ рдорд╛рди рдЯрд╛рдЗрдк рдХрд░реЗрдВ рдФрд░ рд╕рдмрдорд┐рдЯ рдХрд░реЗрдВред рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рд▓рд┐рдП x! рдФрд░ x!! рдЕрдкрдиреА рдкрд░рдВрдкрд░рд╛рдЧрдд рд╕рдВрдпреЛрдЬрдирд╛рддреНрдордХ (combinatorial) рдкрд░рд┐рднрд╛рд╖рд╛рдУрдВ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдХрд╛рдо рдХрд░рддреЗ рд╣реИрдВред рдпрд╣ рдЗрдВрдЬрди рд╡рд╛рд╕реНрддрд╡рд┐рдХ (рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ) рдорд╛рди рднреА рд╕реНрд╡реАрдХрд╛рд░ рдХрд░рддрд╛ рд╣реИ: рдЗрд╕рдХреЗ рд▓рд┐рдП рдпрд╣ рдЧрд╛рдорд╛ рдлрд▓рди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдЬреИрд╕реЗ рдХрд┐ \(0.5! = \sqrt{\pi}/2\)ред рдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ рдЧрд╛рдорд╛ рдлрд▓рди рдХреЗ рдзреНрд░реБрд╡ (poles) рд╣реЛрддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдБ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рд░рд╣рддрд╛ рд╣реИред

рд╕реВрддреНрд░реЛрдВ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛

рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреЛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛рдУрдВ рддрдХ рдмрдврд╝рд╛рдиреЗ рдХрд╛ рдХрд╛рдо рдЧрд╛рдорд╛ рдлрд▓рди рдХреЗ рдЬрд╝рд░рд┐рдП рд╣реЛрддрд╛ рд╣реИ: $$x! = \Gamma(x+1)$$ рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рд╣рд░ рджреВрд╕рд░реЗ рдкрдж рдХрд╛ рдЧреБрдгрдирдлрд▓ рд╣реИ: рд╕рдо (even) n рдХреЗ рд▓рд┐рдП \(n\cdot(n-2)\cdot\ldots\cdot 2\) рдФрд░ рд╡рд┐рд╖рдо (odd) n рдХреЗ рд▓рд┐рдП \(n\cdot(n-2)\cdot\ldots\cdot 1\), рдЬрдмрдХрд┐ рдореВрд▓ рд╕реНрдерд┐рддрд┐рдпрд╛рдБ \(0!! = 1\) рдФрд░ \((-1)!! = 1\) рд╣реИрдВред рд╕рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рдХреЗ рд▓рд┐рдП рдПрдХ рд╣реА рдмрдВрдж рд░реВрдк (closed form) рдХрд╛рдо рдХрд░рддрд╛ рд╣реИ: $$x!! = 2^{\frac{x}{2}+\frac{1-\cos\pi x}{4}}\,\pi^{\frac{\cos\pi x - 1}{4}}\,\Gamma\!\left(\tfrac{x}{2}+1\right)$$ рдмрд╣реБрдд рдмрдбрд╝реЗ рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ log-gamma рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП рд▓рдШреБрдЧрдгрдХ рд╕реНрдкреЗрд╕ рдореЗрдВ рдХрд╛рдо рдХрд░рддрд╛ рд╣реИ, рддрд╛рдХрд┐ рдХрднреА рдУрд╡рд░рдлреНрд▓реЛ рди рд╣реЛ: $$\ln(x!) = \operatorname{lgamma}(x+1)$$

рдЧрд╛рдорд╛ рдлрд▓рди рдХрд╛ рдЪрд┐рдХрдирд╛ рд╡рдХреНрд░ рдЬрд┐рд╕рдореЗрдВ рдкреВрд░реНрдгрд╛рдВрдХ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдорд╛рди рд╡рдХреНрд░ рдкрд░ рдмрд┐рдВрджреБрдУрдВ рдХреЗ рд░реВрдк рдореЗрдВ рдЕрдВрдХрд┐рдд рд╣реИрдВ
рдЧрд╛рдорд╛ рдлрд▓рди рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреЛ рд╕рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдорд╛рдиреЛрдВ рддрдХ рдмрдврд╝рд╛рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ рдкреВрд░реНрдгрд╛рдВрдХ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рд╡рдХреНрд░ рдкрд░ рд╕реНрдерд┐рдд рд╣реЛрддреЗ рд╣реИрдВред
рдЖрд░реЗрдЦ рдЬреЛ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреЛ рд╕рднреА рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдХреЗ рдЧреБрдгрдирдлрд▓ рдФрд░ рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреЛ рд╣рд░ рджреВрд╕рд░реЗ рдкреВрд░реНрдгрд╛рдВрдХ рдХреЗ рдЧреБрдгрдирдлрд▓ рдХреЗ рд░реВрдк рдореЗрдВ рджрд┐рдЦрд╛рддрд╛ рд╣реИ
рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рд╣рд░ рдкреВрд░реНрдгрд╛рдВрдХ рдХреЛ 1 рддрдХ рдЧреБрдгрд╛ рдХрд░рддрд╛ рд╣реИ; рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдПрдХ-рдПрдХ рдкреВрд░реНрдгрд╛рдВрдХ рдЫреЛрдбрд╝ рджреЗрддрд╛ рд╣реИред

рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг

рдорд╛рди рд▓реАрдЬрд┐рдП Function = x!! рдФрд░ x = 6ред 6 рдХрд╛ рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рд╣реИ \(6\cdot 4\cdot 2 = 48\)ред рдЕрдм ln(x!!) рдкрд░ рд╕реНрд╡рд┐рдЪ рдХрд░рдиреЗ рдкрд░ рдорд┐рд▓рддрд╛ рд╣реИ \(\ln(48) \approx 3.8712010109\)ред рдЗрд╕реА рддрд░рд╣ x = 5 рдХреЗ рд╕рд╛рде x! рджреЗрддрд╛ рд╣реИ \(1\cdot 2\cdot 3\cdot 4\cdot 5 = 120\), рдФрд░ 5 рдХрд╛ ln(x!) рд╣реИ \(\ln(120) \approx 4.7874917428\)ред

рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рд╕рд╡рд╛рд▓

рд▓рдШреБрдЧрдгрдХ рд╡рд╛рд▓реЗ рд╡рд┐рдХрд▓реНрдк рдХреНрдпреЛрдВ рджрд┐рдП рдЧрдП рд╣реИрдВ? рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдмреЗрд╣рдж рддреЗрдЬрд╝реА рд╕реЗ рдмрдврд╝рддреЗ рд╣реИрдВ рдФрд░ рд╕рд╛рдорд╛рдиреНрдп рдлреНрд▓реЛрдЯрд┐рдВрдЧ-рдкреЙрдЗрдВрдЯ рдЧрдгрдирд╛ рдореЗрдВ рд▓рдЧрднрдЧ \(x \approx 1.7\times 10^{308}\) рдХреЗ рдкрд╛рд╕ рдУрд╡рд░рдлреНрд▓реЛ рд╣реЛ рдЬрд╛рддреЗ рд╣реИрдВред рд▓рдШреБрдЧрдгрдХ рдкрд░рд┐рдгрд╛рдо рдЖрдкрдХреЛ рдЦрдЧреЛрд▓реАрдп рд░реВрдк рд╕реЗ рдмрдбрд╝реЗ рдорд╛рдиреЛрдВ рдХреЛ рднреА рд╕рдЯреАрдХрддрд╛ рд╕реЗ рд╕рдВрднрд╛рд▓рдиреЗ рджреЗрддреЗ рд╣реИрдВред

рдХреНрдпрд╛ x рджрд╢рдорд▓рд╡ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ? рд╣рд╛рдБред рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ x рдХреЗ рд▓рд┐рдП рдЧрд╛рдорд╛-рдлрд▓рди рд╡рд╛рд▓рд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдЙрдкрдпреЛрдЧ рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ рдкреВрд░реНрдгрд╛рдВрдХ рдорд╛рдиреЛрдВ рдХреЗ рдмреАрдЪ рдПрдХ рд╕рд╣рдЬ (smooth) рдЕрдВрддрд░реНрд╡реЗрд╢рди рджреЗрддрд╛ рд╣реИред

рдЛрдгрд╛рддреНрдордХ x рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХреНрдпрд╛? рдЛрдгрд╛рддреНрдордХ рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ рдорд╛рди (рдЧрд╛рдорд╛ рдХреЗ рдЬрд╝рд░рд┐рдП) рд╕реНрд╡реАрдХрд╛рд░реНрдп рд╣реИрдВ, рд▓реЗрдХрд┐рди рдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ рдзреНрд░реБрд╡ (poles) рд╣реЛрддреЗ рд╣реИрдВ рдЬрд╣рд╛рдБ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдФрд░ рдбрдмрд▓ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рджреЛрдиреЛрдВ рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рд░рд╣рддреЗ рд╣реИрдВред

рдЕрдВрддрд┐рдо рдЕрдкрдбреЗрдЯ: