Ну хотя бы в духе эрлангенской программы:
Тетраэдр и секущая его плоскость инвариантны относительно действия (дискретной) группы вращений треугольника DBC в себя, следовательно треугольник-сечение - равносторонний. Длина стороны определяется из теоремы о срединной линии, откуда и получаем площадь.
Доказывать это через элементарные аксиомы - это убиться можно
(Оффтоп)
Конечно, понятно, что школа и все такое :)
1. А не рановато ли Вам эрлангенскую программу, если Вы можете убиться об "теорему Фалеса"?
2. Попробуйте применить "высокую теорию" для такой же примитивной задачи, но более сложного многогранника. Полагаю, тут Вы об нее (теорию) и убьетесь:)