问题描述：
在Rt三角形ABC中,角ACB=90°,一直角边AC=5,以斜边AB向外作正方形ABDE,正方形的对角线交于O,已知OC=6√2,则另一直角边BC的长度为__
问题解答：
我来补答
用托勒密定理比较容易：易得：∠AOB＝90°∴A、O、B、C四点共圆设OA＝OB＝a,则AB＝√2·a由托勒密定理得：OC·AB＝OA·BC＋OB·AC∴6√2·√2·a＝a·BC＋5a∴12＝BC＋5从而BC＝7 给个容易一点的方法： 
展开全文阅读