前言
正弦定理
-
文字语言：在一个三角形中，各边和它所对角的正弦的比相等；
-
符号语言：(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
[拓展：(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC}=2R)((R)为三角形的外接圆的半径)]；
定理证明
【思路一】：利用三角形的高证明正弦定理[易想易证]；
证明：(1).设( riangle ABC)为锐角三角形时，设边(AB)上的高为(CD)，根据锐角三角函数定义可知，
有(CD=acdot sinB)；(CD=bcdot sinA)；由此得到，(cfrac{a}{sinA}=cfrac{b}{sinB})；
同理得到，(cfrac{b}{sinB}=cfrac{c}{sinC})，故(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})在锐角三角形中成立；
(2).设( riangle ABC)为钝角三角形时，过点(C)做边(AB)上的高，交(AB)的延长线于点(D)，根据锐角三角函数定义可知，
有(CD=acdot sinangle CBD=acdot sinangle ABC)；(CD=bcdot sinA)；由此得到，(cfrac{a}{sinA}=cfrac{b}{sinB})；
同理得到，(cfrac{b}{sinB}=cfrac{c}{sinC})，故(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})在钝角三角形中成立；
(3).当( riangle ABC)为直角三角形时，比如(C=cfrac{pi}{2})，容易验证(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})成立；
综上所述，在( riangle ABC)中，一定有(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
【思路二】：利用三角形的面积证明正弦定理[易想易证]；
证明：如图在( riangle ABC)中，边(AB)上的高为(CD)，则(CD=acdot sinB)，
则(S_{ riangle ABC}=cfrac{1}{2} imes AB imes CD=cfrac{1}{2}acsinB)；
同理可得到(S_{ riangle ABC}=cfrac{1}{2}absinC=cfrac{1}{2}bcsinA)；
则有(acsinB=absinC=bcsinA)，同除以(abc)，得到
(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
【思路三】：向量法证明正弦定理
证明：(1).如图所示，设( riangle ABC)为锐角三角形，过点(A)做与(overrightarrow{AC})垂直的单位向量(vec{j})，
则由图可知，(<vec{j}，overrightarrow{AC}>=90^{circ})，(<vec{j}，overrightarrow{AB}>=90^{circ}-A)，
(<vec{j}，overrightarrow{CB}>=90^{circ}-C)，延长两个向量可以看出来；且有(overrightarrow{AC}+overrightarrow{CB}=overrightarrow{AB})，
给上述的向量式同时取与向量(vec{j})的数量积，得到(vec{j}cdot (overrightarrow{AC}+overrightarrow{CB})=vec{j}cdotoverrightarrow{AB})，
整理得到，(vec{j}cdot overrightarrow{AC}+vec{j}cdotoverrightarrow{CB}=vec{j}cdotoverrightarrow{AB})，
则(|vec{j}||overrightarrow{AC}|cos90^{circ}+|vec{j}||overrightarrow{CB}|cos(90^{circ}-C)=|vec{j}||overrightarrow{AB}|cos(90^{circ}-A))
即(acdot sinC=ccdot sinA)；即(cfrac{a}{sinA}=cfrac{c}{sinC})；
过点(C)做与(overrightarrow{CB})垂直的单位向量(vec{i})，则由图可知，(<vec{i}，overrightarrow{AC}>=90^{circ}-C)，(<vec{i}，overrightarrow{CB}>=90^{circ})，
(<vec{i}，overrightarrow{AB}>=90^{circ}-B)，延长两个向量可以看出来；且有(overrightarrow{AC}+overrightarrow{CB}=overrightarrow{AB})，
给上述的向量式同时取与向量(vec{i})的数量积，得到(vec{i}cdot (overrightarrow{AC}+overrightarrow{CB})=vec{i}cdotoverrightarrow{AB})，
整理得到，(vec{i}cdot overrightarrow{AC}+vec{i}cdotoverrightarrow{CB}=vec{i}cdotoverrightarrow{AB})，
则(|vec{i}||overrightarrow{AC}|cos(90^{circ}-C)-+|vec{i}||overrightarrow{CB}|cos90^{circ}=|vec{i}||overrightarrow{AB}|cos(90^{circ}-B))
即(bcdot sinC=ccdot sinB)；即(cfrac{b}{sinB}=cfrac{c}{sinC})；
即( riangle ABC)为锐角三角形时，(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
(2).当( riangle ABC)为直角或者钝角三角形时，不妨令(Bgeqslant 90^{circ})，仿照上图放置角(B)，
则同理可以证明(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
综上所述得到，(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；证毕。
【思路四】：三角形的外接圆证明
证明：(1).如图所示，设( riangle ABC)为锐角三角形，做出其外接圆(odot O)，连结(BO)并延长交(odot O)于点(A')，
则由同弧所对的圆周角相等，得到(angle A=angle A')，
在(Rt riangle A'BC)中，(sinA'=cfrac{a}{2R}=sinA)；
连结(AO)并延长交(odot O)于点(B')，则由同弧所对的圆周角相等，得到(angle B=angle B')，
在(Rt riangle AB'C)中，(sinB'=cfrac{b}{2R}=sinB)；
同理得到，(cfrac{c}{2R}=sinC)；故(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC}=2R)；
(2).如图所示，若( riangle ABC)为直角三角形，做出其外接圆(odot O)，连结(BO)并延长交(odot O)于点(A')，
容易证明(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC}=2R)；
(3).如图所示，若( riangle ABC)为钝角三角形，做出其外接圆(odot O)，连结(BO)并延长交(odot O)于点(A')，
则由同弧所对的圆周角相等，得到(angle A=angle A')，在(Rt riangle A'BC)中，(sinA'=cfrac{a}{2R}=sinA)；
连结(AO)并延长交(odot O)于点(B')，则由同弧所对的圆周角相等，得到(angle B=angle B')，
在(Rt riangle AB'C)中，(sinB'=cfrac{b}{2R}=sinB)；
同理得到，(cfrac{c}{2R}=sinC)；故(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC}=2R)；
综上所述得到，(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
【思路五】：用余弦定理证明正弦定理
【思路六】：三角函数定义法
【思路七】：构造向量的射影法[教程上的证法]
如图所示，设( riangle ABC)为钝角三角形,以点(A)为原点，以射线(AB)的方向为(x)轴正方向建立直角坐标系，(C)点在(y)轴上的射影为(C')，
由于向量(overrightarrow{AC})与(overrightarrow{BC})在(y)轴上的射影均为(|overrightarrow{OC'}|)，即
(|overrightarrow{OC'}|=|overrightarrow{AC}|cos(A-90^{circ})=bsinA)，
又(|overrightarrow{OC'}|=|overrightarrow{BC}|sinB=asinB)，
所以(asinB=bsinA)，即(cfrac{a}{sinA}=cfrac{b}{sinB})，
同理，(cfrac{a}{sinA}=cfrac{c}{sinC})，
所以，(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；
若(A)为锐角或者直角，同理可得，(cfrac{a}{sinA}=cfrac{b}{sinB}=cfrac{c}{sinC})；证毕。