【正文】
,1βsi nαsi n4,βsi nβco s21αsi nαco s.,:,1βsi n2αsi n4222222222222到目的就能達(dá)弦中的角的余弦轉(zhuǎn)化為正發(fā)現(xiàn)只要把比較再與把結(jié)論轉(zhuǎn)化為弦函數(shù)余把正切函數(shù)化為正即名稱(chēng)數(shù)函一統(tǒng)論于是嘗試轉(zhuǎn)化結(jié)但函數(shù)名稱(chēng)不同角相同發(fā)現(xiàn)與結(jié)論相比較把??????????? ?.1βs in2αs in4,1θc o sθs in2θc o sθs in222?????可得代入上式把所以因?yàn)樽C明① ② ③ ? ? .βt a n12βt a n1αt a n1αt a n1,2222?????要證另一方面.βc o sβs in12βc o sβs in1αc o sαs in1αc o sαs in122222222?????????????即證? ?,βs inβc o s21αs inαc o s 2222 ???即證? ?,βs in2121αs in21 22 ???即證.1βs in2αs in4 22 ??即證③ .,于是問(wèn)題得證相同由于上式與:,Q,P程可用框圖表示為則上述過(guò)表示要證明的結(jié)論用等理、公理表示已知條件定義、定用m1mn1nPP?????1PP ?21 PP ?1 ?21 ???? ???