A sua intuição está correta.
Uma maneira mais formal, há outras, seria prolongar uma das retas, s por exemplo, e o lado do ângulo alfa superando a reta r e também o prolongamento de s, então você teria ângulos correspondentes e suplementar de \(60^o\) no triângulo de baixo e o ângulo externo, sendo a soma de dois de \(60^o\).
Eu rascunhei isso na sua figura, veja:
- Imagem4.png (66.87 KiB) Visualizado 670 vezes