Let be the length of the leg with one tick mark and the length of the leg with two tick marks.
In the upper triangle, the law of cosines says
In the lower triangle, it says
Subtract the second equation from the first to eliminate :
and are lengths so they must both be positive. 10 is also positive, so in order to preserve the sign on both sides of this equation, we must have
Now we have to be a bit careful. If is an acute angle, then as gets larger, the value of gets smaller. So if we have two angles and , with , then we would have .
This means in our inequality, taking the inverse cosine of both sides would reverse the inequality:
We know that is an angle in a triangle, so it must be some positive measure:
So we must have