how does one define sin without Pythagorean theorem? E. g. need to prove that it only depends on angle and not triangle size.
So yeah, to define sin as a function one absolute must prove that it only depends on angle and not triangle size.
This proof is done via similar triangle properties (same angles => same proptions of sides) btw.