在三角形ABC中,设AB=c,AC=b,BC=a,AD=d.
则a²=b²+c²,bc=ad,c＞d,a＞c
即求证c²=√（c²-d²）*a,
逆推,两边平方,移项,c^4 / a²=c²-d²
逆推,代入d=bc/a,c^4 / a²=c²-b²c²/a²
逆推,代入b²=a²-c²,c^4 / a²=c²-（a²-c²）c²/a²
逆推,化简,左边等于右边.
则原等式成立.即AB^2=BD*BC
亦可顺过来证明,从c²/a写起.