Advertisement
Guest User

Untitled

a guest
Dec 9th, 2013
65
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.52 KB | None | 0 0
  1. WLOG take the arc endpoints to be (sin(\theta_1), 1 - cos(\theta_1)) and (sin(\theta_2), 1 - cos(\theta_2)), for 0 < \theta_1 < \theta_2 < \tau/4. The arc length is (\theta_2 - \theta_1).
  2.  
  3. The length of the other two sides
  4. = (sin(\theta_2) - sin(\theta_1)) + ((1 - cos(\theta_2)) - (1 - cos(\theta_1)))
  5. = sin(\theta_2) - sin(\theta_1) + cos(\theta_1) - cos(\theta_2)
  6. = (sin-cos)(\theta_2) - (sin-cos)(\theta_1)
  7. > (\theta_2 - \theta_1), by the fact that the (sin-cos) function always has derivative > 1 in the range (0, \tau/4).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement