吴文洪

吴文洪（共8篇）

1.吴文洪 篇一

吴文忻(Ng Man Yan, Natalie)，1975年10月17日出生于潮州，大学本科学历，曾任见习电脑营业员，参加香港小姐选举，荣获港姐季军而加入娱乐圈。曾为香港TVB的女艺人，拍过电影、电视剧，做过节目主持人。代表作品有《街市的童话》、《功夫足球》等。而后签约一元制作室有限公司，转往电影圈发展。据证监会资料显示，吴文忻现受聘于东方汇财证券有限公司，担任营业代表一职。

目录演艺经历个人生活演艺经历

节目主持

：“峰”生水起精读班 (有线电视) ：今日法庭 (亚洲电视)

节目嘉宾

20：《电视风云五十年》第三集(亚洲电视) 20：《选美风云五十年》第三集 (亚洲电视)

个人生活

吴文忻于下嫁从事金融界、有“南丫岛王子”之称的男友陈剑陵。

2.吴文英：高阳台 篇二

吴文英

宫粉雕痕，

仙云堕影，

无人野水荒湾。

古石埋香，

金沙锁骨连环。

南楼不恨吹横笛，

恨晓风千里关山。

半飘零庭上黄昏，

月冷阑干。

寿阳空理愁鸾，

问谁调玉髓，

暗补香瘢？

细雨归鸿，

孤山无限春寒。

离魂难倩招清些，

梦缟衣解佩溪边。

最愁人啼鸟晴明，

叶底清圆。

赏析：

3.吴文英——《齐天乐》 篇三

【作者】：吴文英——《齐天乐》

【内容】：

烟波桃叶西陵路，十年断魂潮尾。

古柳重攀，轻鸥聚别，陈迹危亭独倚。

凉颸乍起。渺烟碛飞帆，暮山横翠。

但有江花，共临秋镜照憔悴。

华堂烛暗送客，眼波回盼处，芳艳流水。

素骨凝冰，柔葱蘸雪，犹忆分瓜深意。

清尊未洗。梦不湿行云，漫沾残泪。

可惜秋宵，乱蛩疏雨里。

【作者】：

吴文英(1200?—1260?)字君特，号梦窗。晚号觉翁。四明(浙江宁波市)人。终生不仕。曾在江苏、浙江一带当幕僚。他的词上承温庭筠，近师周邦彦，在辛弃疾、姜夔词之外，自成一格。他的词注重音律，长于炼字。雕琢工丽。张炎《词源》说他的词“如七宝楼台，眩人眼目，拆碎下来，不成片段”。而尹焕《花庵词选引》则认为“求词于吾宋，前有清真，后有梦窗”。吴词多写个人的身世之感，较少反映社会现实的作品。在艺术技巧方面有独到之处。词作有《梦窗词甲乙丙丁稿》四卷。

【注释】：

桃叶：晋王献之妾。

西陵：渡口名。王献之：“《桃叶复桃叶，渡汇不作楫。”

凉颸：凉风。

碛：沙洲。

秋镜：秋水如镜。

柔葱：指十指纤柔洁白。

行云：用巫山神女事。

【赏析】：

4.吴文英——《望江南/忆江南》 篇四

【作者】：吴文英——《望江南/忆江南》

【内容】：

三月暮，花落更情浓。

人去秋千闲挂月，马停杨柳倦嘶风。

堤畔画船空。

恹恹醉，长日小帘栊。

宿燕夜归银烛外，啼莺声在绿阴中。

无处觅残红。

【注释】：

恹恹：形容精神恍惚困倦。

帘栊：挂有珠帘的窗户。

【赏析】:

5.吴文英的诗句有哪些呢？ 篇五

2.去年溪上牡丹时，还试长安酒。——吴文英《烛影摇红·麓翁夜宴园堂》

3.剪红情，裁绿意，花信上钗股。——吴文英《祝英台近·除夜立春》

4.小娉婷，青铅素靥，蜂黄暗偷晕。——吴文英《花犯·小娉婷》

5.黄蜂频扑秋千索，有当时、纤手香凝。——吴文英《风入松·听风听雨过清明》

6.黄鹤楼头月午。奏玉龙、江梅解舞。——吴文英《水龙吟·过秋壑湖上旧居寄赠》

7.檐花旧滴，帐烛新啼，香润残冬被。——吴文英《解语花·立春风雨中饯处静》

8.可怜千点吴霜，寒销不尽，又相对、落梅如雨。——吴文英《祝英台近·除夜立春》

9.莫唱江南古调，怨抑难招，楚江沉魄。——吴文英《澡兰香·淮安重午》

