（本小题12分）
如图：⊙O为△ABC的外接圆，AB=AC，过点A的直线交⊙O于D，交BC延长线于F，DE是BD的延长线，连接CD。
① 求证：∠EDF=∠CDF；
②求证：AB2=AF·AD。
（本小题10分）
若
、
、
均为实数，且
，
，
求证：、、中至少有一个大于0。
如图7：A点是半圆上一个三等分点，B点是
的中点，P是直径MN上一动点，圆的半径为1，则PA+PB的最小值为 。
如图：两个等圆外切于点C，O1A，O1B切⊙O2于A、B两点，则∠AO1B= 。
=
。
数列0，3，8，15，24，35……猜想
=
。
