前>>535つづき。
>>512
sinx+cosx＞tanx=sinx/cosx
sinxcosx+(1+cos2x)/2-sinx＞0
sin2x+1+cos2x-2sinx＞0
どうするか。
tan(7π/24)=1.30322537284……
sin(7π/24)=0.79335334029……
cos(7π/24)=0.608761429……
狭くとも0＜x＜7π/24は三角形たりうる。