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.