墨涅劳斯定理的逆假设有三点
D,E,F站队(或延伸)
一个B,BC,一个C分别,使
1或
3.其中一个在边的延伸处。然后点
D,E,F共线当且仅当
DB一个D×ECBE×F一个CF=1.
让
G是…的交集
CD而且
F一个,让
H是…的交集
一个B而且
DE,,让
我是…的交集
BC而且
EF.我们要证明这三点共线。
让
U是…的交集
CD而且
EF,让
V是…的交集
一个B而且
EF,,让
W是…的交集
一个B而且
CD.墨涅劳斯在
△UVW和行
HDE,我们有
WHVH⋅UDWD⋅VEUE=1.
墨涅劳斯在
△UVW和行
一个GF,我们有
W一个V一个⋅UGWG⋅VFUF=1.
墨涅劳斯在
△UVW和行
BC我,我们有
WBVB⋅UCWC⋅V我U我=1.
把这些乘出来,得到
WHVH⋅UDWD⋅VEUE⋅W一个V一个⋅UGWG⋅VFUF⋅WBVB⋅UCWC⋅V我U我=1.
经过重新排列,我们得到
UDWD⋅VEUE⋅W一个V一个⋅VFUF⋅WBVB⋅UCWC⋅WHVH⋅UGWG⋅V我U我=1.
注意,根据一个点的幂,我们有
UDWD⋅VEUE⋅W一个V一个⋅VFUF⋅WBVB⋅UCWC=W一个×WBWD×WC⋅VE×VFV一个×VB⋅UC×UDUE×UF=1.
因此,上面的乘积简化为
WHVH⋅UGWG⋅V我U我=1.
墨涅劳斯说,
G,H,而且
我共线。
□