一个角为30度,底边为斜边一半的三角形为直角三角形算是1个公式吗?