半角恒等式は次のように定義されます。
# mathbf(sin(x / 2)= pmsqrt((1-cosx)/ 2))#
#(+)# 象限用 私 そして II
#(-)# 象限用 III そして IV
# mathbf(cos(x / 2)= pmsqrt((1 + cosx)/ 2))#
#(+)# 象限用 私 そして IV
#(-)# 象限用 II そして III
# mathbf(tan(x / 2)= pmsqrt((1-cosx)/(1 + cosx)))#
#(+)# 象限用 私 そして III
#(-)# 象限用 II そして IV
次のアイデンティティからそれらを導出することができます。
#sin ^ 2(x / 2)=(1-cos(x))/ 2#
#色(青)(sin(x / 2)= pmsqrt((1-cos(x))/ 2))#
知っている
#cos ^ 2(x / 2)=(1 + cos(x))/ 2#
#色(青)(cos(x / 2)= pmsqrt((1 + cos(x))/ 2))#
知っている
#色(青)(tan(x / 2)= pmsqrt((1-cos(x))/(1 + cos(x))))
正の値と負の値の条件を満たすと、