>>291
垂直でないとすると、円から垂線を下ろすと直角三角形ができる。
しかしこの直角三角形は斜辺より長い辺がある。