下列表述：①综合法是执因导果法；②综合法是顺推法；③分析法是执果索因法；
④分析法是间接证法；⑤反证法是逆推法．正确的语句有（　　）

分析法又称执果索因法，若用分析法证明：“设a＞b＞c，且a+b+c=0”，求证

b2-ac

＜

3

a”索的因应是（　　）

在直平行六面体AC₁中，ABCD是菱形，∠DAB=60°，AC∩BD=O，AB=AA₁．
（1）求证：C₁O∥平面AB₁D₁；
（2）求证：平面AB₁D₁⊥平面ACC₁A₁；
（3）求直线AC与平面AB₁D₁所成角的正弦值．
★你能同时用好“由因导果和执果索因”的证明吗？

4、分析法证明不等式中所说的“执果索因”是指寻求使不等式成立的（　　）