已知：ABCD的对角线交点为O，点E、F分别在边AB、CD上，分别沿DE、BF折叠四边形ABCD, A、C两点恰好都落在O点处，且四边形DEBF为菱形（如图）．

⑴求证：四边形ABCD是矩形；
⑵在四边形ABCD中，求的值．