两角互余的几个等价条件

结论 1　已知α ,β为税角 ,ｋ≥ 0 ,则α +β=π2 的充要条件是ｓｉｎｋ + 2 αｃｏｓｋβ + ｓｉｎｋ + 2 βｃｏｓｋα =1 .证　必要性是显然的 ,充分性 :ｓｉｎｋ + 2 αｃｏｓｋβ + ｓｉｎｋ+ 2 βｃｏｓｋα =1 =ｃｏｓ2 β +ｓｉｎ2 β .ｓｉｎｋ + 2 α-ｃｏｓｋ + 2 βｃｏｓｋβ =ｓｉｎ2 β(ｃｏｓｋα -ｓｉｎｋβ)ｃｏｓｋα .假设α + β >π2 ,则α >π2 - β ,β >π2 -α ,∵α ,β ,π2 -α ,π2 - β∈ 0 ,π2 ,∴ｃｏｓα <ｃｏｓ π2 - β =ｓｉｎβ ,　ｃｏｓβ <ｃｏｓ π2 -α =ｓｉｎα ,从而ｓｉｎｋ + 2 α -ｃ…