8.求函数y=的定义域时,第一步推理中大前提是有意义时,a≥0,小前提是有意义,结论是__________.
9.设m为实数,利用三段论证明方程x2-2mx+m-1=0有两个相异实根.
10.如图,平行四边形ABCD中,∠DAB=60°,AB=2,AD=4.将△CBD沿BD折起到△EBD的位置,使平面EDB⊥平面ABD.求证:AB⊥DE.