Igazoljuk, hogy a derékszögű gömbháromszögre vonatkozó Pythagoras-tétel, ha a befogók a, b, az átfogó c, ekképp fejezhető ki: