Rt三角形中 角c等于九十度 求证 sin^2A?tanA+sin^2B?tanB=1-2sin^2A?sin^2B/c