伊朗數學奧林匹克：兩色平麵

假設ABC是個三角形，若將平麵上的點分別染上紅色或綠色，證明：存在兩個紅點相距一單位，或者存在三綠色的點組成一個三角形與ABC全等。