分析解答问题---**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. ① 是假命题, ② 是假命题