成立,理由如下：
设短的直角边为x则斜边为2X
√(2x)2-x2=√4x2-x2=√3x2=x√3所以成立已知正方形ABCD的边长为 5√3 ， E为CD边上一点，且 ∠EBC=30°，则BE长为设EC长为X，则BE为2X2x的平方-X的平方=（5√3）的平方3X的平方=75X的平方=25X1=5，X2=-5（舍去）5*2=10答：BE长为10