证明:作一边为AD顶点为A 角度等于∠BAE的角 并交CD的延长线于M点 AE平分∠BAF所以 角BAE=∠EAF=MAD 另根据四边形ABCD为矩形知道 AB=CD ∠ABC=∠ADM=90° 所以三角形ABE全等于三角形ADM 所以 ∠AMD=∠AEB BE=DM 而 ∠AEB=90°-∠BAE ∠MAF=∠MAD+∠DAF=∠BAE+∠DAF=∠BAE+90°-∠BAE-∠EAF=∠BAE+90°-2∠BAE=90°-∠BAE 所以 ∠AEB=∠MAF 又∠AMD=∠AEB 故而 ∠AMD=∠MAF 所以在三角形MAF中 AF=MF 而MF=DF+DM=DF+BE 所以 可知 AF=DF+BE
把△ADF绕A旋转至△ABG,
∵ABCD是正方形,
∴E,B,G三点共线,
∠AEB=∠DAE=∠DAF+∠FAE=∠BAG+∠BAE=∠GAE,
∴AG=GE,
∴AF=AG=GE=BG+BE=BE+DF.
由比列可知SIN bea=1/根号5
那么用三角函数之间的关系求出sin daf那么所有比例都出来了。
假设一下变长=常数c,也许更直观一些。