我国古代数学家刘徽将勾股形（古人称直角三角形为勾股形）分割成一个正方形和两对全等的三角形，如图所示，已知 ，则 的长度是.