正方形ABCD中，E、F分别为边BC、DC上的点，若∠BAE=30°，∠DAF=15°．（1）试猜想EF、BE、DF之间的数量

解答：（1）EF=BE+DF．
证明：延长CB至G，使BG=DF，连接AG．（如图）   …（1分）
∵四边形ABCD为正方形，
∴AB=AD，∠ABC=∠ABG=∠ADF=∠BAD=90°，
在△ABG和△ADF中，

AB＝AD ∠ABG＝∠ADF BG＝DF

，
∴△ABG≌△ADF （SAS）  …（2分）
∴∠GAB=∠DAF=15°，AG=AF，
∵∠BAE=30°，
∴∠GAE=45°，∠FAE=90°-30°-15°=45°，
∴∠GAE=∠FAE，
在△AGE和△AFE中，

AG＝AF ∠GAE＝∠FAE AE＝AE

，
∴△AGE≌△AFE（SAS）
∴EF=EG，
∵EG=BG+BE=BE+DF，
∴EF=BE+DF；                              …（3分）

（2）解：过点A作AH⊥EF于H（如图），
∵∠BAE=30°，∠ABE=90°，AB=

3

，
∴BE=1，
∴EC=

3

-1，…（4分）
由（1）中△AGE≌△AFE可得：∠AEB=∠AEF，
∴∠AEB=∠AEF=60°，
∴∠FEC=60°，
∴EF=2EC=2

3

-2，…（5分）
又∵∠ABE=∠AHE=90°，AE=AE，
∴△ABE≌△AHE（AAS）
∴AH=AB=

3

∴S_△AEF=

1

2

EF?AH=

1

2

（2

3

-2）×

3

=3-

3

；…（6分）

（3）BM²+DN²=MN²
证明：在AG上取点N′使AN′=AN，连接BN′、MN′（如图）．
∵△ABG≌△ADF，
∴∠BAG=∠FAD，
∴∠GAF=∠BAD=90°，
即AN′⊥AN，
在正方形ABCD中
∵∠BAM=30°，∠NAD=15°，
∴∠NAM=45°，
∴∠N′AM=∠NAM=45°，
∵AM=AM，
∴△AN′M≌△ANM（SAS）                   …（7分）
∴MN′=MN，
∵AB=AD，∠BAD=90°，
∴∠DAN+∠BAN=90°，
∵∠N′AB+∠BAN=90°，
∴∠N′AB=∠DAN=15°，
∵AN′=AN，
∴△ABN′≌△AND（SAS），…（8分）
∴∠N′BA=∠D=∠ABD=45°，BN′=DN，
∴∠N′BM=90°，…（9分）
∵N′B²+BM²=N′M²，
∴BM²+DN²=MN²，…（10分）