10.西湖旧日，画舸频移，叹几萦梦寐。——吴文英《莺啼序·荷和赵修全韵》

11.又看看、便系金狨莺晓，傍西湖路。——吴文英《水龙吟·寿梅津》

12.卜筑西湖，种翠萝犹傍，软红尘里。——吴文英《金盏子·赋秋壑西湖小筑》

13.御罗屏底翻歌扇，忆西湖、临水开窗。——吴文英《风入松·桂》

14.西湖旧日，留连清夜，爱酒几将花误。——吴文英《永遇乐·探梅次时斋韵》

6.吴文洪 篇六

宋代：吴文英

三月暮，花落更情浓。人去秋千闲挂月，马停杨柳倦嘶风。堤畔画船空。

恹恹醉，长日小帘栊。宿燕夜归银烛外，啼莺声在绿阴中。无处觅残红。

译文

三月暮春时节，花儿凋落后，情意反而更为浓厚。人离开后秋千在月光中静静地悬挂着，拴在杨柳树下的马儿疲倦得都不想迎风嘶叫。停驻在堤边的画船上空无一人。

小帘栊中的人整日感到浑身无力，昏昏欲睡。归家的燕子因为银烛正亮着，不敢飞回巢中。绿树荫内，流浪的黄莺不停地啼叫。春光流逝了，连那凋萎的花也无处可寻。

注释

望江南：又名“梦江南”“忆江南”，原唐教坊曲名，后用为词牌名。段安节《乐府杂录》：“《望江南》始自朱崖李太尉(德裕)镇浙日，为亡*谢秋娘所撰，本名“谢秋娘”，后改此名。”《金奁集》入“南吕宫”。小令，单调二十七字，三平韵。

恹恹(yān)：精神不振貌。

“宿燕”句：借用温庭筠《七夕》“银烛有光妨宿燕”诗意。

赏析

开篇“三月暮，花落更情浓”两句即点明时节，在暮春三月，红花落去，春光将尽，词人对春天的喜爱愈加浓烈。在这里，词人没有描写对春天草长莺飞、姹紫嫣红的喜爱，而是通过残花飘零来强调自己对春天的不舍。越是生离死别，感情就越是浓烈，词人深谙其中道理，仅仅“花落更情浓”一句就把春逝心悲刻画得人木三分，比那些光用“愁”、“哀”、“怜”等肤浅字词雕琢词表的词作要深刻、厚重得多。

“人去秋千闲挂月，马停杨柳倦嘶风。堤畔画船空。”佳人离去，秋千空挂，唯见一轮明月悬在朗朗星空中。系在岸边杨柳旁的马儿，可能因为等候主人的时间太长了，不禁迎着缓缓的春风嘶鸣起来。岸边的画船空寂无人，随着水波上下起伏。这三句刻画了一幅春夜湖边杨柳图。

“宿燕夜归银烛外，流莺声在绿阴中。”房中银烛明亮，宿燕径直飞到檐下休息，绿荫中黄莺的啼鸣婉转动听。这里化用了温庭筠《池塘七夕》诗中“银烛有光妨宿燕”的句意，暗喻佳人盼郎、郎却不归的孤独凄寂。流莺啼啭，让孤独的人儿更加心伤，这里烘托出佳人孤栖独处、彷徨忧伤的心境。

最后一句“无处觅残红”，落花流水，残红难觅，对应上阕的“花落”。也有聚散匆匆、幽期难定的无奈，最后以佳人的无边怅惘哀愁收束全文。

7.吴文俊数学机械化的成就和意义 篇七

自1976年冬，中国著名教授吴文俊在中国古代数学机械化思想的启发下，尚不知外国人的研究成果，独辟蹊径，大胆地投入数学机械化的研究，创建了数学机械化方法：从几何公理体系出发，引进坐标，将任意几何问题代数化→将证明题的假设与结论分别表示成多元多项式方程→在电子计算机上运算，以判断定理是否成立。

吴文俊教授运用自己的方法，在电子计算机上完成了西姆森线、费尔巴哈定理、毛莱定理等一系列初等几何的证明。随后，他又把证明的范围扩大到非欧几何、仿射几何、圆几何、线几何、球几何等领域。目前，运用吴文俊教授的方法，已证明出600多条定理，许多定理的证明只需几秒甚至零点几秒就可在电子计算机上完成。甚至有一些定理证明相当繁杂，即便交给杰出的数学家来证，也是相当困难的。

