码迷,mamicode.com
首页 > 其他好文 > 详细

1+1=2

时间:2015-02-12 20:01:59      阅读:224      评论:0      收藏:0      [点我收藏+]

标签:

技术分享

# coding: utf-8

# In[95]:

import sympy
sympy.init_session()
e, p, i, o, A = symbols(e, p, i, 0, A)
Riemann = symbols(Riemann, cls=Function)


# 我们有一个形如以下等式的的数学式子,由于其十分复杂,现将其简化

# <b>1+1=2</b>

# 注意到有重要等式

# In[22]:

Eq(1, ln(e))


# 而又由定义

# In[74]:

expr1 = Limit((1+1/p)**p, p, oo)
expr1


# In[75]:

expr1.doit()


# In[46]:

Eq(e, expr1)


# 并做如下规定

# In[87]:

factorial(0)


# In[86]:

Eq(1, factorial(o))


# 又由于黎曼函数在有限闭区间内非0点组成的测度为0,故有

# In[51]:

expr2 = Integral(Riemann(x), (x, 0, 1))
Eq(expr2, 0)


# 同时由无穷级数理论,我们有

# In[70]:

expr3 = Limit(Sum(Rational(1, 2)**i, (i, 0, n)), n, oo)
expr3


# In[68]:

expr3.doit()


# In[69]:

Eq(expr3, 2)


# 那么将前面的部分式子带入,我们有

# In[89]:

Eq(ln(e)+1, expr3)


# 再将 _e_ 带入,得到

# In[91]:

Eq(log(expr1)+factorial(o), expr3)


# 又由于反常积分理论中有

# In[118]:

expr4 = Limit(Integral(E**-x*x**o, (x, 0, A)), A, oo)
expr5 = factorial(expr4)


# In[117]:

Eq(factorial(o), Eq(1, expr5))


# 将黎曼函数代入积分中的x^0项,故

# In[122]:

expr6 = factorial(Limit(Integral(E**-x*x**expr2, (x, 0, A)), A, oo))
Eq(1, expr6)


# 同时,由双曲三角函数恒等式,我们有

# In[133]:

expr7 = cosh(z)**2 - sinh(z)**2
expr7


# In[135]:

Eq(1, expr7)


# 综上所述,我们得到了化简之后的表达式

# In[144]:

expr8 = Limit(Sum(expr7/2**i, (i, 0, n)), n, oo)
expr8


# In[145]:

Eq(expr1 + expr6, expr8)


# 注意到,该式比 1+1=2 更加简单深刻,易于理解。其它数学恒等式也有助于化简此式。
# 这说明,数学分析是一门化繁为简,化抽象于直观、化神奇为腐朽的,不断发展的一门富有活力的基础课程。

# In[ ]:

 

技术分享

 

附原始图片

技术分享

1+1=2

标签:

原文地址:http://www.cnblogs.com/openqt/p/4288770.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!