ae平方=be平方+ce平方.
证明,假设bd=a,be=b,在e点向db作垂线交db于f,则求出ae=ae=√(2-b^2 ),ce=√((ab^2+a+2b^2)/a),由大三角形acd得出〖(1+a)〗^2+1=a^2-2b^2+2+2√((a^2-b^2)(2-b^2)),求出b= a/√(a^2+2a+2).可以得出结论如第一行.
ae平方=be平方+ce平方.
证明,假设bd=a,be=b,在e点向db作垂线交db于f,则求出ae=ae=√(2-b^2 ),ce=√((ab^2+a+2b^2)/a),由大三角形acd得出〖(1+a)〗^2+1=a^2-2b^2+2+2√((a^2-b^2)(2-b^2)),求出b= a/√(a^2+2a+2).可以得出结论如第一行.