由 亞斯 於 星期六 十一月 11, 2006 12:41 pm
sinA+cosA>1
sinB+sinC=2sin[(B+C)/2]cos[(B-C)/2]=2cos(A/2)cos[(B-C)/2]
1+cosA=2cos(A/2)cos(A/2)
B<90<A+C
B-C<A
cos[(B-C)/2]>cos(A/2)
so sinB+sinC>1+cosA
sinA+sinB+sinC>1+cosA+sinA>2
名豈文章著
官應老病休
飄飄何所似
essential isolated singularity