Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

이하 @evenharder@hackers.pub

1/1/2026, 2:26:37 PM

Public

2026년 1월 1일

2026년은 체바의 정리와 함께 시작된다. 체바의 정리는 삼각형의 꼭짓점을 지나는 세 직선이 한 점에서 만날 필요충분조건을 제시한다. 교육과정에는 소개되지 않으나 수학경시대회의 기하 문제에서 폭넓게 접할 수 있는 우아한 정리이다.

Ceva's theorem - Wikipedia

en.wikipedia.org

이하 @evenharder@hackers.pub

1/2/2026, 12:36:57 PM

Public

2026년 1월 2일

1월 2일의 수는 겔폰트-슈나이더 상수인 $2^{\sqrt{2}}$ 이다.

힐베르트의 23가지 난제 중 7번은 "0과 1이 아닌 대수적인 수 $a$ 와 대수적인 무리수 $b$ 에 대해 $a^b$ 는 초월수"인지 물으며, 이는 겔폰트-슈나이더 정리에 의해 참으로 증명되었다. 이 수는 무리수의 무리수 제곱이 유리수일 수 있음을 보이는데 단골로 소개되기도 한다.