已知如图 以rt三角形abc的ac边为直径作圆o叫斜边