更好的办法是延长FB至K，使得BK=FD
然后证明BKF是等腰直角三角形，这应该是标准证法吧
【 在 ezShang 的大作中提到: 】
: 第二问应该是 sqrt(2)*FA = FB+FD
: 做BH垂直AF于H，可证
: 由ABFD共圆和托勒密定理也可以证，但超纲
--
FROM 123.114.91.*