We prove three theorems about unequal angles and lengths. First, in a triangle ABC, larger sides are opposite larger angles. Next, the function sin(x) is increasing. Finally, if two angles are inscribed in a circle, the smaller angle subtends a smaller chord.
Notes here: https://colab.research.google.com/drive/1mjzupI3kBNXBGG6dTbC4fgCaAASU3VDa?usp=sharing
