如图在三角形abc中 角c等于90,AD是角BAC的平方线,O1是AB上的一点,