优质解答
以下是托里析利的方法：以AB,AC为边向外作两个正三角形其外接圆交于A和P.过A的PA的垂线、过B的PB的垂线、过C的PC的垂线交成△XYZ,如图.按作图方法知道∠APB=120,但∠PBX=∠PAX=90,于是∠X=60,同理∠Y=∠Z=60,则△XYZ是等边三角形.假定有一个不与P重合的点P',过P'向这个等边三角形引垂线P'A'、P'B'、P'C',注意到直角三角形斜边大于直角边,又考虑一下维维亚尼定理(正三角内的点到三边距离之和为定值),于是
P'A +P'B +P'C
>P'A'+P'B'+P'C'
=PA +PB +PC
其最小性得证.于是也导出一种画法：以AB、BC为边向外作一个正三角形,再作其外接圆,两个圆就交于费马点.很巧在托里析利 300 年后的匈牙利著名数学家李兹（ Frederick Riesz ）也给出同样的方法.
以下是托里析利的方法：以AB,AC为边向外作两个正三角形其外接圆交于A和P.过A的PA的垂线、过B的PB的垂线、过C的PC的垂线交成△XYZ,如图.按作图方法知道∠APB=120,但∠PBX=∠PAX=90,于是∠X=60,同理∠Y=∠Z=60,则△XYZ是等边三角形.假定有一个不与P重合的点P',过P'向这个等边三角形引垂线P'A'、P'B'、P'C',注意到直角三角形斜边大于直角边,又考虑一下维维亚尼定理(正三角内的点到三边距离之和为定值),于是
P'A +P'B +P'C
>P'A'+P'B'+P'C'
=PA +PB +PC
其最小性得证.于是也导出一种画法：以AB、BC为边向外作一个正三角形,再作其外接圆,两个圆就交于费马点.很巧在托里析利 300 年后的匈牙利著名数学家李兹（ Frederick Riesz ）也给出同样的方法.
P'A +P'B +P'C
>P'A'+P'B'+P'C'
=PA +PB +PC
其最小性得证.于是也导出一种画法：以AB、BC为边向外作一个正三角形,再作其外接圆,两个圆就交于费马点.很巧在托里析利 300 年后的匈牙利著名数学家李兹（ Frederick Riesz ）也给出同样的方法.
以下是托里析利的方法：以AB,AC为边向外作两个正三角形其外接圆交于A和P.过A的PA的垂线、过B的PB的垂线、过C的PC的垂线交成△XYZ,如图.按作图方法知道∠APB=120,但∠PBX=∠PAX=90,于是∠X=60,同理∠Y=∠Z=60,则△XYZ是等边三角形.假定有一个不与P重合的点P',过P'向这个等边三角形引垂线P'A'、P'B'、P'C',注意到直角三角形斜边大于直角边,又考虑一下维维亚尼定理(正三角内的点到三边距离之和为定值),于是
P'A +P'B +P'C
>P'A'+P'B'+P'C'
=PA +PB +PC
其最小性得证.于是也导出一种画法：以AB、BC为边向外作一个正三角形,再作其外接圆,两个圆就交于费马点.很巧在托里析利 300 年后的匈牙利著名数学家李兹（ Frederick Riesz ）也给出同样的方法.