我国古代伟大的数学家刘徽将勾股形（古人称直角三角形为勾股形）分割成一个正方形和两对全等的直角三角形，得到一个恒等式，后人借助这种分割方法所得的图形证明了勾股定理，如图所示的就用了这种分割方法，若BD=3，AE=4，则正方形ODCE的边长等于．