分析解答问题---**Problem:** 1. 在矩形 ABCD 中, 有一个菱形 BFDE (点 E, F 分别在线段 AB, CD 上), 记它们的面积分别为 S_ABCD 和 S_BFDE. 现给出下列命题: ① 若 S_ABCD / S_BFDE = (2 + √3) / 2, 则 tan∠EDF = √3 / 3; ② 若 DE^2 = BD ⋅ EF, 则 DF = 2AD. 那么 ( ) **Options:** A. ① 是真命题, ② 是真命题 B. ① 是真命题, ② 是假命题 C. ① 是假命题, ② 是真命题 D. ① 是假命题, ② 是假命题

视频信息