pigor: ..., może np. tak : a∊ I ćwiartki , to sina >0 i cosa >0 , no to przypuśćmy,
że
sina > tga /* cos
2a ⇒ sina cos
2a− sina cosa > 0 ⇔ sina cosa (cosa−1) > 0 ⇔
⇔ cosa−1> 0 ⇔ cosa >1 , a to nieprawda , więc moje zaprzeczenie tezy było ...
delikatnie mówiąc do d ... , a więc teza jest prawdziwa , czyli
sina >tga c.n.u.