设边长为a，三角形A0F是直角三角形，用勾股定理求出a，上面小三角形EFG也是直