中国数学家吴文俊，终于实现了千百年来几何定理机械化证明的梦想。被誉为“吴方法”的诞生，给两千多年的公理化演绎体系带来了强烈冲击。

吴文俊教授还用自己的方法，证明了可以用计算机程序从刻卜勒定律推导出牛顿定律，这已超出了数学定理机械化证明的范畴，而是属于更广的自动推理。其实，各个科学领域研究的问题，只要涉及到方程求解，“吴方法”都会有用武之地。

美国《自动推理杂志》编委穆尔认为，“吴方法”建立之前，几何定理机械化证明的研究处于一片黑暗，吴不仅冲破了这种沉寂的局面，而且带来了光辉的前景。

美国自动推理的权威人物淮斯认为，吴文俊在自动推理领域的杰出贡献是不可磨灭的，他理应获得最高奖。

吴文俊的心愿：“中国传统数学濒于失传并让位于西方现代数学，已有几个世纪之久了，现在已到了复兴中国数学事业的紧要关头。下个世纪，应该让中国先哲创立的机械化算法体系在数学领域再领风骚”。

机械化数学的典范——评吴文俊的专著《几何定理机器证明的基本原理》--《中国科学院院刊》1987年04期

1899年希尔伯特(Hilbert)出版了他的经典名著《几何基础》,从此奠定了几何公理化体系的基础。1984年科学出版社出版的吴文俊的专著《几何定理机器证明的基本原理》(以下简称《原理》)一书,可以说是奠定了几何机械化体系的基础。它可以与《几何基础》媲美,成为机械化数学的典范著作。

机器定理证明与数学机械化

http://.cn 1999/12/08 11:00 科技日报

1977年，吴文俊证明初等几何主要一类定理的证明可以机械化（即刻板化、程序化、算法化）。1978年，吴文俊又证明初等微分几何中的一些主要定理的证明也可以机械化。其后，他把机器定理证明的范围推广到非欧几何、仿射几何、圆几何、线几何、球几何等领域。

继机器定理证明之后，吴文俊把研究重点转移到数学机械化的核心问题———方程求解上来，得出了作为机械化数学基础的整序原理及零点结构原理，它不仅可用于代数方程组，还可以解代数偏微分方程组，从而大大扩充了理论及应用的范围。国际上公认的“吴方法”不仅在机器定理证明、代数系统求解的理论和算法上，而且在物理学、化学、计算机科学、数学科学和机器人机构学等方面的应用上都取得了国际领先成果。

吴文俊是从对中国传统数学的机械化特征进行深入分析后得出数学机械化的思想和方法的。他的目标是在数学的各个领域全面推行机械化。这一宏伟纲领是继承中国传统文化精华和实现中华民族伟大复兴在数学领域的正确途径。把数学的整类定理（数量可很多甚至无穷尽）整体地考虑，建立统一、确定的证明程序，机械地、按部就班地逐步实施，经有限步即可推断数学命题的真假（真者即为定理），称为数学定理的机械化证明。世界著名数学家、中国科学院院士吴文俊运用以他姓氏命名的“吴氏原理”，在国际上首次实现大量相当困难的数学定理的机械化证明；1997年，在《中国科学》发表划时代论文《初等几何判定问题与机械化问题》；1978年，在微分几何定理的机械化工作方面获突破；1984年，出版极为重要的《几何定理机器证明的基本原理》；1995年，出版专著《吴文俊论数学机械论》。著名数学家张景中院士和杨路教授等人则另辟蹊径，开发数学教育软件，从非线性代数方程组的机器证明入手，发展计算机自动推理，实现了不等式乃至更广泛的数学形式的机器证明，取得国际瞩目的成就。吴文俊荣获首届国家自然科学最高奖，奖金500万元人民币。中国数学机械化学派已处于世界领先地位，正朝着更深入、更全面的各个数学领域的机械证明的宏伟前景进军。

几何定理的机器证明时间:2010-03-26 20:50来源:网络 作者:佚名 点击:234次讲述了用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。

现在大家应该已经形成这样的认识：算法就是针对一类问题的程序性方法，所谓程序性就是每前进一步都有章可循地确定下一步做什么和怎么做。从思想方法上你一定感到这与我们学过的欧氏几何有很大不同，算法思想是从问题解决出发给出算法解而不是按照定义——公理——定理——证明的演绎系统进行的，此二者就是数学发展史中发挥巨大作用的机械化思想和公理化思想。

