（本小题满分12分）空间四边形OABC各边以及AC，BO的长都是1，点D，E分
别是边OA，BC的中点，连接DE
（1）求DE的长
（2）求证OABC