三角比を拡張しても公式が成り立つか？