直角三角形斜边中线定理：如果一个三角形是直角三角形，那么这个三角形斜边上的中线等于斜边的一半。x和y 组成一个平面坐标轴，x轴垂直于y轴，AB垂直于BC，所以三角形ABC是直角三角形。D是斜边AC的中点，那么BD就是斜边的中线，AD=DC=AC/2。根据上面的定理，BD =AD =DC ,因为角ABC不等于30度，所以AB不等于BD
