∵a>0,x>0,∴2ax>0,∴ ,∴当△ABC为锐角三角形时 .
所以小明的猜想是正确.
如图2,她站在城门前方点D处,正好看到了城门顶端A点在地面小水潭(近似看成平面镜)里的倒影点C,此时他测得DC的长度为1米;接着她抬起头,目测城门顶端A点的仰角∠α的度数为39°,已知张菲同学的眼睛到地面的距离为1.5米,请你计算城门高度AB(结果精确到1米,sin39°≈0.63,cos39°≈0.78,tan39°≈0.81).