设CE=CD=x
AF=AE=b-x,BF=BD=a-x
AB=AF+BF
c=(b-x)+(a-x)
x=(a+b-c)/2
BD=a-x=(a-b+c)/2
AE=b-x=(b-a+c)/2
将此两组数据代入一元二次方程:2x²-2cx+ab=0
方程成立
所以命题成立
设CE=CD=x
AF=AE=b-x,BF=BD=a-x
AB=AF+BF
c=(b-x)+(a-x)
x=(a+b-c)/2
BD=a-x=(a-b+c)/2
AE=b-x=(b-a+c)/2
将此两组数据代入一元二次方程:2x²-2cx+ab=0
方程成立
所以命题成立