已知:如图,AB=AC,DB=DC,F是AD的延长线上的一点.试猜想BF和CF的数量关系,并证明你的猜想.

解:BF=CF,理由如下,
在△ADB和△ADC中,
                                  ,
∴△ADB≌△ADC           ,
∴                  (全等三角形对应角相等)
在△ABF和△ACF中,
                       ,
∴△ABF≌△ACF          ,
∴BF=CF(全等三角形对应边相等)
①,②,③SSS,④SAS,⑤SSA,⑥∠ABD=∠ACD,⑦∠BAD=∠CAD,⑧,⑨,
以上空缺处依次填写正确的顺序为(    )