九点圆的发现和证明及其应用
也就是说,这九点在同一个圆上。大数学家欧拉在1765年就发现了九点圆,因此人们称之为“欧拉圆”。1804年英国的培亚敏俾凡在雷榜算理之库卷一第十八章中,正式提出“九点”问题,布德卫斯与韦唐给出了证明。1822年德国人费尔巴哈在直角三角形的一些特殊点的性质里,发表了自己的证法,并且说九点圆与内切圆及三个旁切圆相切。九点圆的证法很多,但证法比较繁琐。同理可证另一矩形PQNK的对角线PN、QK也相等且互相平分,因此九点共圆。
理论教育
2023-07-04