如图,在Rt三角形A1BC1是由Rt三角形ABC绕