在△ABC中，BC=a，AC=b，AB=c，若∠C=90°，如图1，则有 ；若△ABC为锐角三角形时，小明猜想： ，理由如下：如图2，过点A作AD⊥CB于点D，设CD=x．在Rt△ADC中， ，在Rt△ADB中， ，∴ ．

∵a＞0，x＞0，∴2ax＞0，∴ ，∴当△ABC为锐角三角形时 ．

所以小明的猜想是正确．