역삼각형
시간 제한2초메모리 제한1024 MB
x_a<x_b<x_c이고 y_b가 y_a와 y_c보다 작은 모든 세 점에 대해 삼각형 넓이의 두 배를 합한 값을 1,000,000,007로 나눈 나머지를 구한다.
문제
무한한 크기의 2차원 좌표평면 위에 개의 점이 있다. 점은 번부터 번까지 번호가 붙어 있고, 번 점의 좌표는 이다. 모든 점의 좌표는 서로 다르다.
이상 이하의 서로 다른 세 개의 번호 , , 를 고른 뒤, 각 번호에 해당하는 점과 점 사이를 선분으로 이으면 삼각형을 만들 수 있다. 이때, 아래 조건을 모두 만족하는 삼각형을 역삼각형이라고 한다.
- .
- .
- .
세 점을 선택해서 만들 수 있는 모든 역삼각형 넓이의 합을 라고 했을 때, 를 로 나눈 나머지를 출력하라. 는 항상 정수임을 증명할 수 있다.
입력
첫째 줄에 이 주어진다.
다음 개의 줄에 두 정수 , 가 공백으로 구분되어 주어진다.
출력
를 로 나눈 나머지를 출력한다. 이 수는 소수이다.