x=45°と分かるけど
証明できない