OA·OF = |OF|^2/2OA·AF = 0两者相减OA·(OF-AF) = OA·OA = |OF|^2/2角OAF是直角|OA|^2 = |OF|^2/2三角形 OAF 为等腰直角三角形，角AOF是 45度
OA*OF=OA²然后根据勾股定理
首先90度是知道的吧，顶角是90度
