刚算了一下
EF还真是这个  
  
【 在 ld2020 (ld2020) 的大作中提到: 】
:  不会证明啊。但E点坐标貌似是错的，应该E(a-3/2,0),F(a+1/2,a+1/2),从F点坐标可见F点在直线y=x上。
:  【 在 forlorm 的大作中提到: 】
:  : 看了半天也不知道怎么下手  
:  
--
FROM 221.221.61.*