在直角三角形ABC中 角CAB=90度 AD垂直BC 求证AD^2=BD*DC