小惠:证明:∵ , ,
∴AC垂直平分BD , ∴ , ,
∴四边形ABCD是菱形.( )
小洁:这个题目还缺少条件,需要补充一个条件才能证明.
若赞同小惠的证法,请在第一个方框内的( )中打“√”;若赞成小洁的说法,请你补充一个条件,并证明.