如图,以Rt△ABC的斜边AB为一边在△ABC同侧作正方形ABDE,设正方形的中心为O,连接AO.若AC=2,CO=3,则正方形ABDE的边长为________.
网友回答
2
解析分析:把△ACO绕点A逆时针旋转90°得到△AC′O′,根据旋转的性质可得AC′=AC,∠CAC′=90°,C′O′=CO,AO′=AO,然后判断出△ACC′是等腰直角三角形,根据等腰直角三角形的性质求出CC′,连接OB,然后求出点A、C、O、B四点共圆,求出∠BCO=∠OAB=45°,然后求出∠AC′O′=∠ACO=135°,判断出点C、C′、O′三点共线,过点A作AF⊥CC′于F,根据等腰直角三角形的性质可得AF=C′F=CC′,再求出O′F,然后利用勾股定理列式求出AO′,再根据正方形的性质求解即可.
解答:解:如图,把△ACO绕点A逆时针旋转90°得到△AC′O′,
∴AC′=AC=2,∠CAC′=90°,C′O′=CO=3,AO′=AO,
∴△ACC′是等腰直角三角形,
CC′=AC=2,
连接OB,
∵正方形的中心为O,
∴∠AOB=90°,
∵∠ACB=90°,
∴点A、C、O、B四点共圆,
∴∠BCO=∠OAB=45°,
∴∠AC′O′=∠ACO=135°,
又∵∠ACC′+∠AC′O′=45°+135°=180°,
∴点C、C′、O′三点共线,
过点A作AF⊥CC′于F,则AF=C′F=CC′=,
∴O′F=O′C′+C′F=3+=4,
在Rt△AFO′中,AO′===,
∴正方形ABDE的边长AB=AO=AO′=×=2.
故