延长DE,交AB于F。 由题意△ABC和△EDC全等 ∴∠A=∠CDE ∵∠FDC+CDE=180° ∴∠A+FDC=180° ∵∠ACD=90° ∴∠A+∠ACD+∠FDC=270° ∴∠AFD=90° ∴DE⊥AB
如图所示,将Rt三角形ABC(其中角B=34度,角C=90度,)绕点A按顺时针方向旋转到三角形AB1C1的位置,使点C,A,B1在同一直线上,求旋转的角度是多少.
用勾股定理证明