又一道艰难的中学几何题，能否编程证明

解决方案 »

  1.   

    等式的 先转换三角函数 或者坐标多项式 然后 
    利用matlab maple  
      

  2.   

    为什么我用万能公式在MATLAB中也无法证明？
    syms B C a b1 c1 PF BN PH PN t m
    syms s1 s2
    tanB=2*t/(1-t^2)
    tanC=2*m/(1-m^2)
    sinB=2*t/(1+t^2)
    sinC=2*m/(1+m^2)
    cosB=(1-t^2)/(1+t^2)
    cosC=(1-m^2)/(1+m^2)
    c1=(1-tanB*tanC)/(tanB+tanC)
    b1=tanC
    a=1/tanB-b1-c1
    PF=(a+c1+b1+b1)*cosC/(sinB*cosC+sinC*cosB)
    BN= (a+b1+c1)*cosB
    PH=PF-2*(a+b1+c1)*sinB
    PN=PF-(a+b1+c1)*sinB  s1=(PN/BN)*(((a+b1)/c1)*(PH/PN)+1)  s2=1/tanBexpand (s1-s2)
    结果讲不相等，其实应相等为0
    ////////////////////////////////////////////////
    ((1/tanB+tanC)*cosC/(sinB*cosC+sinC*cosB)-1/tanB*sinB)*tanB/cosB*((1/tanB-(1-tanB*tanC)/(tanB+tanC))/(1-tanB*tanC)*(tanB+tanC)*((1/tanB+tanC)*cosC/(sinB*cosC+sinC*cosB)-2/tanB*sinB)/((1/tanB+tanC)*cosC/(sinB*cosC+sinC*cosB)-1/tanB*sinB)+1)=1/tanB
    tanB=2*t/(1-t^2)
    tanC=2*m/(1-m^2)
    sinB=2*t/(1+t^2)
    sinC=2*m/(1+m^2)
    cosB=(1-t^2)/(1+t^2)
    cosC=(1-m^2)/(1+m^2)
    如何用MATLAB证明上面等式恒成立？？？
      

  3.   

    别人的头像为何能动画，我上传GIF不动，将GIF改名为JPG再上传，还是不动？