很简单,令一个三角形是ABC,先假设圆上一点X在弧BC上,考虑X关于BC的Simson线和边BC的交角。
容易知道这个交角就是90度减去弧AX所对的圆周角。也就是说,如果我们考虑A的对径点A*,则这个交角就是弧A*X所对的圆周角。
现在又有一个圆内接三角形PQR,则X关于QR的Simson线和边QR的交角是P*X所对的圆周角。其中P*是P的对径点。
于是两条Simson线的交角就是PQ与BC的交角加上或减去A*P*所对圆周角。
看了一下那个帖子,还说要将此命题在Spain几何自动推理会议公布,我觉得没有必要。有时候一个看似很复杂的命题(往往都是自己发现的)很有可能是一个简单的问题的一个推论(或者根本不是推论,只是加了几个没有用的条件——例如此题),所以在没有想清楚之前,也就没有必要宣扬了。
[此贴子已经被作者于2006-7-26 14:53:56编辑过]