与源于古希腊的欧氏几何不同，中国古代的几何学乃至整个数学是“术”（算法）的科学，强调构造性、算法化，注意解决科学实验和生产实践中提出的各类问题。例如由观天测地产生的勾股弦公式、日高公式等都是这样的，又如在《四元玉鉴》中己经指出，如果引入天元(即未知数)并建立相应的方程，通过解方程即可自然导出这些几何公式。由此提供了一条证明与发现几何定理的新路：把非机械化的定理求证归结为机械化的方程求解。首届（2001年）国家最高科技奖获得者吴文俊先生曾明确提出，中国古代数学是一种机械化数学，数学机械化思想是中国古代数学的精髓。吴先生的研究起到了正本清源的作用，证实中国古代数学是世界数学的主流之一，促进了西方数学与中国古代数学两大主流的融合，推动了数学的发展，同时也掀起了对中国数学史再认识的新高潮。

吴文俊

公理化体系的几何定理证明非常不机械化。我们都有这样的经验，一个平面几何定理的证明，往往要经过冥思苦想，奇巧构思，无章可循地添加辅助线，迂回曲拆地给出证明。如何利用计算机进行自动推理，特别是进行几何定理的自动证明，是学术界长期研究的课题。所谓定理的机械化证明，就是对一类定理（这类定理可能成千上万）提供一种统一的算法，使得该类定理中每个定理，都可依此方法给出证明。从“一理一证”到“一类一证”，这是数学认识和实践的飞跃。

我们研究的几何机械化问题历史上可以追溯至十二、三世纪宋元时期初次出现的几何学代数化，将几何学问题化为多项式问题，以及相伴而生的多项式组消去法。事实上，早在17世纪大哲学家、大思想家和大数学家莱布尼兹就有机械化证明的设想。只是直到19世纪末及以后由于希尔伯特及其追随者们建立并发展了数理逻辑，这一问题才具有了明确的数学形式。又由于20世纪40年代计算机的出现，才使这一设想有了现实的意义。以下我们按照时间顺序简要介绍一下几何机械化的背景：

在希尔伯特的经典著作《几何基础》中我们可以发现两条机械化定理H和P，这一类可机械化的几何定理的特征是假设部分的代数关系式对于某些特定变量都必须是线性的。这种机械化方法效率最高，即使用手算也可证明颇不简单的定理，但其使用范围过于狭窄。20世纪30年代，美国数学家J.F.Ritt提出了代数几何的构造性理论，并首先提出了多项式组约化整序、特征列等概念，为吴文俊后来的工作铺平了道路。一个必须介绍的人物是波兰数学家Tarski，他在1948的一篇经典著作中解决了实闭域的判定问题，其主要目的之一是给出初等几何定理的机械化证明。只是该方法效率颇低，虽经Seidenberg等人优化仍是繁到不可收拾，因而远远不是切实可行的。1964年Hironaka提出了Grobner基的概念，他称之为“标准基”。1965年B.Buchberger在他的博士论文中深入研究了Grobner基的性质，并给出了Grobner基的算法及改进算法，Grobner基的名称来自于Buchberger的导师W.Grobner(1899~1980)。后文提到的Grobner基方法就是源于对Grobner基性质和算法的应用。吴方法是20世纪70年代末吴文俊先生受中国古代数学机械化思想影响，借助30年代Ritt的理论工作，针对几何定理机器证明问题研究和发展的新方法。吴先生不仅作了许多理论工作，鉴于吴方法的高效性，他还进行了大量的机证实验，证明和发明了不少几何定理。他的工作也影响了国内外一大批数学工作者，将几何机械化乃至整个数学的进程向前推进了一大步。适用吴方法证明的定理有下面特征：假设与结论部分的代数关系式都可以用多项式方程来表示。具体地说：

设A,B,C,D,E,F是平面上的点，借助解析几何知识下列几何性质可以表达为一个或几个多项式方程：

AB平行于CD；

AB垂直于CD；

A,B,C共线；

AB=CD；

C在以A为原点，AB为半径的圆上；

C是AB中点；

锐角ABC与锐角DEF相等；

BD是角ABC的平分线。

一般地，几何定理机器证明问题可以分成下面两个主要步骤：

第一步，用解析几何方法建立坐标系设未知量，将条件表示成所设未知量的多项式方程组G1，将求证表示成多项式方程组G2.（几何的代数化与坐标化）第二步，用一定算法（如吴方法）判断G2是否可以由G1推出。（代数讨论的机械化）

我们也分这两步来介绍。第一步只要看一个简单的例子：射影定理的代数化

求证：直角三角形斜边上的高是斜边两线段的比例中项。

建立坐标系、设未知量如图：

l 条件代数化：

