在RT三角ABC中 AB垂直AC,AD垂直BC于D 求证1/(AD)^2=1/(AB)^2+1/(AC)^2 那么四面体