Wykorzystanie własności trójkątów w dowodzeniu twierdzeń