定義を証明っておかしいだろ
定義は「○○を△△と定める」って決めた決まり事なんだから

三角関数の定義は単位円から得られるのであって
その証明なんか存在するはずがない