1.AD垂直于BC，斜率互为负倒数，整理得：h1(u1, u2, x1, x2)= x1u1–x2u2 = 0

2.D在BC所在直线上，整理得：h2(u1, u2, x1, x2)= x1u2–x2u1–u1u2 = 0

条件是 四元二次多项式方程组

l求证代数化：

|AD|2 = |CD|·|BD|, 整理得：

g1(u1, u2, x1, x2)=

结论G2: g1(u1, u2, x1, x2)= 0

第二步也就是机械化的核心步骤：判断G2是否可以由G1推出。这样的问题就我们目前所学实在无能为力，甚至说清“推出”二字也很难。比较明显地我们说 可以推出x2–y2–4 = 0还可以推出x = 0等，但是对多元高次的多项式方程组我们就必须借助高等的数学工具和计算机算法来帮忙了。

一种可行的算法是借助前面提过的Grobner基的性质，用计算机去求由多项式组{hi}和g生成的一种代数结构的Grobner基（一组多项式），看这组基中是否包含数字1来判断是否可以推出结论g = 0.吴方法同样是由{hi}构造一组多项式，称为广义特征列。判断g = 0对广义特征列的拟除余式是否为0，就知道求证是否成立了。

上述算法很难理解，事实上多项式方程组求解的问题非常困难，对这个问题的探索理论上引发了代数几何学的建立。我们试着用简单的语言对上面的方法作一点解说：（解释原理，数学上不一定精确）

要证多项式方程g = 0由多项式方程组{hi = 0}推出，就是要证：

g = c1h1 + c2h2 +„+ cnhn, 其中{ci}是和g, {hi}含有相同变元的多项式组。一种朴素的想法是g关于{hi}做除法：用h1去除g, 再用h2去除余式m1, 再用h3去除余式m2„„只要最后hn除余式mn-1为0即可。但是由射影定理的例子可见g关于{hi}实行这样的除法是行不通的。于是我们想办法转化：Grobner基与广义特征列都是多项式组{pi}，使得所有写成d1p1 + d2p2 +„+ dmpm形式的多项式的0点集合就是所有c1h1 + c2h2 +„+ cnhn形式多项式的0点集合（这个集合是令多项式为0的各变元取值的集合，几何上称仿射簇，可以理解为保证多项式方程组同解）。于是问题转化成证明g = d1p1 + d2p2 +„+ dmpm，由于Grobner基与广义特征列具有很好的代数性质，两种算法都可以采用类似多项式除法的办法进行验证。Gröbner基方法中考虑g模{pi}约化的范式（类似于前述多项式除法的最终余式），范式为0说明g = 0 可由{pi = 0}推出，定理得证。吴方法中考虑g关于{pi}拟除的余式Rem(g, {pi}), 余式为0定理得证。

需要指出的是求Grobner基与广义特征列的过程同时也是多项式方程组消元的过程，比证明g = 0用途更广泛的是这两种方法同时给出了求解多项式方程组的有效算法（即使不能求出每个未知量，至少可以保证同解地消掉其中的一部分变元，因而也可用于多参数方程组消参），宏观上这类似前面正文讨论的消元法，因此吴方法也被称为吴消元法。同时吴文俊先生大力倡导数学机械化的应用，如应用于线性控制系统、机构综合设计、平面星体运行的中心构形、化学反应方程的平衡、代数曲面的光滑拼接、从开普勒定律自动惟出牛顿定律、全局优化求解等等。在他的指导和带动下，数学机械化方法还在一些交叉研究领域获得初步应用，如理论物理、计算机科学、信息科学、自动推理、工程几何、机械机构学等等。数学机械化研究正不断开拓更多的应用领域。

关于几何定理的机器证明最后再谈两点，其一文中介绍的Grobner基方法由于在求基的过程中引入大量中间多项式，又可能出现复杂的有理系数，该算法会占用大量的处理时间和存储空间在定理证明中效率远不如吴方法高。二者效率详细对比和大量机证实验可参见.最后一点引用吴文俊先生的话总结数学机械化的实质：

“把质的困难转化为量的复杂。”

8.吴文洪 篇八

吴文英

修竹凝妆，

垂杨驻马，

凭阑浅画成图。

山色谁题？

楼前有雁斜书。

东风紧送斜阳下，

弄旧寒晚酒醒余。

自消凝，

能几花前，

顿老相如？

伤春不在高楼上，

在灯前枕，

雨外熏炉。

怕舣游船，

临流可奈清J？

飞红若到西湖底，

搅翠澜总是愁鱼。

莫重来吹尽香绵，

泪满平芜。

赏析：